A faster deterministic exponential time algorithm for energy games and mean payoff games

Dani Dorfman, Haim Kaplan, Uri Zwick

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We present an improved exponential time algorithm for Energy Games, and hence also for Mean Payoff Games. The running time of the new algorithm is O min mnW, mn2n/2 log W, where n is the number of vertices, m is the number of edges, and when the edge weights are integers of absolute value at most W. For small values of W, the algorithm matches the performance of the pseudopolynomial time algorithm of Brim et al. on which it is based. For W ≥ n2n/2, the new algorithm is faster than the algorithm of Brim et al. and is currently the fastest deterministic algorithm for Energy Games and Mean Payoff Games. The new algorithm is obtained by introducing a technique of forecasting repetitive actions performed by the algorithm of Brim et al., along with the use of an edge-weight scaling technique.

Original languageEnglish
Title of host publication46th International Colloquium on Automata, Languages, and Programming, ICALP 2019
EditorsChristel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959771092
DOIs
StatePublished - 1 Jul 2019
Event46th International Colloquium on Automata, Languages, and Programming, ICALP 2019 - Patras, Greece
Duration: 9 Jul 201912 Jul 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume132

Conference

Conference46th International Colloquium on Automata, Languages, and Programming, ICALP 2019
Country/TerritoryGreece
CityPatras
Period9/07/1912/07/19

Keywords

  • Energy Games
  • Mean Payoff Games
  • Scaling

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'A faster deterministic exponential time algorithm for energy games and mean payoff games'. Together they form a unique fingerprint.

Cite this