Cap tulo 1

M aquinas de Turing
1.1. Codicaci on y enumeraci on de MT

1. Es imposible codicar la siguiente m aquina de Turing M dada por la Tabla 1.1, con q1 estado inicial, q2 estado nal, R = Derecha y = Blanco. Cuadro 1.1: M aquina de Turing M. M q1 q2 1 (q1 , 1, R) 2 (q2 , 2, R)

a ) Verdadero b ) Falso 2. Sea M la m aquina de Turing codicada por 01010001010011000100100010010011000101000010100110001000100001000100, siguiendo el convenio de que X1 = 0, X2 = 1, X3 = = Blanco, D1 = L = Izquierda, D2 = R = Derecha, q1 el estado inicial, q2 el estado nal y que la codicaci on de (qi , Xj ) = (qk , Xl , Dm ) est a dada por 0i 10j 10k 10l 10m . Entonces se verica que M no acepta ning un lenguaje. a ) Verdadero b ) Falso 3. Sea M la m aquina de Turing codicada por 0101000101001100010010001001001100010100001010011000010001001000100, 1

CAP ITULO 1. MAQUINAS DE TURING siguiendo el convenio de que X1 = 0, X2 = 1, X3 = = Blanco, D1 = L = Izquierda, D2 = R = Derecha, q1 el estado inicial, q2 el estado nal y que la codicaci on de (qi , Xj ) = (qk , Xl , Dm ) est a dada por 0i 10j 10k 10l 10m . Entonces se verica que M no acepta ning un lenguaje. a ) Verdadero b ) Falso 4. Sea M la m aquina de Turing codicada por 0101010100110100100100100, siguiendo el convenio de que X1 = 0, X2 = 1, X3 = = Blanco, D1 = L = Izquierda, D2 = R = Derecha, q1 el estado inicial, q2 el estado nal y que la codicaci on de (qi , Xj ) = (qk , Xl , Dm ) est a dada por 0i 10j 10k 10l 10m . Entonces se verica que M no reconoce ning un lenguaje. a ) Verdadero b ) Falso

Cap tulo 2

Indecidibilidad
2.1. R y RE
a ) Verdadera b ) Falsa 2. Si L RE y L / RE , entonces L / R: a ) Verdadera b ) Falsa 3. Si P L y P indecidible, entonces L es indecidible: a ) Verdadera b ) Falsa 4. Si un lenguaje L es recursivo, entonces L es recursivo: a ) Verdadero b ) Falso

1. Si P se puede reducir a L y P es indecidible, entonces L es indecidible:

2.2.

Ld , Lu y otros lenguajes

1. Sea L un lenguaje, de forma que existe una reducci on desde Ld a L, entonces L: a ) Es recursivamente enumerable b ) No es recursivamente enumerable 2. Ld es el conjunto de todas las cadenas wi tales que: 3

4 a ) wi no forma parte de L(Mi ) b ) Mi acepta wi 3. Lu RE : a ) Verdadera b ) Falsa 4. Se verica que Lu RE : a ) Verdadera b ) Falsa

CAP ITULO 2. INDECIDIBILIDAD

2.3.

P CP y P CP M

1. Considere los siguientes pares de listas 1 x1 Entonces: a ) El P CP M tiene soluci on negativa y el P CP soluci on positiva b ) Tanto el P CP M como el P CP tienen soluci on negativa 2. Es posible que para una instancia en concreto del P CP se tenga que el P CP M asociado tenga soluci on negativa y , sin embargo, el P CP tenga soluci on positiva: a ) Verdadera b ) Falsa 3. Considere el Problema de la Correspondencia de Post (PCP) planteado sobre los siguientes dos pares (w1 , x1 ) = (10, 1) y (w2 , x2 ) = (110, 01): a ) no puede saberse si tiene respuesta armativa o negativa en este caso, porque es un problema indecidible b ) tiene soluci on negativa para esta instancia 4. Considere el Problema de la Correspondencia de Post (PCP) planteado sobre los siguientes cuatro pares (w1 , x1 ) = (ab, abab), (w2 , x2 ) = (b, a), (w3 , x3 ) = (aba, b)y (w4 , x4 ) = (aa, b): a ) tiene soluci on negativa, porque P CP es un problema indecidible b ) tiene soluci on positiva para esta instancia = = 1 10 2 x2 = = 10 10 3 x3 = = 01 0

Cap tulo 3

Intratabilidad
3.1. P , N P , N P -Completo y N P -Dif cil
a ) Verdadera b ) Falsa 2. Si hay alg un problema P1 que pertenece a P y a N P Completo, entonces P = NP: a ) Verdadera b ) Falsa 3. La clase P es cerrada respecto a la complementaci on: a ) Verdadera b ) Falsa 4. No existen problemas que sean a la vez N P y co N P : a ) Verdadera b ) Falsa

1. Si P fuera igual a N P entonces co N P ser a igual a N P :

3.2.

SAT , CSAT y 3SAT

a ) Verdadera b ) Falsa

1. La expresi on booleana (x y ) (y z ) (x y ) pertenece a 2SAT :

2. La cl ausula e = x1 x2 se puede extender a una expresi on equivalente F N C 3: 5

6 a ) Verdadera b ) Falsa

CAP ITULO 3. INTRATABILIDAD

3. La expresi on E = x (x y ) y admite una u nica asignaci on de verdad que la hace satisfacible: a ) Verdadera b ) Falsa 4. Si una expresi on booleana es satisfacible, entonces necesariamente s olo puede haber una asignaci on de verdad: a ) Verdadera b ) Falsa