Paritní hry

Bc. Adam Tuček

Diplomová práce

Parity games

Anotace:

Paritní hry jsou důležitým výpočetním problémem v informatice. Problém řešení paritních her je ekvivalentní problému ověřování modelů μ-kalkulu. Ale ani po velkém pokroku v posledních letech není známo jestli problém řešení paritních her je v P nebo je NP-kompletní. Tato práce prezentuje mnoho důležitých algoritmů pro řešení paritních her, vysvětluje jak pracují a sjednocuje jazyk používaný mezi těmito algoritmy. Navíc, tato práce přispívá tím, že vysvětluje a ilustruje tyto algoritmy a jejich koncepty s pomocí nově vytvořených příkladů.

Abstract:

Parity games are an important computational problem in computer science. The problem of solving a parity game is equivalent to the problem of model checking of μ-calculus. But even after a lot of progress in the recent years, it is not known whether or not solving parity games is in P or it is NP-complete. This thesis presents many important algorithms for solving parity games, explains how they work and unifies the language used between them. Additionally, this thesis contributes by explaining and illustrating the algorithms and their concepts using newly created examples.

Keywords

formal methods, model checking, parity games

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 11. 12. 2019

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

• Obhajoba proběhla 3. 2. 2020
• Vedoucí: doc. Mgr. Jan Obdržálek, PhD.
• Oponent: doc. RNDr. Jan Strejček, Ph.D.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika