Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games"
Data Structures and Algorithms
2023-10-09 v1
Abstract
An improved exponential time algorithm for Energy Games and Mean Payoff Games has been recently proposed in ICALP 19. The new algorithm prevents some of the repetitive operations performed by the classic value iteration algorithm of Brim et al., leading to an approach with time complexity . Unfortunately, the pseudo-code of the algorithm includes inaccuracies that violate two Lemmata used in the correctness and complexity proofs. In this technical report, we describe the problems, propose a fixed version of the algorithm, and correct the proofs for the Lemmata.
Keywords
Cite
@article{arxiv.2310.04130,
title = {Errata to: "Faster Deterministic Exponential Time Algorithm for Energy Games and Mean Payoff Games"},
author = {Peter Austin and Daniele Dell'Erba},
journal= {arXiv preprint arXiv:2310.04130},
year = {2023}
}