Minimising Good-for-Games automata is NP complete

  title={Minimising Good-for-Games automata is NP complete},
  author={Sven Schewe},
  • S. Schewe
  • Published in FSTTCS 26 March 2020
  • Computer Science
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… 

Figures from this paper

Canonicity in GFG and Transition-Based Automata
Limiting attention to the safe components is useful, and implies that the only minimal tDCWs that have no canonical form are these for which the transition to the GFG model results in strictly smaller automaton, which do have a canonical minimal form.
On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions
It is deduced that finding the chromatic memory requirements of a Muller condition is NP-complete, and it is proved that chromatic memories cannot be optimal in general, disproving a conjecture by Kopczyński.
On the size of good-for-games Rabin automata and its link with the memory in Muller games
It is established that good-for-games Rabin automata that recognise a Muller language are exactly of the same size as the minimal memory required for winning Muller games that have this language as their winning condition, thus proving as a consequence that chromatic memory for winning a Muller game can be exponentially larger than unconstrained memory.
A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
It is proved that GFG-PDA recognise more languages than deterministic PDA (DPDA) but not all context-free languages (CFL) and this class is orthogonal to unambiguous CFL.
Minimization and Canonization of GFG Transition-Based Automata
Their minimization algorithm is based on a sequence of transformations the authors apply to the automaton, on top of which a minimal quotient automaton is defined, and all minimal automata have isomorphic safe components and once they saturate the automata with α-transitions, they get full isomorphism.


Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete
The NP-completeness of the problem of minimising deterministic automata over finite and infinite words is established, and the introduction of almost equivalence is introduced, an equivalence class for strictly between language equivalence for deterministic \buchi\ or \cobuchi\ automata and language equivalenced automata.
Solving Games Without Determinization
The main insight is that a nondeterministic automaton is good for solving games if it fairly simulates the equivalent deterministicAutomata are constructed that omit the determinization step in game solving and reactive synthesis.
Minimal NFA Problems are Hard
The following basic minimization problem is studied: Given a DFA (deterministic FA), find a minimum equivalent FA (FA) that is Turing-complete and Turing-supervised.
Good for Games Automata: From Nondeterminism to Alternation
It is shown that alternating G FG automata are as expressive as deterministic automata with the same acceptance conditions and indices, and that determinizing Buchi and co-Buchi alternating GFG automata involves a $2^{\Theta(n)}$ state blow-up.
Büchi Good-for-Games Automata Are Efficiently Recognizable
Good-for-Games (GFG) automata offer a compromise between deterministic and nondetermin-istic automata. They can resolve nondeterministic choices in a step-by-step fashion, without needing any
On Determinisation of Good-for-Games Automata
The main results of this work answer the question whether parity GFG automata actually present an improvement in terms of state-complexity the number of states compared to the deterministic ones.
Solving games without determinization. In ZoltánÉsik, editor, Computer Science Logic
  • 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL
  • 2006
Minimising good-for-games automata is NP complete
  • CoRR, abs/2003.11979,
  • 2003
Minimising good-for-games automata is NP complete. CoRR, abs
  • 2003