FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2148701797> ?p ?o ?g. }

• W2148701797 endingPage "857" @default.
• W2148701797 startingPage "837" @default.
• W2148701797 abstract "We begin by observing that (discrete-time) Quasi-Birth–Death Processes (QBDs) are equivalent, in a precise sense, to probabilistic 1-Counter Automata (p1CAs), and both Tree-Like QBDs (TL-QBDs) and Tree-Structured QBDs (TS-QBDs) are equivalent to both probabilistic Pushdown Systems (pPDSs) and Recursive Markov Chains (RMCs). We then proceed to exploit these connections to obtain a number of new algorithmic upper and lower bounds for central computational problems about these models. Our main result is this: for an arbitrary QBD, we can approximate its termination probabilities (i.e., its G matrix) to within i bits of precision (i.e., within additive error 1/2i), in time polynomial in both the encoding size of the QBD and in i, in the unit-cost rational arithmetic RAM model of computation. Specifically, we show that a decomposed Newton’s method can be used to achieve this. We emphasize that this bound is very different from the well-known “linear/quadratic convergence” of numerical analysis, known for QBDs and TL-QBDs, which typically gives no constructive bound in terms of the encoding size of the system being solved. In fact, we observe (based on recent results) that for the more general TL-QBDs such a polynomial upper bound on Newton’s method fails badly. Our upper bound proof for QBDs combines several ingredients: a detailed analysis of the structure of 1-Counter Automata, an iterative application of a classic condition number bound for errors in linear systems, and a very recent constructive bound on the performance of Newton’s method for strongly connected monotone systems of polynomial equations. We show that the quantitative termination decision problem for QBDs (namely, “is Gu,v≥1/2?”) is at least as hard as long-standing open problems in the complexity of exact numerical computation, specifically the square-root sum problem. On the other hand, it follows from our earlier results for RMCs that any non-trivial approximation of termination probabilities for TL-QBDs is sqrt-root-sum-hard." @default.
• W2148701797 created "2016-06-24" @default.
• W2148701797 creator A5001234060 @default.
• W2148701797 creator A5003946901 @default.
• W2148701797 creator A5043084405 @default.
• W2148701797 date "2010-09-01" @default.
• W2148701797 modified "2023-10-16" @default.
• W2148701797 title "Quasi-Birth–Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems" @default.
• W2148701797 cites W1256121109 @default.
• W2148701797 cites W1482647296 @default.
• W2148701797 cites W1491036809 @default.
• W2148701797 cites W1591409444 @default.
• W2148701797 cites W1793726001 @default.
• W2148701797 cites W1864873123 @default.
• W2148701797 cites W1990108844 @default.
• W2148701797 cites W2005059149 @default.
• W2148701797 cites W2016408778 @default.
• W2148701797 cites W2026481539 @default.
• W2148701797 cites W2030200612 @default.
• W2148701797 cites W2050399394 @default.
• W2148701797 cites W2051351639 @default.
• W2148701797 cites W2062279927 @default.
• W2148701797 cites W2066194644 @default.
• W2148701797 cites W2070689535 @default.
• W2148701797 cites W2107737377 @default.
• W2148701797 cites W2120349285 @default.
• W2148701797 cites W2124091985 @default.
• W2148701797 cites W2143594377 @default.
• W2148701797 cites W2148265818 @default.
• W2148701797 cites W2151670874 @default.
• W2148701797 cites W2152923292 @default.
• W2148701797 cites W2161891404 @default.
• W2148701797 cites W2500208815 @default.
• W2148701797 cites W4212845139 @default.
• W2148701797 cites W4232474943 @default.
• W2148701797 cites W4243391957 @default.
• W2148701797 doi "https://doi.org/10.1016/j.peva.2009.12.009" @default.
• W2148701797 hasPublicationYear "2010" @default.
• W2148701797 type Work @default.
• W2148701797 sameAs 2148701797 @default.
• W2148701797 citedByCount "30" @default.
• W2148701797 countsByYear W21487017972012 @default.
• W2148701797 countsByYear W21487017972013 @default.
• W2148701797 countsByYear W21487017972014 @default.
• W2148701797 countsByYear W21487017972015 @default.
• W2148701797 countsByYear W21487017972016 @default.
• W2148701797 countsByYear W21487017972017 @default.
• W2148701797 countsByYear W21487017972020 @default.
• W2148701797 countsByYear W21487017972023 @default.
• W2148701797 crossrefType "journal-article" @default.
• W2148701797 hasAuthorship W2148701797A5001234060 @default.
• W2148701797 hasAuthorship W2148701797A5003946901 @default.
• W2148701797 hasAuthorship W2148701797A5043084405 @default.
• W2148701797 hasBestOaLocation W21487017972 @default.
• W2148701797 hasConcept C105795698 @default.
• W2148701797 hasConcept C113174947 @default.
• W2148701797 hasConcept C11413529 @default.
• W2148701797 hasConcept C114614502 @default.
• W2148701797 hasConcept C118615104 @default.
• W2148701797 hasConcept C134306372 @default.
• W2148701797 hasConcept C24404364 @default.
• W2148701797 hasConcept C33923547 @default.
• W2148701797 hasConcept C41008148 @default.
• W2148701797 hasConcept C49937458 @default.
• W2148701797 hasConcept C77553402 @default.
• W2148701797 hasConcept C98763669 @default.
• W2148701797 hasConceptScore W2148701797C105795698 @default.
• W2148701797 hasConceptScore W2148701797C113174947 @default.
• W2148701797 hasConceptScore W2148701797C11413529 @default.
• W2148701797 hasConceptScore W2148701797C114614502 @default.
• W2148701797 hasConceptScore W2148701797C118615104 @default.
• W2148701797 hasConceptScore W2148701797C134306372 @default.
• W2148701797 hasConceptScore W2148701797C24404364 @default.
• W2148701797 hasConceptScore W2148701797C33923547 @default.
• W2148701797 hasConceptScore W2148701797C41008148 @default.
• W2148701797 hasConceptScore W2148701797C49937458 @default.
• W2148701797 hasConceptScore W2148701797C77553402 @default.
• W2148701797 hasConceptScore W2148701797C98763669 @default.
• W2148701797 hasIssue "9" @default.
• W2148701797 hasLocation W21487017971 @default.
• W2148701797 hasLocation W21487017972 @default.
• W2148701797 hasLocation W21487017973 @default.
• W2148701797 hasLocation W21487017974 @default.
• W2148701797 hasLocation W21487017975 @default.
• W2148701797 hasOpenAccess W2148701797 @default.
• W2148701797 hasPrimaryLocation W21487017971 @default.
• W2148701797 hasRelatedWork W1903582155 @default.
• W2148701797 hasRelatedWork W2030292806 @default.
• W2148701797 hasRelatedWork W2109606716 @default.
• W2148701797 hasRelatedWork W2145856894 @default.
• W2148701797 hasRelatedWork W2160722702 @default.
• W2148701797 hasRelatedWork W2177346860 @default.
• W2148701797 hasRelatedWork W2189202191 @default.
• W2148701797 hasRelatedWork W2494523064 @default.
• W2148701797 hasRelatedWork W4241515365 @default.
• W2148701797 hasRelatedWork W830096938 @default.
• W2148701797 hasVolume "67" @default.
• W2148701797 isParatext "false" @default.

• next