Documentos de Académico
Documentos de Profesional
Documentos de Cultura
52
Clases de complejidad no deterministas
- L = L(M ).
- tM es O(t).
53
Clases de Complejidad no deterministas
Dado: alfabeto A.
54
Algunas propiedades de la clase NP
55
Teorema de Cook
Esto significa que existe una función f : {0, 1}∗ → {0, 1}∗ tal que:
Notación: f (w) = ϕw .
56
Teorema de Cook: Demostración
¿Qué sabemos de L?
Suponemos:
- M = (Q, {0, 1}, q0 , δ, F ), donde F = {qm } y no existe una transición
en δ para qm .
57
Teorema de Cook: Demostración
ϕw : es definida como ϕI ∧ ϕC ∧ ϕA ∧ ϕδ .
58
Teorema de Cook: Demostración
ϕI : Estado inicial.
−1 n−1 (n)
tM^
^ ^
c0,0 ∧ e0,q0 ∧ s0,p,B ∧ s0,p,ai ∧ s0,p,B .
p=−tM (n) p=0 p=n
59
Teorema de Cook: Demostración
tM (n) tM (n)
^ ^
(st,p,0 ∨st,p,1 ∨st,p,B )∧(st,p,0 → (¬st,p,1 ∧¬st,p,B )) ∧
t=0 p=−tM (n)
(st,p,1 → (¬st,p,0 ∧ ¬st,p,B )) ∧ (st,p,B → (¬st,p,0 ∧ ¬st,p,1 )) .
60
Teorema de Cook: Demostración
tM (n)
^ _ ^
(et,q ∧ ¬et,q0 ) .
t=0 q∈Q q 0 ∈(Q\{q})
tM (n) tM (n)
^ _ ^
(ct,p ∧ ¬ct,p0 ) .
t=0 p=−tM (n) p0 ∈([−tM (n),tM (n)]\{p})
61
Teorema de Cook: Demostración
tM (n)−1 tM (n)
^ ^
(¬ct,p ) → ((st,p,0 ∧ st+1,p,0 ) ∨
t=0 p=−tM (n)
(st,p,1 ∧ st+1,p,1 ) ∨ (st,p,B ∧ st+1,p,B )) .
62
Teorema de Cook: Demostración
ϕA : La máquina acepta w.
tM (n)
_
et,qm .
t=0
63
Teorema de Cook: Demostración
tM (n)−1 tM (n)−1
^ ^ ^
(et,q ∧ ct,p ∧ st,p,a ) →
t=0 p=−(tM (n)−1) (q,a)∈Q×{0,1,B}
_
(et+1,q0 ∧ ct+1,p+k ∧ st+1,p,a0 ) .
(q 0 ,a0 ,k) : (q,a,q 0 ,a0 ,k)∈δ
64