Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games - CNRS - Centre national de la recherche scientifique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games

Résumé

We study the computational complexity of solving mean payoff games. This class of games can be seen as an extension of parity games, and they have similar complexity status: in both cases solving them is in NP ∩ coNP and not known to be in P. In a breakthrough result Calude, Jain, Khoussainov, Li, and Stephan constructed in 2017 a quasipolynomial time algorithm for solving parity games, which was quickly followed by a few other algorithms with the same complexity. Our objective is to investigate how these techniques can be extended to mean payoff games. The starting point is the combinatorial notion of universal trees: all quasipolynomial time algorithms for parity games have been shown to exploit universal trees. Universal graphs extend universal trees to arbitrary (positionally determined) objectives. We show that they yield a family of value iteration algorithms for solving mean payoff games which includes the value iteration algorithm due to Brim, Chaloupka, Doyen, Gentilini, and Raskin. The contribution of this paper is to prove tight bounds on the complexity of algorithms for mean payoff games using universal graphs. We consider two parameters: the largest weight N in absolute value and the number k of weights. The dependence in N in the existing value iteration algorithm is linear, we show that this can be improved to N 1−1/n and obtain a matching lower bound. However, we show that we cannot break the linear dependence in the exponent in the number k of weights implying that universal graphs do not yield a quasipolynomial time algorithm for solving mean payoff games. 2012 ACM Subject Classification Theory of computation → Automata over infinite objects; Theory of computation → Algorithmic game theory and mechanism design Keywords and phrases Mean payoff games, Universal graphs, Value iteration Digital Object Identifier 10.4230/LIPIcs.MFCS.2020.34
Fichier principal
Vignette du fichier
s.pdf (549.74 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03800510 , version 1 (06-10-2022)

Identifiants

Citer

Nathanaël Fijalkow, Paweł Gawrychowski, Pierre Ohlmann. Value Iteration Using Universal Graphs and the Complexity of Mean Payoff Games. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020), Aug 2020, Prague, Czech Republic. ⟨10.4230/LIPIcs.MFCS.2020.34⟩. ⟨hal-03800510⟩

Collections

CNRS
10 Consultations
10 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More