Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: State of B\"uchi Complementation   Complementation of B\"uchi automata has been studied for over five decades
since the formalism was introduced in 1960. Known complementation constructions
can be classified into Ramsey-based, determinization-based, rank-based, and
slice-based approaches. Regarding the performance of these approaches, there
have been several complexity analyses but very few experimental results. What
especially lacks is a comparative experiment on all of the four approaches to
see how they perform in practice. In this paper, we review the four approaches,
propose several optimization heuristics, and perform comparative
experimentation on four representative constructions that are considered the
most efficient in each approach. The experimental results show that (1) the
determinization-based Safra-Piterman construction outperforms the other three
in producing smaller complements and finishing more tasks in the allocated time
and (2) the proposed heuristics substantially improve the Safra-Piterman and
the slice-based constructions.

23
The categories of this paper are: solv-int
14
The categories of this paper are: math-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
20
The categories of this paper are: acc-phys
16
The categories of this paper are: stat
34
The categories of this paper are: chem-ph
18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin