Skip to Main content Skip to Navigation
New interface
Conference papers

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

Abstract : 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
Document type :
Conference papers
Complete list of metadata
Contributor : Nathanaël Fijalkow Connect in order to contact the contributor
Submitted on : Thursday, October 6, 2022 - 2:22:52 PM
Last modification on : Thursday, October 6, 2022 - 3:49:13 PM


Files produced by the author(s)




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⟩



Record views


Files downloads