Seminář z kooperativní teorie her
Seminář z kooperativní teorie her [NOPT060] v zimním semestru 2026/2027. Probíhá v pondělí od 17:20 na Malé Straně v místnosti SU1.
Téma semináře
Nedávno se podařilo objevit téměř zapomenutý archiv profesora Davida Housmana , který zachycuje přibližně 25 let studentských výzkumných projektů, včetně projektů REU z kooperativní teorie her. Skrývá množství tvrzení, důkazů, výpočtů a nápadů, z nichž řada nebyla nikdy dále systematicky zpracována.
Na semináři se do tohoto matematického archivu společně vydáme. Budeme rekonstruovat nalezené výsledky, ověřovat jejich platnost, hledat chyby, chybějící předpoklady a protipříklady a zkoušet možná zobecnění. Jednotlivé výsledky se pokusíme propojit a postupně z nich sestavit mapu vztahů a otevřených otázek ukrytých v archivu.
Cílem tak nebude jen studovat známou teorii, ale zjistit, co se během let studentského výzkumu podařilo objevit – a co dalšího se z těchto výsledků můžeme dozvědět.
Jak bude seminář probíhat?
Na začátku semestru si představíme základní pojmy kooperativní teorie her a neúplných kooperativních her. Předchozí znalost těchto oblastí proto není nutná.
V dalších týdnech budeme postupně vybírat výsledky z Housmanova archivu. Společně se pokusíme:
- pochopit původní tvrzení a zasadit jej do kontextu,
- rekonstruovat nebo doplnit jeho důkaz,
- hledat případné chyby, chybějící předpoklady a protipříklady,
- zkoušet tvrzení zobecnit nebo formulovat navazující otázky,
- propojovat jej s výsledky, které jsme studovali v předchozích týdnech.
Jednotlivé projekty nebudeme studovat izolovaně. V průběhu semestru si budeme postupně vytvářet společnou myšlenkovou mapu v nástroji OrgPad, do které budeme zaznamenávat definice, tvrzení, příklady, protipříklady, důkazy a vazby mezi jednotlivými výsledky.
Na konci semestru bychom tak měli mít nejen přehled prozkoumané části archivu, ale také mapu toho, jak spolu jednotlivé výsledky souvisejí a kde zůstávají otevřené otázky.
Požadavky na zápočet
Zápočet bude udělen za aktivní účast na semináři. Neočekává se, že se účastníkům musí podařit vyřešit některý z představených problémů. Konkrétní parametry budou představeny první týden semestru.
Průběh semináře
| Datum | Popis semináře | Materiály |
|---|---|---|
| 5.10.2026 | Úvodní představení a základy kooperativní teorie her | – |
| 12.10.2026 | Kooperativní hry - trochu do hloubky a šíře | – |
| [TBD] | Neúplné kooperativní hry | – |