Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562413306> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1562413306 endingPage "200" @default.
- W1562413306 startingPage "189" @default.
- W1562413306 abstract "Parity games are a much researched class of games in NP ∩ CoNP that are not known to be in P. Consequently, researchers have considered specialised algorithms for the case where certain graph parameters are small. In this paper, we show that, if a tree decomposition is provided, then parity games with bounded treewidth can be solved in O(k3k+2 ·n2 ·(d+1)3k) time, where n, k, and d are the size, treewidth, and number of priorities in the parity game. This significantly improves over previously best algorithm, given by Obdržalek, which runs in $O(n cdot d^{2(k+1)^2})$ time. Our techniques can also be adapted to show that the problem lies in the complexity class NC2, which is the class of problems that can be efficiently parallelized. This is in stark contrast to the general parity game problem, which is known to be P-hard, and thus unlikely to be contained in NC." @default.
- W1562413306 created "2016-06-24" @default.
- W1562413306 creator A5029623300 @default.
- W1562413306 creator A5041836791 @default.
- W1562413306 date "2012-01-01" @default.
- W1562413306 modified "2023-10-16" @default.
- W1562413306 title "Time and Parallelizability Results for Parity Games with Bounded Treewidth" @default.
- W1562413306 cites W1487444734 @default.
- W1562413306 cites W1509300745 @default.
- W1562413306 cites W1524771661 @default.
- W1562413306 cites W1567990440 @default.
- W1562413306 cites W1971138850 @default.
- W1562413306 cites W1989556004 @default.
- W1562413306 cites W2017759899 @default.
- W1562413306 cites W2059372025 @default.
- W1562413306 cites W2133853963 @default.
- W1562413306 cites W4236759798 @default.
- W1562413306 doi "https://doi.org/10.1007/978-3-642-31585-5_20" @default.
- W1562413306 hasPublicationYear "2012" @default.
- W1562413306 type Work @default.
- W1562413306 sameAs 1562413306 @default.
- W1562413306 citedByCount "11" @default.
- W1562413306 countsByYear W15624133062012 @default.
- W1562413306 countsByYear W15624133062013 @default.
- W1562413306 countsByYear W15624133062014 @default.
- W1562413306 countsByYear W15624133062015 @default.
- W1562413306 countsByYear W15624133062016 @default.
- W1562413306 countsByYear W15624133062017 @default.
- W1562413306 countsByYear W15624133062018 @default.
- W1562413306 countsByYear W15624133062022 @default.
- W1562413306 crossrefType "book-chapter" @default.
- W1562413306 hasAuthorship W1562413306A5029623300 @default.
- W1562413306 hasAuthorship W1562413306A5041836791 @default.
- W1562413306 hasConcept C109214941 @default.
- W1562413306 hasConcept C121332964 @default.
- W1562413306 hasConcept C132525143 @default.
- W1562413306 hasConcept C132569581 @default.
- W1562413306 hasConcept C134306372 @default.
- W1562413306 hasConcept C203776342 @default.
- W1562413306 hasConcept C2777151079 @default.
- W1562413306 hasConcept C33923547 @default.
- W1562413306 hasConcept C34388435 @default.
- W1562413306 hasConcept C41008148 @default.
- W1562413306 hasConcept C43517604 @default.
- W1562413306 hasConcept C80444323 @default.
- W1562413306 hasConceptScore W1562413306C109214941 @default.
- W1562413306 hasConceptScore W1562413306C121332964 @default.
- W1562413306 hasConceptScore W1562413306C132525143 @default.
- W1562413306 hasConceptScore W1562413306C132569581 @default.
- W1562413306 hasConceptScore W1562413306C134306372 @default.
- W1562413306 hasConceptScore W1562413306C203776342 @default.
- W1562413306 hasConceptScore W1562413306C2777151079 @default.
- W1562413306 hasConceptScore W1562413306C33923547 @default.
- W1562413306 hasConceptScore W1562413306C34388435 @default.
- W1562413306 hasConceptScore W1562413306C41008148 @default.
- W1562413306 hasConceptScore W1562413306C43517604 @default.
- W1562413306 hasConceptScore W1562413306C80444323 @default.
- W1562413306 hasLocation W15624133061 @default.
- W1562413306 hasOpenAccess W1562413306 @default.
- W1562413306 hasPrimaryLocation W15624133061 @default.
- W1562413306 hasRelatedWork W1810116456 @default.
- W1562413306 hasRelatedWork W1980883259 @default.
- W1562413306 hasRelatedWork W2179584097 @default.
- W1562413306 hasRelatedWork W2407805022 @default.
- W1562413306 hasRelatedWork W2963030972 @default.
- W1562413306 hasRelatedWork W2964174631 @default.
- W1562413306 hasRelatedWork W4287773431 @default.
- W1562413306 hasRelatedWork W4300619607 @default.
- W1562413306 hasRelatedWork W4308611688 @default.
- W1562413306 hasRelatedWork W4321321092 @default.
- W1562413306 isParatext "false" @default.
- W1562413306 isRetracted "false" @default.
- W1562413306 magId "1562413306" @default.
- W1562413306 workType "book-chapter" @default.