Publication details
Using Strategy Improvement to Stay Alive
| Basic information | |
|---|---|
| Original title: | Using Strategy Improvement to Stay Alive |
| Authors: | Luboš Brim, Jakub Chaloupka |
| Further information | |
|---|---|
| Citation: | BRIM, Luboš - CHALOUPKA, Jakub. Using Strategy Improvement to Stay Alive. In Games, Automata, Logics and Formal Verification (GandALF) 2010. Neuveden : Electronic Proceedings in Theoretical Computer Science (EPTCS), 2010. pp. 40 -54. 2010, Minori, Itálie. |
| Original language: | English |
| Field: | Informatika |
| WWW: | http://arxiv.org/abs/1006.1405 |
| Type: | Article in Proceedings |
| Keywords: | mean -payoff games; strategy improvement; experimental evaluation |
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.
Related projects:
- Highly Parallel and Distributed Computing Systems
- Verification and Analysis of Large-Scale Computer Systems
- Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů
- Rozsáhlé výpočetní systémy: modely, aplikace a verifikace











http://arxiv.org/abs/1006.1405