CALCULABILITATE SI COMPLEXITATE

Subiecte de examen
Ianuarie 2007
I.)

Maini Turing
Definiia TM i relaia cu DFA i PDA
Variante de TM: definiii i teoreme de echivalen (cu n benzi, nedet, enumerator)
Teza Church-Turing
Problema a 10a a lui Hilbert i rezultatul lui MATIJASEVI

II.)

Probleme decidabile pentru clasa limbajelor regulate

Teoreme: ACCDFA, ACCNFA, EMPTDFA, EQDFA

III.)

Probleme decidabile pentru din clasa limbajelor independente de context

Teoreme: ACCCFG (inclusiv lema aux.), EMPTDFA, EQDFA (de ce nu inc)
Teorema: orice CFL este decidabil

IV.) Relaia dintre clasele de limbaje din ierarhia Chomsky

Teorema: exist un limbaj pe care nu-l recunoate nici o TM
Teorema: Limbajul ACCTM este nedecidabil
Definiie: limbaj coTuring recunoscut
Teorema: L decidabil L e Turing rec i coTuring recunoscut
ACCTM nu e Turing recunoscut
Relaia dintre clasele de limbaje (justificarea incluziunilor i a faptului c sunt stricte)
V.)

Probleme nedecidabile pentru din clasa limbajelor recursiv enumerabile

Definiii: funcie calculabil, reductibilitate funcional
Leme: A m B i B decidabil A decidabil; A m B i A nedecidabil B
nedecidabil; idem pentru limbaje (ne)recunoscute de TM
Problema opririi
Teoreme:, EMPTTM, EQTM sunt nedecidabile
Teorema: REGTM este nedecidabil
Teorema lui Rice

VI.) Complexitatea timp a modelelor de calculabilitate

Definiii: complexitatea timp (determinist, nedetreminist), clasele TIME(f(n)),
NTIME(f(n)), P, NP, EXPTIME, coNP (definiia verificatorului i teorema de
echivalen cu TM nedeterminist: doar ideea dem)
Notaia asimptotic: definiii, proprieti
Teoremele de transformare a TM cu n benzi / nedeterminsit n TM standard)
VII.) P versus NP
Definiii: complexitatea timp (determinist, nedetreminist), clasele TIME(f(n)),
NTIME(f(n)), P, NP, EXPTIME, coNP
Exemple de probleme decidabile n timp polinomial / exponenial (PATH (dem),
RELPRIME (enun), L CFL (enun) / HAMILTPATH (dem), COMPOSITES,
CLIQUE, SUBSET-SUM: enunuri)
P versus NP i relaia dintre clasele de complexitate timp (diagrama i enunuri de
teoreme)
NP-completitudine: definiii: funcia polinomial calculabil, reductibilitate
polinomial; Teorema Cook-Levin: SAT P P = NP doar enun)
VIII.)

Complexitatea spaiu

Definiii: complexitatea spaiu (determinist, nedetreminist), clasele SPACE(f(n)),

NSPACE(f(n)), PSPACE, NPSPACE
Teorema lui Savitch: Fie o funcie f: N R+ cu proprietatea: f(n) n
NSPACE(f(n)) SPACE(f2(n))
Relaia dintre clasele de complexitate timp i spaiu: P PSPACE = NPSPACE
EXPTIME; NP PSPACE = NPSPACE EXPTIME
PSPACE-completitudine (exemple de probleme PSPACE-complete: TBQF,
Formula-joc, Jocul-geografic)
Definiii: clasele L i NL; TM cu spaiu logaritmic i transducerul cu spaiu logaritmic
NL-completitudine; relaia dintre clasele de complexitate L NL = coNL P
PSPACE

Observatie:
Un singur subiect: se vor enunta toate definitiile, propozitiile, teoremele si se va
demonstra un singur rezultat (la alegere)