| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00057380 |
| Název v původním jazyce | Using strategy improvement to stay alive |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 2 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | Jimp - Článek v impaktovaném časopise evidovaném ve Web of Science |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 13,262 |
| Faktor korekce | 90,8 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 12,044 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 100,0 % | 13,262 | 12,044 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 2 |
| Počet domácích tvůrců | 2 |
| Tvůrce | Brim Luboš (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 6500773) |
| Tvůrce | Chaloupka Jakub (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; vedidk: 5376327) |
| Údaje blíže specifikující výsledek |
| Popis v původním jazyce | 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. |
| Klíčová slova | Mean-payoff games; strategy improvement; experimental evaluation. |
| Kód UT ISI | 000304003000003 |
| Rozsah stran | 585-608 |
| Název periodka | International Journal of Foundations of Computer Science |
| ISSN | 0129-0541 |
| Svazek periodika | 23 |
| Číslo periodika v rámci uvedeného svazku | 3 |
| Stát vydavatele periodika | CZ - Česká republika |
| Počet stran výsledku | 24 |
| Adresa www stránky s výsledkem | http://dx.doi.org/10.1142/S0129054112400291 |
| DOI výsledku | 10.1142/S0129054112400291 |
| Údaje o tomto záznamu o výsledku |
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00057380!RIV13-MSM-14330___ |
| Kontrolní kód | [5AC3CCC4F32A] |
| Další výskyty tohoto výsledku od stejného předkladatele |
| Dodáno GA ČR v roce 2013 | Záznam s identifikačním kódem RIV/00216224:14330/12:00057380 v dodávce dat RIV13-GA0-14330___/02:2 |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | GA201/09/1389 - Verifikace a analýza velmi velkých počítačových systémů (2009-2011, GA0/GA) |
| Projekt | GD102/09/H042 - 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ů (2009-2012, GA0/GD) |
| S - Specifický výzkum na vysokých školách |
| I - Instit. podpora na rozvoj výzkumné organizace |