| BRIM, Luboš, Jakub CHALOUPKA, Laurent DOYEN, Raffaella GENTILINI a Jean-François RASKIN. Faster algorithms for mean-payoff games. Formal Methods in System Design. Springer Netherlands, 2011, roč. 38, č. 2, s. 97-118. ISSN 0925-9856. Dostupné z: https://dx.doi.org/10.1007/s10703-010-0105-x. |
Další formáty:
BibTeX
LaTeX
RIS
@article{963533,
author = {Brim, Luboš and Chaloupka, Jakub and Doyen, Laurent and Gentilini, Raffaella and Raskin, JeanandFrançois},
article_number = {2},
doi = {http://dx.doi.org/10.1007/s10703-010-0105-x},
keywords = {Mean payoff objectives; Algorithms and complexity upper bounds},
language = {eng},
issn = {0925-9856},
journal = {Formal Methods in System Design},
title = {Faster algorithms for mean-payoff games},
volume = {38},
year = {2011}
}
TY - JOUR
ID - 963533
AU - Brim, Luboš - Chaloupka, Jakub - Doyen, Laurent - Gentilini, Raffaella - Raskin, Jean-François
PY - 2011
TI - Faster algorithms for mean-payoff games
JF - Formal Methods in System Design
VL - 38
IS - 2
SP - 97-118
EP - 97-118
PB - Springer Netherlands
SN - 09259856
KW - Mean payoff objectives
KW - Algorithms and complexity upper bounds
N2 - In this paper, we study algorithmic problems for quantitative models that are motivated by the applications in modeling embedded systems. We consider two-player games played on a weighted graph with mean-payoff objective and with energy constraints. We present a new pseudopolynomial algorithm for solving such games, improving the best known worst-case complexity for pseudopolynomial mean-payoff algorithms. Our algorithm can also be combined with the procedure by Andersson and Vorobyov to obtain a randomized algorithm with currently the best expected time complexity. The proposed solution relies on a simple fixpoint iteration to solve the log-space equivalent problem of deciding the winner of energy games. Our results imply also that energy games and mean-payoff games can be reduced to safety games in pseudopolynomial time.
ER -
BRIM, Luboš, Jakub CHALOUPKA, Laurent DOYEN, Raffaella GENTILINI a Jean-Fran$\backslash$c cois RASKIN. Faster algorithms for mean-payoff games. \textit{Formal Methods in System Design}. Springer Netherlands, 2011, roč.~38, č.~2, s.~97-118. ISSN~0925-9856. Dostupné z: https://dx.doi.org/10.1007/s10703-010-0105-x.
|
