Optimal Values of Multidimensional Mean-Payoff Games - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2014

Optimal Values of Multidimensional Mean-Payoff Games


In this paper, we study the set of thresholds that the protagonist can force in a zero-sum two-player multidimensional mean-payoff game. The set of maximal elements of such a set is called the Pareto curve, a classical tool to analyze trade-offs. As thresholds are vectors of real numbers in multiple dimensions, there exist usually an infinite number of such maximal elements. Our main results are as follow. First, we study the geometry of this set and show that it is definable as a finite union of convex sets given by linear inequations. Second, we provide a Σ2 P algorithm to decide if this set intersects a convex set defined by linear inequations, and we prove the optimality of our algorithm by providing a matching complexity lower bound for the problem. Furthermore, we show that, under natural assumptions, i.e. fixed number of dimensions and polynomially bounded weights in the game, the problem can be solved in deterministic polynomial time. Finally, we show that the Pareto curve can be effectively constructed, and under the former natural assumptions, this construction can be done in deterministic polynomial time.
Fichier principal
Vignette du fichier
cav15-long.pdf (520.21 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00977352 , version 1 (11-04-2014)
hal-00977352 , version 2 (13-04-2014)
hal-00977352 , version 3 (29-04-2014)
hal-00977352 , version 4 (18-10-2014)
hal-00977352 , version 5 (08-02-2015)
hal-00977352 , version 6 (22-05-2015)


  • HAL Id : hal-00977352 , version 6


Romain Brenguier, Jean-François Raskin. Optimal Values of Multidimensional Mean-Payoff Games. [Research Report] Université Libre de Bruxelles (U.L.B.), Belgium. 2014. ⟨hal-00977352v6⟩


277 View
358 Download


Gmail Facebook X LinkedIn More