Paritní hry: struktura, algoritmy, experimenty

Lukáš Žák

Diplomová práce

Parity Games: Structure, Algorithms, Experiments

Anotace:

V první části je práce zaměřená na vysvětlení a vymezení paritních her a všech pojmů s tím spojených. Jedná se hlavně o to, co jsou to paritní hry a jaké jsou jejich pravidla. Dále jsou popsány důležité struktury, jako je graf, na kterém se odehrávají a pojmy používané v řešících algoritmech. Hlavní částí je následné rozebrání konkrétních algoritmů. Ty jsou zde popsány a definovány včetně příkladů ilustrujících jejich průběh. Na to navazuje popis aplikace vzniklé v rámci této práce. Aplikace využívá uvedených algoritmů k řešení paritních her v přehledném uživatelském rozhraní s možností testování daných algoritmů. Poslední část se zabývá otestováním této aplikace a porovnáním jednotlivých implementovaných algoritmů.

Abstract:

The thesis deals with the issue of parity games. In the first part of the work we focus on explaining and defining parity games and all of the terms associated with it. It is mainly about what parity games are and how are they played. Right after follows description of the important structures, such as a graph, on which they are set and terms used in solving algorithms. The main part of the thesis is explaining specific algorithms dealing with parity games. These are described and defined, including examples of how each algorithm works. This is followed by a description of the application resulting in this work. The application uses the specified algorithms for solving parity games in intuitive user interface with options for testing them. The last part deals with testing of the algorithms and comparing the results of algorithms.

Klíčová slova

Paritní hry, Rekurzivní algoritmus, Hledání malých dominií, Small progress measures, Strategy Improvement, C#, PGSolver

Keywords

Parity games, Recursive algorithm, Small dominion finder, Small progres measures, Strategy Improvement, C#, PGSolver

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 30. 4. 2018

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

• Obhajoba proběhla 8. 8. 2018
• Vedoucí: Petr Jančar
• Oponent: Zdeněk Sawa, Zdeněk Sawa

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika