Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On Succinctness and Recognisability of Alternating Good-for-Games
  Automata   We study alternating good-for-games (GFG) automata, i.e., alternating
automata where both conjunctive and disjunctive choices can be resolved in an
online manner, without knowledge of the suffix of the input word still to be
read. We show that they can be exponentially more succinct than both their
nondeterministic and universal counterparts. Furthermore, we lift many results
from nondeterministic parity GFG automata to alternating ones: a single
exponential determinisation procedure, an Exptime upper bound to the GFGness
problem, a PTime algorithm for the GFGness problem of weak automata, and a
reduction from a positive solution to the $G_2$ conjecture to a PTime algorithm
for the GFGness problem of parity automata with a fixed index. The $G_2$
conjecture states that a nondeterministic parity automaton A is GFG if and only
if a token game, known as the $G_2$ game, played on A is won by the first
player. So far, it had only been proved for B\"uchi automata; we provide
further evidence for it by proving it for coB\"uchi automata. We also study the
complexity of deciding "half-GFGness", a property specific to alternating
automata that only requires nondeterministic choices to be resolved in an
online manner. We show that this problem is strictly more difficult than
GFGness check, already for alternating automata on finite words.

30
The categories of this paper are: q-alg
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
35
The categories of this paper are: mtrl-th
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
2
The categories of this paper are: math
5
The categories of this paper are: gr-qc
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
31
The categories of this paper are: ao-sci