Faviola Contreras lvarez

Lic. En Ing. En Computacin

5to semestre Teora de la computacin

Complejidad computacional Existen diversas formas de medir la complejidad de un algoritmo. La complejidad se mide en funcin del tamao de la entrada. La complejidad temporal se refiere al tiempo que se demora en ejecutarse un algoritmo, la complejidad espacial se refiere a la cantidad de memoria que ocupa un algoritmo. La complejidad computacional se clasifica en tres clases; P NP y NPC. Clase SL: En teora de la complejidad computacional, la clase de complejidad SL (espacio logartmico simtrico, del ingls Symmetric Logspace o Sym-L) es el conjunto de losproblemas de decisin que pueden ser resueltos por una mquina de Turing no determinista en espacio log(n) (sin contar el tamao de la entrada). En 2004 se demostr que esta clase de complejidad es equivalente a L. Complejidad L: la clase de complejidad L (LSPACE oespacio logartmico determinista) es el conjunto de los problemas de decisin que pueden ser resueltos en espacio log(n) (sin contar el tamao de la entrada), donde n es el tamao de la entrada, por una mquina de Turing determinista tal que la solucin si existe es nica. La clase L est contenida en NL y est contenida estrictamente enPSPACE. Como NL tambin est contenida estrictamente en PSPACE, se concluye que en la relacin Clase P: La clase P consiste en aquellos problemas que son solucionables en tiempo polinomial. Existen muchos problemas que pertenecen a la clase P. Una generalizacin de P es NP, que es la clase de lenguajes decidibles en tiempo polinmico sobre una mquina de Turing no determinista. De forma trivial, tenemos que P es un subconjunto de NP. Aunque no est demostrado, la mayor parte de los expertos creen que esto es un subconjunto estricto. Clase NP: La clase NP es aquella cuyos problemas son verificables en tiempo polinomial. Lo que se quiere decir es que si se tuviera alguna clase de certificado de una solucin, entonces, es posible verificar en tiempo polinomial que el certificado es correcto, respecto al tamao de la entrada. La clase NPC Clase NPC: Informalmente, la clase NPC (que llamaremos la clase NP-Completo) se compone de todos los problemas que son tan fciles (o difciles) como todos los dems que pertenecen a esta misma clase.

Faviola Contreras lvarez

Lic. En Ing. En Computacin

5to semestre Teora de la computacin

Ejemplo El lenguaje L = {an.bn.cn|n 0} E P (se puede resolver en tiempo polinomico en una mquina de Turing determinista). Dada una entrada correcta w = ajbjcj, de longitud 3j, la mquina de Turing repetir el bucle (q0,q1,q2,q3,q0) a lo ms j veces, y a continuacin seguir ejecutndose por PI, P2 Y qF. El coste en tiempo de dicha ejecucin ser: En cada iteracion del bucle, en el peor caso recorrer toda la cadena de entrada hacia la derecha y de nuevo hacia la izquierda, por 10 que el nmero mximo de pasos ser 6j. Dado que el bucle se ejecuta como mucho j veces, el lmite superior del coste de ejecucin del bucle es O(j2). En el estado PI se desplaza sobre las b convertidas en y, por lo que deber ejecutar O(j) pasos. En el estado P2 se desplaza sobre las c convertidas en z, por lo que de nuevo ejecutara O(j) pasos. En el paso de P2 a qF ejecuta un paso. Ante una entrada incorrecta, la mquina de Turing detecta que no est bien formada antes de llegar al final de la ejecuci6n (antes de llegar a qF), por lo que el tiempo de ejecucin ser menor que en el caso de las entradas bien formadas. Por 10 tanto, el nmero de pasos realizados por esta mquina de Turing para resolver el problema, ante una entrada de longitud n, ser O(n2). Como existe al menos una mquina de Turing determinista que acepta L, cuyo tiempo de ejecucin viene acotado por un polinomio, L pertenece a la clase de problemas P. . Conclusin
Las computadoras resuelven problemas mediante algoritmos que tienen como mximo una complejidad o coste computacional polinmico, es decir, la relacin entre el tamao del problema y su tiempo de ejecucin es polinmica. stos son problemas agrupados en la clase P. Los problemas que no pueden ser resueltos por nuestras computadoras que en general poseen costes factorial o combinatorio pero que podran ser procesados por una mquina no-determinista, estn agrupados en la clase NP. Estos problemas no tienen una solucin prctica, es decir, una mquina determinstica no puede resolverlos en un tiempo razonable.

*Bibliografia http://ocw.univalle.edu.co/ocw/ingenieria-de-sistemas-telematica-yafines/complejidad-y-optimizacion/material-1/np-introduccion.pdf Libro: Teora de Automatas, Lenguajes Formales y Gramticas David Castro Esteban Introduccin a la teora de la computabilidad Algoritmos y mquinas HANS HERMES