Matches in SemOpenAlex for { <https://semopenalex.org/work/W3025804080> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3025804080 abstract "The complexity of parity games is a long standing open problem that saw a major breakthrough in 2017 when two quasi-polynomial algorithms were published. This article presents a third, independent approach to solving parity games in quasi-polynomial time, based on the notion of register game, a parameterised variant of a parity game. The analysis of register games leads to a quasi-polynomial algorithm for parity games, a polynomial algorithm for restricted classes of parity games and a novel measure of complexity, the register index, which aims to capture the combined complexity of the priority assignement and the underlying game graph. We further present a translation of alternating parity word automata into alternating weak automata with only a quasi-polynomial increase in size, based on register games; this improves on the previous exponential translation. We also use register games to investigate the parity index hierarchy: while for words the index hierarchy of alternating parity automata collapses to the weak level, and for trees it is strict, for structures between trees and words, it collapses logarithmically, in the sense that any parity tree automaton of size n is equivalent, on these particular classes of structures, to an automaton with a number of priorities logarithmic in n." @default.
- W3025804080 created "2020-05-21" @default.
- W3025804080 creator A5000415323 @default.
- W3025804080 creator A5039866284 @default.
- W3025804080 date "2020-05-01" @default.
- W3025804080 modified "2023-10-10" @default.
- W3025804080 title "Register Games" @default.
- W3025804080 cites W129930684 @default.
- W3025804080 cites W1505081061 @default.
- W3025804080 cites W1591239571 @default.
- W3025804080 cites W1594196576 @default.
- W3025804080 cites W1977644778 @default.
- W3025804080 cites W2012182995 @default.
- W3025804080 cites W2034462340 @default.
- W3025804080 cites W2047201474 @default.
- W3025804080 cites W2059045337 @default.
- W3025804080 cites W2092043492 @default.
- W3025804080 cites W2094912129 @default.
- W3025804080 cites W2141252092 @default.
- W3025804080 cites W2142133061 @default.
- W3025804080 cites W2168498451 @default.
- W3025804080 cites W2170933628 @default.
- W3025804080 cites W2332112754 @default.
- W3025804080 cites W2586521831 @default.
- W3025804080 cites W2593234065 @default.
- W3025804080 cites W2798742893 @default.
- W3025804080 cites W2799045007 @default.
- W3025804080 cites W2883927050 @default.
- W3025804080 cites W2907557140 @default.
- W3025804080 cites W2970774068 @default.
- W3025804080 cites W3000515624 @default.
- W3025804080 cites W3102601952 @default.
- W3025804080 doi "https://doi.org/10.23638/lmcs-16(2:6)2020" @default.
- W3025804080 hasPublicationYear "2020" @default.
- W3025804080 type Work @default.
- W3025804080 sameAs 3025804080 @default.
- W3025804080 citedByCount "3" @default.
- W3025804080 countsByYear W30258040802020 @default.
- W3025804080 countsByYear W30258040802022 @default.
- W3025804080 crossrefType "journal-article" @default.
- W3025804080 hasAuthorship W3025804080A5000415323 @default.
- W3025804080 hasAuthorship W3025804080A5039866284 @default.
- W3025804080 hasBestOaLocation W30258040802 @default.
- W3025804080 hasConcept C109214941 @default.
- W3025804080 hasConcept C112505250 @default.
- W3025804080 hasConcept C114614502 @default.
- W3025804080 hasConcept C118615104 @default.
- W3025804080 hasConcept C121332964 @default.
- W3025804080 hasConcept C134306372 @default.
- W3025804080 hasConcept C2777151079 @default.
- W3025804080 hasConcept C2778583254 @default.
- W3025804080 hasConcept C311688 @default.
- W3025804080 hasConcept C33923547 @default.
- W3025804080 hasConcept C39927690 @default.
- W3025804080 hasConcept C41008148 @default.
- W3025804080 hasConcept C80444323 @default.
- W3025804080 hasConcept C90119067 @default.
- W3025804080 hasConceptScore W3025804080C109214941 @default.
- W3025804080 hasConceptScore W3025804080C112505250 @default.
- W3025804080 hasConceptScore W3025804080C114614502 @default.
- W3025804080 hasConceptScore W3025804080C118615104 @default.
- W3025804080 hasConceptScore W3025804080C121332964 @default.
- W3025804080 hasConceptScore W3025804080C134306372 @default.
- W3025804080 hasConceptScore W3025804080C2777151079 @default.
- W3025804080 hasConceptScore W3025804080C2778583254 @default.
- W3025804080 hasConceptScore W3025804080C311688 @default.
- W3025804080 hasConceptScore W3025804080C33923547 @default.
- W3025804080 hasConceptScore W3025804080C39927690 @default.
- W3025804080 hasConceptScore W3025804080C41008148 @default.
- W3025804080 hasConceptScore W3025804080C80444323 @default.
- W3025804080 hasConceptScore W3025804080C90119067 @default.
- W3025804080 hasLocation W30258040801 @default.
- W3025804080 hasLocation W30258040802 @default.
- W3025804080 hasOpenAccess W3025804080 @default.
- W3025804080 hasPrimaryLocation W30258040801 @default.
- W3025804080 hasRelatedWork W1582302366 @default.
- W3025804080 hasRelatedWork W1586583492 @default.
- W3025804080 hasRelatedWork W1758011472 @default.
- W3025804080 hasRelatedWork W2103237321 @default.
- W3025804080 hasRelatedWork W2171325226 @default.
- W3025804080 hasRelatedWork W2535076018 @default.
- W3025804080 hasRelatedWork W3021510591 @default.
- W3025804080 hasRelatedWork W33931451 @default.
- W3025804080 hasRelatedWork W4379256319 @default.
- W3025804080 hasRelatedWork W2498836681 @default.
- W3025804080 isParatext "false" @default.
- W3025804080 isRetracted "false" @default.
- W3025804080 magId "3025804080" @default.
- W3025804080 workType "article" @default.