Matches in SemOpenAlex for { <https://semopenalex.org/work/W3013142012> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W3013142012 abstract "This paper discusses the hardness of finding minimal good-for-games (GFG) Buchi, Co-Buchi, and parity automata with state based acceptance. The problem appears to sit between finding small deterministic and finding small nondeterministic automata, where minimality is NP-complete and PSPACE-complete, respectively. However, recent work of Radi and Kupferman has shown that minimising Co-Buchi automata with transition based acceptance is tractable, which suggests that the complexity of minimising GFG automata might be cheaper than minimising deterministic automata. We show for the standard state based acceptance that the minimality of a GFG automaton is NP-complete for Buchi, Co-Buchi, and parity GFG automata. The proofs are a surprisingly straight forward generalisation of the proofs from deterministic Buchi automata: they use a similar reductions, and the same hard class of languages." @default.
- W3013142012 created "2020-04-03" @default.
- W3013142012 creator A5041836791 @default.
- W3013142012 date "2020-03-26" @default.
- W3013142012 modified "2023-09-27" @default.
- W3013142012 title "Minimising Good-for-Games automata is NP complete" @default.
- W3013142012 cites W1534702427 @default.
- W3013142012 cites W1594196576 @default.
- W3013142012 cites W2040834199 @default.
- W3013142012 hasPublicationYear "2020" @default.
- W3013142012 type Work @default.
- W3013142012 sameAs 3013142012 @default.
- W3013142012 citedByCount "0" @default.
- W3013142012 crossrefType "posted-content" @default.
- W3013142012 hasAuthorship W3013142012A5041836791 @default.
- W3013142012 hasConcept C108710211 @default.
- W3013142012 hasConcept C112505250 @default.
- W3013142012 hasConcept C114614502 @default.
- W3013142012 hasConcept C116248031 @default.
- W3013142012 hasConcept C118615104 @default.
- W3013142012 hasConcept C165753454 @default.
- W3013142012 hasConcept C176181172 @default.
- W3013142012 hasConcept C194525867 @default.
- W3013142012 hasConcept C2524010 @default.
- W3013142012 hasConcept C33923547 @default.
- W3013142012 hasConcept C41008148 @default.
- W3013142012 hasConcept C50348692 @default.
- W3013142012 hasConcept C80444323 @default.
- W3013142012 hasConceptScore W3013142012C108710211 @default.
- W3013142012 hasConceptScore W3013142012C112505250 @default.
- W3013142012 hasConceptScore W3013142012C114614502 @default.
- W3013142012 hasConceptScore W3013142012C116248031 @default.
- W3013142012 hasConceptScore W3013142012C118615104 @default.
- W3013142012 hasConceptScore W3013142012C165753454 @default.
- W3013142012 hasConceptScore W3013142012C176181172 @default.
- W3013142012 hasConceptScore W3013142012C194525867 @default.
- W3013142012 hasConceptScore W3013142012C2524010 @default.
- W3013142012 hasConceptScore W3013142012C33923547 @default.
- W3013142012 hasConceptScore W3013142012C41008148 @default.
- W3013142012 hasConceptScore W3013142012C50348692 @default.
- W3013142012 hasConceptScore W3013142012C80444323 @default.
- W3013142012 hasLocation W30131420121 @default.
- W3013142012 hasOpenAccess W3013142012 @default.
- W3013142012 hasPrimaryLocation W30131420121 @default.
- W3013142012 hasRelatedWork W128496866 @default.
- W3013142012 hasRelatedWork W1512592750 @default.
- W3013142012 hasRelatedWork W1513363691 @default.
- W3013142012 hasRelatedWork W1515863024 @default.
- W3013142012 hasRelatedWork W1736435620 @default.
- W3013142012 hasRelatedWork W2009929770 @default.
- W3013142012 hasRelatedWork W2044854034 @default.
- W3013142012 hasRelatedWork W2047588061 @default.
- W3013142012 hasRelatedWork W2078669675 @default.
- W3013142012 hasRelatedWork W2095489261 @default.
- W3013142012 hasRelatedWork W2311802561 @default.
- W3013142012 hasRelatedWork W2400175085 @default.
- W3013142012 hasRelatedWork W2724853801 @default.
- W3013142012 hasRelatedWork W2736060704 @default.
- W3013142012 hasRelatedWork W3004485666 @default.
- W3013142012 hasRelatedWork W3006504376 @default.
- W3013142012 hasRelatedWork W3095860260 @default.
- W3013142012 hasRelatedWork W3113447137 @default.
- W3013142012 hasRelatedWork W3115605015 @default.
- W3013142012 hasRelatedWork W3116624436 @default.
- W3013142012 isParatext "false" @default.
- W3013142012 isRetracted "false" @default.
- W3013142012 magId "3013142012" @default.
- W3013142012 workType "article" @default.