CALCULABILITATE SI COMPLEXITATE
Subiecte de examen
I.)
Limbaje independente de context: CFG i PDA
Definiia gramaticii independente de context
Definiia PDA; comparaie cu DFA i TM
Teorema de echivalen ntre CFG i PDA (una dintre implicaii)
Teorema: REG CFL
II.)
Limbaje independente de context: forme normale i operaii
Definiia gramaticii independente de context
Definiia Formei Normale Chomsky i Greibach
Teorema: () G CFG () G n FNC echivalent
Lema de pompare
Definiia PDA; comparaie cu DFA i TM
Operaii de inchidere (U, concat, *; mirror, homo); CFL nu e inchis la i \
III.) Maini Turing
Definiia TM i relaia cu DFA i PDA
Variante de TM: definiii i teoreme de echivalen (cu n benzi, nedet, enumerator)
IV.) Teza Church-Turing
Problema a 10a a lui Hilbert i rezultatul lui MATIJASEVI
Descrirea de nivel nalt a TM
Lb Connex = { <G> | G = graf neorientat conex } este decidabil.
V.)
Problema acceptabilitatii
definitie, teoreme pentru REG, CFL, MT, ALM
VI.) Problema limbajului vid
definitie, teoreme pentru REG, CFL, MT, ALM
VII.) Problema echivalentei limbajelor
definitie, teoreme pentru REG, CFL, MT
VIII.) Problema opririi
relatia cu problema acceptabilitatii;
metode de demonstrare (diagonalizare, reductibilitate functionala)
teorema
IX.) 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
Corolar: ACCTM nu e Turing recunoscut
Teorema: EQMT nu este nici Turing nici co-Turing recunoscut
Relaia dintre clasele de limbaje (justificarea incluziunilor i a faptului c sunt stricte)
X.)
Decidabilitatea CFL
GIC, PDA, Lema de pompare; FN, Teoremele: LLIC => L = decidabil; LLIC
=> LP
XI.) 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)
Notaia asimptotic: definiii, proprieti
Teoremele privind complexitatea diferitelor modele de calculabilitate
XII.) 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, RELPRIME
/ HAMILTPATH, COMPOSITES, CLIQUE, SUBSET-SUM)
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)
XIII.) 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)
Observaie
Pentru fiecare subiect:
se vor enuna toate definiiile, lemele, propoziiile i teoremele
i se va face o singur demonstraie (la alegere, dar incluzand i dem. rezultatelor
anterioare utilizate, mai putin aducerea la CNF sau echivalenta automatelor i
gramaticilor) ).