Informativní přehled o základech teoret. informatiky (výpočetní
složitost, NP-úplnost) a algoritmech (lineární programování, grafové
algoritmy). Prezentace teoret. partií kombinatoriky a teorie grafů (toky
v sítích, faktory grafů, množinové systémy a systémy reprezentantů,
Ramseyova teorie). Ve š.r.1996/97 spojeno s M398 a M400. Shodné s I173 a
I174.
Poslední úprava: ()
Sylabus
Základy NP-úplnosti - nedeterministické Turingovy stroje, Cookova věta, základní NP-úplné problémy (3-splnitelnost, Hamiltonovská kružnice, nezávislá množina, exaktní pokrytí). Dále viz I173 a I174.