To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games

Abstract : Quantitative games are two-player zero-sum games played on directed weighted graphs. Total-payoff games – that can be seen as a refinement of the well-studied mean-payoff games – are the variant where the payoff of a play is computed as the sum of the weights. Our aim is to describe the first pseudo-polynomial time algorithm for total-payoff games in the presence of arbitrary weights. It consists of a non-trivial application of the value iteration paradigm. Indeed, it requires to study, as a milestone, a refinement of these games, called min-cost reachability games, where we add a reachability objective to one of the players. For these games, we give an efficient value iteration algorithm to compute the values and optimal strategies (when they exist), that runs in pseudo-polynomial time. We also propose heuristics to speed up the computations.
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01273475
Contributor : Benjamin Monmege <>
Submitted on : Friday, February 12, 2016 - 2:45:04 PM
Last modification on : Monday, March 4, 2019 - 2:04:27 PM
Long-term archiving on : Saturday, November 12, 2016 - 7:36:41 PM

File

12.pdf
Publisher files allowed on an open archive

Licence


Copyright

Identifiers

Collections

Citation

Thomas Brihaye, Gilles Geeraerts, Axel Haddad, Benjamin Monmege. To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games. Proceedings of the 26th International Conference on Concurrency Theory (CONCUR'15), Sep 2015, Madrid, Spain. pp.297-310, ⟨10.4230/LIPIcs.CONCUR.2015.297⟩. ⟨hal-01273475⟩

Share

Metrics

Record views

194

Files downloads

98