Vous êtes sur la page 1sur 4

Teora sobre la Complejidad

La complejidad es la cualidad de lo que est compuesto de diversos elementos. En trminos generales, la complejidad tiende a ser utilizada para caracterizar algo con muchas partes que forman un conjunto intrincado. El agregado del prefijo com aade el sentido de la dualidad de dos elementos opuestos que se enlazan ntimamente, pero sin anular su dualidad. La complejidad y sus implicaciones son las bases del denominado pensamiento complejo de Edgar Morin. El ve el mundo como un todo indisociable y propone abordar de manera multidisciplinar y multirreferenciada para la construccin del pensamiento, contraponindose a la causalidad para abordar fenmenos como una totalidad orgnica.

Problemas de decisin
La mayor parte de los problemas en teora de la complejidad tienen que ver con los problemas de decisin, que corresponden a poder dar una respuesta positiva o negativa a un problema dado. Los problemas de decisin son importantes porque casi todo problema puede ser transformado en un problema de decisin En teora de la complejidad, generalmente se distingue entre soluciones positivas o negativas Por ejemplo, el conjunto P se define como el conjunto de los problemas en donde las respuestas positivas pueden ser verificadas muy rpidamente (es decir, en tiempo polinmico). El conjunto Co-P es el conjunto de problemas donde las

respuestas negativas pueden ser verificadas rpidamente. El prefijo "Co" abrevia "complemento". El complemento de un problema es aquel en donde las respuestas positivas y negativas estn intercambiadas, como entre ES-COMPUESTO y ESPRIMO. Un resultado importante en teora de la complejidad es el hecho de que independientemente de la dificultad de un problema (es decir de cuntos recursos de espacio y tiempo necesita), siempre habr problemas ms difciles. Esto lo determina en el caso de los costes en tiempo el teorema de la jerarqua temporal. De ste se deriva tambin un teorema similar con respecto al espacio. Un resultado importante en teora de la complejidad es el hecho de que independientemente de la dificultad de un problema (es decir de cuntos recursos de espacio y tiempo necesita), siempre habr problemas ms difciles. Esto lo determina en el caso de los costes en tiempo el teorema de la jerarqua temporal. De ste se deriva tambin un teorema similar con respecto al espacio.

Clases de complejidad
Los problemas de decisin se clasifican en conjuntos de complejidad comparable llamados clases de complejidad. La clase de complejidad P es el conjunto de los problemas de decisin que pueden ser resueltos en una mquina determinista en tiempo polinmico, lo que corresponde intuitivamente a problemas que pueden ser resueltos an en el peor de sus casos. La clase de complejidad NP es el conjunto de los problemas de decisin que pueden ser resueltos por una mquina no determinista en tiempo polinmico. Esta clase contiene muchos problemas que se desean resolver en la prctica, incluyendo el problema de satisfacibilidad booleana y el problema del viajante, un camino Hamiltoniano para recorrer todos los vrtices una sola vez. Todos los problemas de esta clase tienen la propiedad de que su solucin puede ser verificada efectivamente

La pregunta P=NP
El saber si las clases P y NP son iguales es el ms importante problema abierto en Computacin terica. Incluso hay un premio de un milln de dlares para quien lo resuelva. Preguntas como sta motivan la introduccin de los conceptos de hard (difcil) y completo. Un conjunto X de problemas es hard con respecto a un conjunto de problemas Y ( 'Y' pertenecientes a NP) si X>Y o X=Y, es decir Y se puede escribir como un conjunto de soluciones de los problemas X. En palabras simples, Y es "ms sencillo" que X. El trmino sencillo se define precisamente en cada caso. El conjunto hard ms importante es NP-hard. El conjunto X es completo para Y si es hard para Y y es tambin un subconjunto de Y (caso X=Y). El conjunto completo ms importante es NP-completo. En otras palabras, los problemas del conjunto NPcompleto tienen la caracterstica de que, si se llega a encontrar una solucin en tiempo P para algn miembro del conjunto (cualquiera de los problemas de NPcompleto), entonces de hecho existe una solucin en tiempo P para todos los problemas de NP-completo.

Problemas incompletos en NP
Otra pregunta abierta relacionada con el problema P = NP es si existen problemas que estn en NP, pero no en P, que no sean NP-Completos. En otras palabras, problemas que tengan que ser resueltos en tiempo polinomial nodeterminista, pero que no puedan ser reducidos a tiempo polinomial desde otros problemas con tiempo polinomial no-determinista. Uno de tales problemas que se sabe que es NP pero no se sabe si es NP-completo, es el problema de isomorfismo de grafos, un algoritmo que decide si dos grafos son isomorfos (por ejemplo: comparten las mismas propiedades). Se ha demostrado que si P NP entonces dicho algoritmo existe.

Intratabilidad
Los problemas que pueden ser resueltos en teora, pero no en prctica, se llaman intratables. Qu se puede y qu no en la prctica es un tema debatible, pero en general slo los problemas que tienen soluciones de tiempos polinomiales son solubles para ms que unos cuantos valores. Entre los problemas intratables se incluyen los de EXPTIME-completo. Si NP no es igual a P, entonces todos los problemas de NP-completo son tambin intratables. Para ver por qu las soluciones de tiempo exponencial no son tiles en la prctica, se puede considerar un problema que requiera 2n operaciones para su resolucin (n es el tamao de la fuente de informacin). Para una fuente de informacin relativamente pequea, n=100, y asumiendo que una computadora puede llevar a cabo 1010 (10 giga) operaciones por segundo, una solucin llevara cerca de 4*1012 aos para completarse, mucho ms tiempo que la actual edad del universo.