Mean-payoff games (MPGs) jsou silným matematickým nástrojem s
velkým
množstvím aplikací, zejména v analýze a verifikaci počítačových
systémů.
Díky velké složitosti těchto systemů je potřeba řešit velmi
velké hry.
Současné algoritmy pro řešení MPGs jsou sekvenční, tedy
limitované výkonem
jednoho počítače. Jeden způsob, jak rozšířit naše možnosti je
navrhnout
efektivní paralelní a distribuované algoritmy pro MPGs. Nicméně
existující
sekvenční algoritmy se nedají snadno převést do paralelního
nebo
distribuovaného prostředí.

Cílem této práce je navrhnout, implementovat a zhodnotit
paralelní a
distribuované algoritmy na řešení MPGs.  Tento cíl má dvě
části. Za prvé
navrhnout algoritmy založené na existujících sekvenčních
algoritmech. Za
druhé navrhnout alespoň jeden původní algoritmus.