Realizace Rabinovy hry na konečných grafech
Bakalárská práce
Filip Bártek


Text bakalářské práce najdete v souboru text/bachelor.pdf.
Program pro řešení Rabinových her najdete v souboru program/src/main/rgs.exe. Pro jeho spuštění je potřeba provozovat 64bitový operační systém Windows a mít nainstalovaný software MATLAB. Doporučuji program spouštět prostřednictvím skriptu program/rgs_m.bat, případně rgs.bat (pro verzi bez MATLABového řešiče, pokud ji máte sestavenou).
Uživatelskou příručku k programu pro řešení Rabinových her najdete v souboru text/rgs.pdf.


Vývojové prostředí i cílová platforma této bakalářské práce je operační systém Windows.

Zdrojový kód programů je napsaný v jazyce C++. Ke kompilaci jsem použil programy g++, ar a cmd. Zkompilovat jej můžete spuštěním skriptu program/build.bat po přizpůsobení obsahu souborů program/src/env_local.bat a program/src/env_user.bat.

Zdrojový kód textu bakalářské práce je napsaný v jazyce LaTeX. Ke kompilaci jsem použil program MikTeX. Zkompilovat jej můžete kompilací souboru text/bachelor.tex.