BRIM, Luboš a Jakub CHALOUPKA. Using strategy improvement to stay alive. International Journal of Foundations of Computer Science. 2012, roč. 23, č. 3, s. 585-608. ISSN 0129-0541. Dostupné z: https://dx.doi.org/10.1142/S0129054112400291.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Using strategy improvement to stay alive
Autoři BRIM, Luboš (203 Česká republika, garant, domácí) a Jakub CHALOUPKA (203 Česká republika, domácí).
Vydání International Journal of Foundations of Computer Science, 2012, 0129-0541.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Impakt faktor Impact factor: 0.420
Kód RIV RIV/00216224:14330/12:00057380
Organizační jednotka Fakulta informatiky
Doi http://dx.doi.org/10.1142/S0129054112400291
UT WoS 000304003000003
Klíčová slova česky mean-payoff hry; zlepšení strategie; experimentální vyhodnocení.
Klíčová slova anglicky Mean-payoff games; strategy improvement; experimental evaluation.
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 4. 2013 12:15.
Anotace
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.
Návaznosti
GA201/09/1389, projekt VaVNázev: Verifikace a analýza velmi velkých počítačových systémů
Investor: Grantová agentura ČR, Verifikace a analýza velmi velkých počítačových systémů
GD102/09/H042, projekt VaVNázev: 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ů
Investor: Grantová agentura ČR, 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ů
VytisknoutZobrazeno: 26. 4. 2024 15:41