Sunteți pe pagina 1din 1

Pt fiecare subiect, doar enunturile si definitiile aduc nota 6, pentru puncte in plus se cer si demonstratiile 1.

Masini Turing (curs 1 si 2) -- definitie m.T. cu 1 banda, cu mai multe benzi, determinista } astea 2 dau nota 6 (fara demos) -- relatiile dintre cele 3 tipuri de mT mentionate mai sus (doar enuntur ile) (sunt 2 teoreme) } -- fiecare demonstratie (pt fiecare din cele 2 th de mai sus) valoreaza 2p 2. Fct recursive, calculabile cu programe standard, Turing calculabile -- def pt fiecare din cele 3 tipuri de fct -- (enunturile) relatiile dintre fct -- sunt 3 demo: cea grea si celelalte 2 (cea grea = orice fct T calc est e recursiva = 4p), restul, cate 2p fiecare demo 3. Multimi ---recursive, recursiv numarabile, nerecursive def fiecare relatiile dintre ele (enunturile) limbaj (diagonal, universal, proprietati de inchidere) = th dem lbj universal se poate calcula - este recursiv dar nu r ecursiv enumerabil = th dem lbj diagonal este nerecursiv enumerabil + prop inchidere (2 demo din 3) 4. Clasa de complexitate Timp -- modelul de masina Turing -- def clase complexitate -- eliminarea constantei (enunt + demo) -- compactarea benzilor (enunt + demo) -- ierarhii de clase de complexitate { sunt 3 th: 1) benzi: trecerea de la n benzi la 1 banda presupune timp f^2 2) constanta 3) ierarhiile se aleg 2 demo din 3 } 5. Clasa de complexitate Spatiu -- idem cerinta 4 6. Relatiile dintre clasele de complexitate: -- Timp - Spatiu (th cu 4 afirmatii) -- Timp - Timp -- Spatiu - Spatiu 7. Reduceri, probleme complete, NP completitudine -- def cele 2 tipuri de reducere (sp. log, timp polinomial) -- def problema completa, dificila, NPcompleta etc. (toate def) -- 1 demo la alegere dintre: = reduceri (sp log, timp poli) = demonstrati ca 1 problema este NPcompleta (dc alegem ca proble ma NPcompleta de plecare o problema pe care nu am facut-o la curs, dar am citit noi despre ea, e ok si nu trebuie sa demonstram ca este NP)