COMPLEJIDAD COMPUTACIONAL

COMPLETA LOS SIGUIENTES EJERCICIOS

CITA LAS CLASES DE COMPLEJIDAD INDETERMINISTAS

DEFINE LA NOCION EQUIVALENTE DE MAQUINA DE TURING INDETERMINISTA

Una máquina de Turing adivinatoria es una máquina de Turing determinista M que,

inmediatamente después de recibir la entrada x ∈ Σ ∗ (donde Σ es el alfabeto de la
máquina) “adivina” de forma indeterminista una palabra y ∈ Σ ∗ que escribe a
continuación de una copia de x en la primera cinta de trabajo, y después inicia la
computación normalmente (de forma determinista) utilizando dicha primera cinta de
trabajo como cinta de entrada, con lo que equivale a ejecutar la misma máquina
determinista sin el proceso de adivinación sobre la entrada x y ∈ Σ ∗

CUAL ES LA DEFINICION DE LA MAQUINA DE TURING CON ORACULO

Una máquina de Turing con oráculo O ∈ Σ ∗ es una máquina de Turing (determinista o

indeterminista) sobre el alfabeto Σ y con espacio de estados Q dotada de una cinta
especial de lectura-escritura, llamada cinta del oráculo, y de tres estados especiales
qcons,qsí ,qno ∈ Q, de forma que, en cualquier paso de cálculo, si la máquina accede al
estado qcons entonces lee (en un solo paso) el contenido de la cinta del oráculo ω ∈ Σ
∗ y cambia al estado qsí o qno según ω ∈ O o no, continuando después la computación.

DEFINE LOS CONCEPTOS DE COMPLEJIDAD DE TIEMPO

Sea M una máquina de Turing sobre el alfabeto Σ. Para cada palabra x ∈ P(M) ⊆ Σ ∗ ,
llamaremos tiempo de cálculo de la máquina M sobre la entrada x al número de pasos
de cálculo que realiza sobre I(x) hasta alcanzar alguna configuración final. Denotamos
esta función por tM (x) : P(M) −→ N.
Sea M una máquina de Turing. Se define la función de tiempo TM (n) : N −→ N por TM
(n) := max{ ´ tM (x) : x ∈ P(M), |x| ≤ n}. Diremos que la máquina M funciona en tiempo
TM (o en tiempo TM (n), para enfatizar la dependencia de la longitud de la entrada).

DEFINE LAS CLASES DE COMPLEJIDAD DETERMINISTAS

Una clase de complejidad C es un conjunto de problemas que pueden ser resueltos
(por una máquina de Turing, sobre la que en ocasiones se imponen diversas
condiciones) utilizando recursos limitados por una cota dada.

Una clase de complejidad de lenguajes es un conjunto de lenguajes cuyos

correspondientes problemas decisionales están en una clase de complejidad C.
Denotaremos a esta clase de complejidad de lenguajes también por C.
CITA Y DESCRIBE LAS FORMAS PARA RESOLVER UN PROBLEMA NP

CUALES SON LAS OTRAS VARIANTES DE LA MAQUINA DE TURING (ejemplos y

descripción de cada una)