Vyučující: Ondřej Čepek (
web se slajdy)
Předmět má za cíl «naučit základy z teorie složitosti algoritmů, včetně NP-úplnosti a převoditelnosti». Jedná se o přednášku se cvičeními ob týden.
Cvičení jsou od druhého týdne. Slajdy na webu se neshodují se současným sylabem a budou průběžně aktualizované. Při zobrazení v OpenOffice.org jsou navíc poměrně velké části některých současných slajdů prázdné, přednášející slíbíl, že tam umístí i PDF.