Zk. 21.1.2014

Zk. 21.1.2014

Příspěvekod Drozi » 21. 1. 2014 23:19

Zkouška probíhala klasicky, jak už tu je mnohokrát popsáno.

Nástin mojeho řešení:
1) Ricem ukázat, že neni rekurzivní; rek. spočetnost pak třeba existentítko + PRP = RSP
2) Potřebnej tvar vymlátit z SMN věty a pak použít větu o rekurzi
3) Já sem na to šel z Hamiltonovské cesty - což prý bylo dobře, ale zprasil sem převod kružnice na cestu :D Prohlášení, že to bylo na cvičení tentokrát neprošlo :-)
Přílohy
zsv.jpg
Drozi
Matfyz(ák|ačka) level I
 
Příspěvky: 17
Registrován: 25. 1. 2010 11:59
Typ studia: Informatika Bc.

Zpět na NTIN090 Základy složitosti a vyčíslitelnosti

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník

cron