Matches in SemOpenAlex for { <https://semopenalex.org/work/W2531928804> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2531928804 endingPage "262" @default.
- W2531928804 startingPage "243" @default.
- W2531928804 abstract "This article proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton's iterated fixed point algorithm with a preprocessing step, which is called prior to every recursive call. The preprocessing uses ranking functions similar to Jurdziński's, but with a restricted co-domain, to determine all winning regions smaller than a predefined parameter. The combination of the preprocessing step with the recursive call guarantees that McNaughton's algorithm proceeds in big steps, whose size is bounded from below by the chosen parameter. Higher parameters lead to smaller call trees, but they also result in an expensive preprocessing step. An optimal parameter balances the cost of the recursive call and the preprocessing step, resulting in an improvement of the known upper bound for solving parity games from O(m(2nc)12c) to approximately O(m(6e1.6‾nc2)13c)." @default.
- W2531928804 created "2016-10-21" @default.
- W2531928804 creator A5041836791 @default.
- W2531928804 date "2017-03-01" @default.
- W2531928804 modified "2023-09-29" @default.
- W2531928804 title "Solving parity games in big steps" @default.
- W2531928804 cites W1971138850 @default.
- W2531928804 cites W1974672595 @default.
- W2531928804 cites W2015640848 @default.
- W2531928804 cites W2026128612 @default.
- W2531928804 cites W2048905609 @default.
- W2531928804 cites W2060375000 @default.
- W2531928804 cites W2068290327 @default.
- W2531928804 cites W2111642536 @default.
- W2531928804 cites W2114657710 @default.
- W2531928804 cites W2142133061 @default.
- W2531928804 cites W2952908521 @default.
- W2531928804 doi "https://doi.org/10.1016/j.jcss.2016.10.002" @default.
- W2531928804 hasPublicationYear "2017" @default.
- W2531928804 type Work @default.
- W2531928804 sameAs 2531928804 @default.
- W2531928804 citedByCount "17" @default.
- W2531928804 countsByYear W25319288042017 @default.
- W2531928804 countsByYear W25319288042018 @default.
- W2531928804 countsByYear W25319288042019 @default.
- W2531928804 countsByYear W25319288042020 @default.
- W2531928804 countsByYear W25319288042023 @default.
- W2531928804 crossrefType "journal-article" @default.
- W2531928804 hasAuthorship W2531928804A5041836791 @default.
- W2531928804 hasBestOaLocation W25319288041 @default.
- W2531928804 hasConcept C109214941 @default.
- W2531928804 hasConcept C11413529 @default.
- W2531928804 hasConcept C118615104 @default.
- W2531928804 hasConcept C121332964 @default.
- W2531928804 hasConcept C134306372 @default.
- W2531928804 hasConcept C140479938 @default.
- W2531928804 hasConcept C154945302 @default.
- W2531928804 hasConcept C2777151079 @default.
- W2531928804 hasConcept C33923547 @default.
- W2531928804 hasConcept C34388435 @default.
- W2531928804 hasConcept C34736171 @default.
- W2531928804 hasConcept C41008148 @default.
- W2531928804 hasConcept C77553402 @default.
- W2531928804 hasConcept C80444323 @default.
- W2531928804 hasConceptScore W2531928804C109214941 @default.
- W2531928804 hasConceptScore W2531928804C11413529 @default.
- W2531928804 hasConceptScore W2531928804C118615104 @default.
- W2531928804 hasConceptScore W2531928804C121332964 @default.
- W2531928804 hasConceptScore W2531928804C134306372 @default.
- W2531928804 hasConceptScore W2531928804C140479938 @default.
- W2531928804 hasConceptScore W2531928804C154945302 @default.
- W2531928804 hasConceptScore W2531928804C2777151079 @default.
- W2531928804 hasConceptScore W2531928804C33923547 @default.
- W2531928804 hasConceptScore W2531928804C34388435 @default.
- W2531928804 hasConceptScore W2531928804C34736171 @default.
- W2531928804 hasConceptScore W2531928804C41008148 @default.
- W2531928804 hasConceptScore W2531928804C77553402 @default.
- W2531928804 hasConceptScore W2531928804C80444323 @default.
- W2531928804 hasFunder F4320334627 @default.
- W2531928804 hasLocation W25319288041 @default.
- W2531928804 hasLocation W25319288042 @default.
- W2531928804 hasOpenAccess W2531928804 @default.
- W2531928804 hasPrimaryLocation W25319288041 @default.
- W2531928804 hasRelatedWork W1965292679 @default.
- W2531928804 hasRelatedWork W1980883259 @default.
- W2531928804 hasRelatedWork W2003116146 @default.
- W2531928804 hasRelatedWork W2037997478 @default.
- W2531928804 hasRelatedWork W2102098509 @default.
- W2531928804 hasRelatedWork W2396989770 @default.
- W2531928804 hasRelatedWork W2407805022 @default.
- W2531928804 hasRelatedWork W2531928804 @default.
- W2531928804 hasRelatedWork W2963030972 @default.
- W2531928804 hasRelatedWork W811645096 @default.
- W2531928804 hasVolume "84" @default.
- W2531928804 isParatext "false" @default.
- W2531928804 isRetracted "false" @default.
- W2531928804 magId "2531928804" @default.
- W2531928804 workType "article" @default.