Michal Koucký: Zjemnělá složitost 

Přednáška Učené společnosti ČR
21. června 2022
prof. Mgr. Michal Koucký, Ph.D.
(Informatický ústav Univerzity Karlovy - IUUK MFF UK)
anotace:
Jak dlouho trvá porovnání dvou řetězců DNA nebo nalezení nejkratší trasy, která navštíví předepsaná města? Tuto otázku si klade výpočetní složitost, která se snaží rozdělit úlohy na efektivně řešitelné, tedy úlohy řešitelné v polynomiálním čase, a úlohy efektivně neřešitelné, tedy takové, pro něž neexistuje polynomiální algoritmus. V posledních deseti letech si lidé povšimli, že tato klasifikace je příliš hrubá a neodráží naše reálné potřeby. Toto poznání vedlo ke vzniku tzv. zjemnělé složitosti, která se snaží předestřít jemnější obrázek skutečnosti a ukazuje překvapivou souvislost mezi efektivně řešitelnými a neřešitelnými úlohami.