IA012 Složitost — semestr jaro 2014
datum	téma	přednášející
17.2.	Úvod do teorie složitosti	Nikola Beneš
24.2.	Vztahy mezi složitostními třídami; Savitchova věta	Tomáš Babej
3.3.	Separace složitostních tříd; věty o hierarchii	Juraj Bielik
10.3.	Immermanova-Szelepcsényiho věta	Tomáš Kácel
17.3.	NP-úplné a PSPACE-úplné problémy	Roman Kadlčík
24.3.	Logspace redukce; třídy L a NL; P-úplné problémy	Pavel Dvořák
31.3.	Turingovy stroje s orákulem; relativizace	Petr Kunc
7.4.	Polynomiální hierarchie; třídy Uk,	
14.4.	Alternující výpočty a složitostní třídy	
21.4.	Velikonoční pondělí	
28.4.	Složitost obvodů; paralelismus; třída NC	Jan Sedlák
5.5.	Pravděpodobnostní výpočty a složitostní třídy	
12.5.	Interaktivní protokoly; IP = PSPACE