Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A pseudo-quasi-polynomial algorithm for solving mean-payoff parity games   In a mean-payoff parity game, one of the two players aims both to achieve a
qualitative parity objective and to minimize a quantitative long-term average
of payoffs (aka. mean payoff). The game is zero-sum and hence the aim of the
other player is to either foil the parity objective or to maximize the mean
payoff.
  Our main technical result is a pseudo-quasi-polynomial algorithm for solving
mean-payoff parity games. All algorithms for the problem that have been
developed for over a decade have a pseudo-polynomial and an exponential factors
in their running times; in the running time of our algorithm the latter is
replaced with a quasi-polynomial one. By the results of Chatterjee and Doyen
(2012) and of Schewe, Weinert, and Zimmermann (2018), our main technical result
implies that there are pseudo-quasi-polynomial algorithms for solving parity
energy games and for solving parity games with weights.
  Our main conceptual contributions are the definitions of strategy
decompositions for both players, and a notion of progress measures for
mean-payoff parity games that generalizes both parity and energy progress
measures. The former provides normal forms for and succinct representations of
winning strategies, and the latter enables the application to mean-payoff
parity games of the order-theoretic machinery that underpins a recent
quasi-polynomial algorithm for solving parity games.

26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
24
The categories of this paper are: dg-ga
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
6
The categories of this paper are: astro-ph
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
18
The categories of this paper are: econ