Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Strategy Iteration using Non-Deterministic Strategies for Solving Parity
  Games   This article extends the idea of solving parity games by strategy iteration
to non-deterministic strategies: In a non-deterministic strategy a player
restricts himself to some non-empty subset of possible actions at a given node,
instead of limiting himself to exactly one action. We show that a
strategy-improvement algorithm by by Bjoerklund, Sandberg, and Vorobyov can
easily be adapted to the more general setting of non-deterministic strategies.
Further, we show that applying the heuristic of "all profitable switches" leads
to choosing a "locally optimal" successor strategy in the setting of
non-deterministic strategies, thereby obtaining an easy proof of an algorithm
by Schewe. In contrast to the algorithm by Bjoerklund et al., we present our
algorithm directly for parity games which allows us to compare it to the
algorithm by Jurdzinski and Voege: We show that the valuations used in both
algorithm coincide on parity game arenas in which one player can "surrender".
Thus, our algorithm can also be seen as a generalization of the one by
Jurdzinski and Voege to non-deterministic strategies. Finally, using
non-deterministic strategies allows us to show that the number of improvement
steps is bound from above by O(1.724^n). For strategy-improvement algorithms,
this bound was previously only known to be attainable by using randomization.

5
The categories of this paper are: gr-qc
4
The categories of this paper are: cond-mat
30
The categories of this paper are: q-alg
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
12
The categories of this paper are: nucl-th
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
35
The categories of this paper are: mtrl-th