Araceli

Sanchis de Miguel
Agapito Ledezma Espino
Jos A. Iglesias Mar<nez
Beatriz Garca Jimnez
Juan Manuel Alonso Weber

Grado Ingeniera InformDca

Teora de Autmatas y Lenguajes Formales

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

8. Complejidad
Computacional

Clasi8icacin de los
Problemas de Decisin.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad
y Computabilidad.

 En la Teora de la Computacin, los tres siguientes reas:

Autmata,
Complejidad y
Computacin

estn relacionados por la siguiente pregunta:

Cules son las capacidades y limitaciones de los ordenadores?

Sin embargo, esta pregunta se interpreta de forma diferente

en cada una de las 3 reas.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad y Computabilidad

Teora de Autmatas:
Se encarga de las deniciones y propiedades de los modelos
matemDcos de computacin (esenciales en reas aplicadas de
la informDca).
Uno de estos modelos son los Autmatas Finitos, uDlizados en:
Procesamiento de textos
Compiladores
Diseo Hardware.

Otro modelo son las GramDcas Libres de Contexto, usadas en:

Lenguajes de programacin
Inteligencia ArDcial.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad y Computabilidad

Teora de la Complejidad:
Se basa en tratar de dar respuesta a la siguiente pregunta:
Qu hace a algunos problemas computacionalmente di:ciles y a
otros sencillos?

Tiene como nalidad la creacin de mecanismos y herramientas

capaces de describir y analizar la complejidad de un algoritmo y
la complejidad intrnseca de un problema.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad y Computabilidad

Teora de la Computabilidad:
Est muy relacionado con la teora de la Complejidad, ya que
introduce varios de los conceptos que esta rea uDliza.
Su nalidad principal es la clasicacin de diferentes problemas,
as como formalizar el concepto de computar.
As, estudia qu lenguajes son decidibles con diferentes Dpos de
mquinas y diferentes modelos formales de computacin.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad y Computabilidad

 Estudia el orden de complejidad de un algoritmo que resuelve

un problema decidible.

Para ello, considera los 2 Dpos de recursos requeridos durante
el cmputo para resolver un problema:
Tiempo: Nmero de pasos base de ejecucin de un algoritmo para
resolver un problema.
Espacio: CanDdad de memoria uDlizada para resolver un problema.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Complejidad Computacional

 La complejidad de un algoritmo se expresa como funcin del

tamao de la entrada del problema, n.
Se reere al raDo de crecimiento de los recursos con respecto a n:
RaDo del Tiempo de ejecucin (Temporal): T(n).
RaDo del espacio de almacenamiento necesario (Espacial): S(n).

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Complejidad Computacional

Clasi8icacin de los
Problemas de Decisin.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Autmatas, Complejidad
y Computabilidad.

 En base a dos criterios:

Teora de la Computabilidad
Decidible.
Parcialmente Decidible (reconocible).
No Decidible.

Teora de la Complejidad Computacional

Conjuntos de Clase de Complejidad (Clase L, NL, P, P-Completo, NP, NP-
Completo, NP-Duro).
Un problema de decisin es aquel
en el que en el que las respuestas
posibles son Si o No

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

10

Considerando la Teora de la Computabilidad un problema de

decisin podr ser:

Decidible (o resoluble algortmicamente):

Si existe un procedimiento mecnico (MT) que lo resuelva.
Adems, la MT debe detenerse para cualquier entrada.

Parcialmente Decidible (Reconocible):

Si existe un procedimiento mecnico (MT) que lo resuelva.
Adems, la MT debe detenerse para aquellas entradas que son una
solucin correcta al problema.

No Decidible
Si NO es decidible

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

11

Considerando la Teora de la Complejidad Computacional un problema

de decisin podr ser:
Conjuntos de Clase de Complejidad (Clase L, NL, P, P-Completo, NP,
NP-Completo, NP-Duro).
En este caso, nos
centraremos nicamente en
Sin embargo, para esta disDncin es necesario
considerar el
los problemas denominados
modelo terico de las Mquinas de Turing.
Clase P , NP y NP-Completo.

Adems, debemos disDnguir entre:

MT Determinista (Para cada par (estado, smbolo), existe
como mximo una transicin a otro estado).
MT No Determinista (Existe al menos un par (estado,
smbolo), con ms de una transicin a estados diferentes).

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

12

Considerando la Teora de la Complejidad Computacional un problema

de decisin podr ser:
Clase P (Polynomial-Dme)
ConDene aquellos problemas de decisin que una MT Determinista
puede resolver en Bempo polinmico.
Los problemas de complejidad polinmica son tratables, es decir en la prcDca
se pueden resolverse en Dempo razonable.
La mayora de los problemas corrientes (ordenacin, bsqueda) pertenecen a
esta clase.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

13

Considerando la Teora de la Complejidad Computacional un problema

de decisin podr ser:
Clase NP (Non-DeterminisDc Polynomial-Dme)
ConDene aquellos problemas de decisin que una MT No
Determinista puede resolver en Bempo polinmico.
Como toda MTD es
un caso parDcular de
una MTND:

P NP

Clase NP

Clase P

Saber si P=NP o PNP es todava un problema abierto en

computacin terica!!
Tan importante es demostrar que estas clases son disDntas,
que es uno de los problemas premiados con 1.000.000 $.



hmp://www.claymath.org/millennium/P_vs_NP/

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

14

Considerando la Teora de la Complejidad Computacional un problema

de decisin podr ser:
Clase NP-Completo
Un problemas de decisin es NP-Completo sii:
Es NP
Todos los dems problemas de NP se pueden se pueden reducir a l en
Dempo polinmico.

Reducir de un problema:
Es una manera de converDr un problema en otro de
tal forma que la solucin al segundo problema se
puede uDlizar para resolver el primero.

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Clasi8icacin de Problemas de decisin

15

Araceli Sanchis de Miguel

Agapito Ledezma Espino
Jos A. Iglesias Mar<nez
Beatriz Garca Jimnez
Juan Manuel Alonso Weber

Grado Ingeniera InformDca

Teora de Autmatas y Lenguajes Formales

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

8. Complejidad
Computacional