Tropical polyhedra are equivalent to mean payoff games - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue International Journal of Algebra and Computation Année : 2012

Tropical polyhedra are equivalent to mean payoff games

Résumé

We show that several decision problems originating from max-plus or tropical convexity are equivalent to zero-sum two player game problems. In particular, we set up an equivalence between the external representation of tropical convex sets and zero-sum stochastic games, in which tropical polyhedra correspond to deterministic games with finite action spaces. Then, we show that the winning initial positions can be determined from the associated tropical polyhedron. We obtain as a corollary a game theoretical proof of the fact that the tropical rank of a matrix, defined as the maximal size of a submatrix for which the optimal assignment problem has a unique solution, coincides with the maximal number of rows (or columns) of the matrix which are linearly independent in the tropical sense. Our proofs rely on techniques from non-linear Perron-Frobenius theory.

Dates et versions

hal-00778078 , version 1 (18-01-2013)

Identifiants

Citer

Marianne Akian, Stéphane Gaubert, A. Guterman. Tropical polyhedra are equivalent to mean payoff games. International Journal of Algebra and Computation, 2012, 22 (1), pp.1250001, 43. ⟨10.1142/S0218196711006674⟩. ⟨hal-00778078⟩
305 Consultations
0 Téléchargements

Altmetric

Partager

More