Michal Koucký
<koucky@math.cas.cz>
LS 2009/2010
TIN086 - 2/1 Z, Zk
Čas konání: Čt. 15:40.
Místo konání: S10, Malá
Strana
Obsahem této přednášky jsou pokročilé partie z výpočetní složitosti. Tento semestr bude věnován interaktivním protokolům a pravděpodobnostním důkazovým systémům (IP, AM, MIP, PCP). Probereme též související témata samoopravných programů, zero-knowledge důkazů a težkosti aproximací.
Přednáška je určena především studentům vyšších ročníků studia a doktorandům. Přednáška předpokládá základní znalosti z výpočetní složitosti, pravděpodobnosti a diskrétní matematiky. Přednášku je možné si zapsat opakovaně.
Literatura: