Sylabus
Formální modely teorie her
Teorie aukcí, Myersonovo lemma
Cena anarchie
Nashovo ekvilibrium, Nashova věta
Hledání ekvilibrií, složitostní třída PPAD
Korelovaná ekvilibria a další varianty
Minimaxová věta
Anotace
Úvod do algoritmické teorie her, relativně nové oblasti věnující se formálním modelům chování v kompetitivních prostředích a návrhům efektivních algoritmů pro jejich řešení. Tato úvodní přednáška pokrývá základní pojmy a metody, které jsou ilustrovány praktickými aplikacemi. K absolvování přednášky je vhodné znát základy teorie složitosti.