Úvod Flashcards
Čo je výpočtový model?
Turingov stroj
Aký je rozdiel medzi Monte Carlo a Las Vegas alg.?
Monte Carlo dáva rýchlo pravdepodobne správnu odpoveď, Las Vegas správnu pravdepodobne rýchlo
Čo je problém?
Množina vstupov, výstupov a vzťah medzi nimi (vstupno-výstupné podmienky)
Aký algoritmus je asymptoticky optimálny?
Asymptoticky neexistuje nič lepšie
Ako vieme simulovať viacpáskový stroj na 1 páske?
Stačí použiť viacstopú pracovnú pásku. (Jedna možnosť je mať na každej stope zaznačenú aj pozíciu hlavy, druhá možnosť je posúvať jednotlivé stopy tak, aby boli všetky hlavy stále nad tým istým políčkom.) Uvedomte si, že simulácia jedného kroku pôvodného TS nám môže trvať až S(n) krokov, keďže musíme prejsť celú pásku a nájsť všetky simulované hlavy. (Resp. kS(n) krokov, lebo musíme poposúvať jednotlivé pásky.)
Aká bude časová zložitosť pri redukcii k pások na jednu?
Budeme mať T^2(n) pre T(n) pôvodný.