FRINK Linked Data Fragments server

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

• W3011488982 abstract "The Strahler number of a rooted tree is the largest height of a perfect binary tree that is its minor. The Strahler number of a parity game is proposed to be defined as the smallest Strahler number of the tree of any of its attractor decompositions. It is proved that parity games can be solved in quasi-linear space and in time that is polynomial in the number of vertices~$n$ and linear in $({d}/{2k})^k$, where $d$ is the number of priorities and $k$ is the Strahler number. This complexity is quasi-polynomial because the Strahler number is at most logarithmic in the number of vertices. The proof is based on a new construction of small Strahler-universal trees. It is shown that the Strahler number of a parity game is a robust parameter: it coincides with its alternative version based on trees of progress measures and with the register number defined by Lehtinen~(2018). It follows that parity games can be solved in quasi-linear space and in time that is polynomial in the number of vertices and linear in $({d}/{2k})^k$, where $k$ is the register number. This significantly improves the running times and space achieved for parity games of bounded register number by Lehtinen (2018) and by Parys (2020). The running time of the algorithm based on small Strahler-universal trees yields a novel trade-off $k cdot lg(d/k) = O(log n)$ between the two natural parameters that measure the structural complexity of a parity game, which allows solving parity games in polynomial time. This includes as special cases the asymptotic settings of those parameters covered by the results of Calude, Jain Khoussainov, Li, and Stephan (2017), of Jurdzinski and Lazic (2017), and of Lehtinen (2018), and it significantly extends the range of such settings, for example to $d = 2^{Oleft(sqrt{lg n}right)}$ and $k = O!left(sqrt{lg n}right)$." @default.
• W3011488982 created "2020-03-23" @default.
• W3011488982 creator A5022959189 @default.
• W3011488982 creator A5057216103 @default.
• W3011488982 creator A5073411912 @default.
• W3011488982 date "2020-03-19" @default.
• W3011488982 modified "2023-09-27" @default.
• W3011488982 title "The Strahler number of a parity game" @default.
• W3011488982 cites W1505081061 @default.
• W3011488982 cites W1514240489 @default.
• W3011488982 cites W186942940 @default.
• W3011488982 cites W1928484725 @default.
• W3011488982 cites W1971138850 @default.
• W3011488982 cites W2008913431 @default.
• W3011488982 cites W2017759899 @default.
• W3011488982 cites W2060375000 @default.
• W3011488982 cites W2109237987 @default.
• W3011488982 cites W2141252092 @default.
• W3011488982 cites W2158437920 @default.
• W3011488982 cites W2170933628 @default.
• W3011488982 cites W2586521831 @default.
• W3011488982 cites W2799045007 @default.
• W3011488982 cites W2883927050 @default.
• W3011488982 cites W2898545346 @default.
• W3011488982 cites W2913099459 @default.
• W3011488982 cites W2916643271 @default.
• W3011488982 cites W2941739281 @default.
• W3011488982 cites W2959396239 @default.
• W3011488982 cites W2970979881 @default.
• W3011488982 cites W2999142485 @default.
• W3011488982 cites W3000515624 @default.
• W3011488982 cites W3003883437 @default.
• W3011488982 cites W3042335242 @default.
• W3011488982 cites W3102493341 @default.
• W3011488982 cites W3102601952 @default.
• W3011488982 hasPublicationYear "2020" @default.
• W3011488982 type Work @default.
• W3011488982 sameAs 3011488982 @default.
• W3011488982 citedByCount "2" @default.
• W3011488982 countsByYear W30114889822021 @default.
• W3011488982 countsByYear W30114889822022 @default.
• W3011488982 crossrefType "posted-content" @default.
• W3011488982 hasAuthorship W3011488982A5022959189 @default.
• W3011488982 hasAuthorship W3011488982A5057216103 @default.
• W3011488982 hasAuthorship W3011488982A5073411912 @default.
• W3011488982 hasConcept C109214941 @default.
• W3011488982 hasConcept C114614502 @default.
• W3011488982 hasConcept C118615104 @default.
• W3011488982 hasConcept C121332964 @default.
• W3011488982 hasConcept C134306372 @default.
• W3011488982 hasConcept C164380108 @default.
• W3011488982 hasConcept C197855036 @default.
• W3011488982 hasConcept C2777151079 @default.
• W3011488982 hasConcept C33923547 @default.
• W3011488982 hasConcept C34388435 @default.
• W3011488982 hasConcept C39927690 @default.
• W3011488982 hasConcept C48372109 @default.
• W3011488982 hasConcept C94375191 @default.
• W3011488982 hasConceptScore W3011488982C109214941 @default.
• W3011488982 hasConceptScore W3011488982C114614502 @default.
• W3011488982 hasConceptScore W3011488982C118615104 @default.
• W3011488982 hasConceptScore W3011488982C121332964 @default.
• W3011488982 hasConceptScore W3011488982C134306372 @default.
• W3011488982 hasConceptScore W3011488982C164380108 @default.
• W3011488982 hasConceptScore W3011488982C197855036 @default.
• W3011488982 hasConceptScore W3011488982C2777151079 @default.
• W3011488982 hasConceptScore W3011488982C33923547 @default.
• W3011488982 hasConceptScore W3011488982C34388435 @default.
• W3011488982 hasConceptScore W3011488982C39927690 @default.
• W3011488982 hasConceptScore W3011488982C48372109 @default.
• W3011488982 hasConceptScore W3011488982C94375191 @default.
• W3011488982 hasLocation W30114889821 @default.
• W3011488982 hasOpenAccess W3011488982 @default.
• W3011488982 hasPrimaryLocation W30114889821 @default.
• W3011488982 hasRelatedWork W122203848 @default.
• W3011488982 hasRelatedWork W1517413799 @default.
• W3011488982 hasRelatedWork W2024123096 @default.
• W3011488982 hasRelatedWork W2125271247 @default.
• W3011488982 hasRelatedWork W2128828749 @default.
• W3011488982 hasRelatedWork W2291237591 @default.
• W3011488982 hasRelatedWork W2575913427 @default.
• W3011488982 hasRelatedWork W2582307358 @default.
• W3011488982 hasRelatedWork W2886238978 @default.
• W3011488982 hasRelatedWork W2900242387 @default.
• W3011488982 hasRelatedWork W2949237816 @default.
• W3011488982 hasRelatedWork W2950962617 @default.
• W3011488982 hasRelatedWork W2964025693 @default.
• W3011488982 hasRelatedWork W2978544150 @default.
• W3011488982 hasRelatedWork W3097755364 @default.
• W3011488982 hasRelatedWork W3103670322 @default.
• W3011488982 hasRelatedWork W3114195415 @default.
• W3011488982 hasRelatedWork W3125897355 @default.
• W3011488982 hasRelatedWork W3142405514 @default.
• W3011488982 hasRelatedWork W618165386 @default.
• W3011488982 isParatext "false" @default.
• W3011488982 isRetracted "false" @default.
• W3011488982 magId "3011488982" @default.
• W3011488982 workType "article" @default.