Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Delayed Promotion Policy for Parity Games   Parity games are two-player infinite-duration games on graphs that play a
crucial role in various fields of theoretical computer science. Finding
efficient algorithms to solve these games in practice is widely acknowledged as
a core problem in formal verification, as it leads to efficient solutions of
the model-checking and satisfiability problems of expressive temporal logics,
e.g., the modal muCalculus. Their solution can be reduced to the problem of
identifying sets of positions of the game, called dominions, in each of which a
player can force a win by remaining in the set forever. Recently, a novel
technique to compute dominions, called priority promotion, has been proposed,
which is based on the notions of quasi dominion, a relaxed form of dominion,
and dominion space. The underlying framework is general enough to accommodate
different instantiations of the solution procedure, whose correctness is
ensured by the nature of the space itself. In this paper we propose a new such
instantiation, called delayed promotion, that tries to reduce the possible
exponential behaviours exhibited by the original method in the worst case. The
resulting procedure not only often outperforms the original priority promotion
approach, but so far no exponential worst case is known.

18
The categories of this paper are: econ
35
The categories of this paper are: mtrl-th
21
The categories of this paper are: adap-org
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
36
The categories of this paper are: cmp-lg
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
28
The categories of this paper are: alg-geom