Complexity of Consumption Games

Mgr. David Klaška

Bakalářská práce

Anotace:

Práce se zabývá tzv. consumption games, hrami dvou hráčů, které modelují interaktivní systémy s několika typy zdrojů, jež jsou průběžně spotřebovávány a doplňovány nezávisle na sobě. Konkrétně řešíme problémy prázdnosti, příslušnosti a minimálních vektorů. U každého z těchto tří problémů klasifikujeme podtřídy consumption games, pro něž jsou řešitelné v polynomiálním čase. Dále ukazujeme, že vně těchto tříd jsou řešené problémy výpočetně těžké.

Abstract:

We study consumption games, a model for interactive systems with several resource types which are consumed and reloaded independently. Several naturally arising problems about consumption games have been studied, namely the emptiness problem, the membership problem, and the minimal-resource problem. For each of these problems, we classify subclasses of consumption games for which it is solvable in polynomial time. Further, we show that outside these subclasses, these problems are computationally hard.

Keywords

consumption games, binary encoding, polynomially solvable, emptiness problem, membership problem, minimal-resource problem, one-player games, one-dimensional consumption games, decreasing consumption games, single-reloading consumption games

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 3. 1. 2014

Obhajoba závěrečné práce

• Obhajoba proběhla 7. 2. 2014
• Vedoucí: doc. RNDr. Tomáš Brázdil, Ph.D.
• Oponent: prof. RNDr. Mojmír Křetínský, CSc.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Matematická informatika