Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{895330,
author = {Brim, Luboš and Chaloupka, Jakub},
address = {Neuveden},
booktitle = {Games, Automata, Logics and Formal Verification (GandALF) 2010},
keywords = {mean-payoff games; strategy improvement; experimental evaluation},
language = {eng},
location = {Neuveden},
pages = {40-54},
publisher = {Electronic Proceedings in Theoretical Computer Science (EPTCS)},
title = {Using Strategy Improvement to Stay Alive},
url = {http://arxiv.org/abs/1006.1405},
year = {2010}
}
TY - JOUR
ID - 895330
AU - Brim, Luboš - Chaloupka, Jakub
PY - 2010
TI - Using Strategy Improvement to Stay Alive
PB - Electronic Proceedings in Theoretical Computer Science (EPTCS)
CY - Neuveden
KW - mean-payoff games
KW - strategy improvement
KW - experimental evaluation
UR - http://arxiv.org/abs/1006.1405
N2 - We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy -- depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice.
ER -
BRIM, Luboš a Jakub CHALOUPKA. Using Strategy Improvement to Stay Alive. In \textit{Games, Automata, Logics and Formal Verification (GandALF) 2010}. Neuveden: Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010, s.~40-54. ISSN~2075-2180.
|
