Iata subiectele de la Complexitate si Calculabilitate.

Dati mai departe la toata

seria.

"**********************************************************************************
**
1. Masini Turing ca dispozitive de acceptare si de calcul.
Nota 6:
- Definitia MT ca dispozitive de acceptare si de calcul functii
- Def. MT deterministe si cu mai multe benzi.
- Ce relatii exista intre puterea de calcul a acestor masini (enunturi).

Fiecare teorema din cele doua netriviale enuntate mai sus: 2p

2. Functii recursive, calculabile cu programe standard, Turing calculabile.

Nota 6:
- Definitia fiecarei functii de mai sus
- Relatiile intre ele (enunturi)

Fiecare teorema care stabileste relatii intre functiile de mai sus: 2p

(aici sunt mai multe teoreme deci va alegeti 2 din ele)

3. Multimi recursive, recursiv enumerabile si nerecursiv enumerabile.

Nota 6:
- Definitiile acestor multimi
- Relatii intre ele cu specificarea limbajelor care sunt folosite (fara
demonstratii)

Avem urmatoarele teoreme:

- separarea NRE si RE
- separarea RE si REC
- proprietati de inchidere ale claselor RE si REC

Fiecare teorema de mai sus: 2p (asadar, alegeti 2 din 3)

4. Clasa de complexitate spatiu

Nota 6:
- modelul de MT pe care se face evaluarea masurii spatiu
- definitia masurii si a claselor de complexitate
- eliminarea constantelor si comprimarea benzilor (enunturi)
- relatiile intre masurile timp si spatiu (enunturi)
- teorema lui Savitch (enunt)
- ierarhii de clase de complexitate (enunturi)

Fiecare demonstratie a unui rezultat de mai sus: 2p

5. 4. Clasa de complexitate timp

Nota 6:
- modelul de MT pe care se face evaluarea masurii timp
- definitia masurii si a claselor de complexitate
- eliminarea constantelor si comprimarea benzilor (enunturi)
- relatii intre clasele deterministe si nedeterministe (enunturi)
- relatiile intre masurile timp si spatiu (enunturi)
- ierarhii de clase de complexitate (enunturi)

Fiecare demonstratie a unui rezultat de mai sus: 2p

***********************************************************************************
******
In cursul urmator voi da detalii, daca va fi cazul.
Spor la invatat si Craciun Fericit!
VM."