CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Fast Algorithms for Energy Games in Special Cases
Authors
Tijn de Vos
Sebastian Forster
Antonis Skarlatos
Publication date
18 July 2023
Publisher
View
on
arXiv
Abstract
In this paper, we study algorithms for special cases of energy games, a class of turn-based games on graphs that show up in the quantitative analysis of reactive systems. In an energy game, the vertices of a weighted directed graph belong either to Alice or to Bob. A token is moved to a next vertex by the player controlling its current location, and its energy is changed by the weight of the edge. Given a fixed starting vertex and initial energy, Alice wins the game if the energy of the token remains nonnegative at every moment. If the energy goes below zero at some point, then Bob wins. The problem of determining the winner in an energy game lies in
N
P
∩
c
o
N
P
\mathsf{NP} \cap \mathsf{coNP}
NP
∩
coNP
. It is a long standing open problem whether a polynomial time algorithm for this problem exists. We devise new algorithms for three special cases of the problem. The first two results focus on the single-player version, where either Alice or Bob controls the whole game graph. We develop an
O
~
(
n
ω
W
ω
)
\tilde{O}(n^\omega W^\omega)
O
~
(
n
ω
W
ω
)
time algorithm for a game graph controlled by Alice, by providing a reduction to the All-Pairs Nonnegative Prefix Paths problem (APNP), where
W
W
W
is the maximum weight and
ω
\omega
ω
is the best exponent for matrix multiplication. Thus we study the APNP problem separately, for which we develop an
O
~
(
n
ω
W
ω
)
\tilde{O}(n^\omega W^\omega)
O
~
(
n
ω
W
ω
)
time algorithm. For both problems, we improve over the state of the art of
O
~
(
m
n
)
\tilde O(mn)
O
~
(
mn
)
for small
W
W
W
. For the APNP problem, we also provide a conditional lower bound, which states that there is no
O
(
n
3
−
ϵ
)
O(n^{3-\epsilon})
O
(
n
3
−
ϵ
)
time algorithm for any
ϵ
>
0
\epsilon > 0
ϵ
>
0
, unless the APSP Hypothesis fails. For a game graph controlled by Bob, we obtain a near-linear time algorithm. Regarding our third result, we present a variant of the value iteration algorithm, and we prove that it gives an
O
(
m
n
)
O(mn)
O
(
mn
)
time algorithm for game graphs without negative cycles
Similar works
Full text
Available Versions
arXiv.org e-Print Archive
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:arXiv.org:2307.08442
Last time updated on 26/07/2023