El estado de P contra el problema NP

P vs NP se plantea como el problema principal y de ms importancia de las ciencias de la computacin, engloba bsicamente que para determinados problemas es mejor hacer una bsqueda con pruebas por fuerza bruta o usar el algoritmo ms obvio como la mejor opcin. Todo comenz cuando Procedures" en Steve Cook present "The Complexity of Theorem Proving

1971 y con ello el poder computacional se ha incrementado desde

entonces, el costo de la computacin ha disminuido drsticamente y la Ciencia de la Computacin se ha convertido en una herramienta estndar en casi todos los mbitos acadmicos tales como la biologa, qumica, fsica, economa y otros se dedican a gran escala de modelos computacionales, simulaciones y resolucin de problemas. La clave estaba en resolver los problemas ms grandes y complejos con una mayor potencia de clculo y con los algoritmos ms inteligentes y aquellos problemas a los cuales no se podan hacer frente comenzaban a destacarse del resto. La teora de NP-completo nos ayuda a entender las limitaciones y el problema de P contra NP comienza a vislumbrarse no slo como una pregunta interesante terica en ciencias de la computacin, sino como un principio bsico que impregna todas las ciencias. Los tipos de problemas que se pueden solucionar de forma eficiente son conocidos como problemas tipo P (Tiempo Polinmico determinstico), aquellos que tienen una solucin potencial y soluciones eficientemente verificables son llamados de tipo NP(tiempo polinomial no determinista), Por lo tanto P = NP significa que por cada problema que tiene una solucin eficiente verificable, podemos encontrar que la solucin ms eficiente tambin. Llamamos a los problemas ms difciles de NP como "NP-completo", es decir, dado un algoritmo eficiente para uno de ellos, podemos encontrar un algoritmo eficiente para todos ellos y, de hecho, cualquier problema en NP.

P vs NP en trminos computacionales se refiere a cotas inferiores de problemas NPcompletos. La conjetura es que para estos problemas no existe un mejor algoritmo que el de fuerza bruta osea: NP_Completo=(P vs NP)

La mayora de los cientficos de la computacin llegaron a creer que P NP y tratando de demostrar se convirti rpidamente en la cuestin ms importante de toda la ciencia de la computacin terica y una de las ms importantes de toda la matemtica. Mientras que los computadores eran ms econmicos y ms potentes en capacidad de procesamiento y almacenamiento, la computacin comenz a jugar un papel importante en casi todos los campos acadmico y especialmente en las ciencias.

Si P=NP

todo va a ser mucho ms eficiente. El transporte de todas las formas se

programar de forma ptima para trasladar personas y mercancas en todo rpido y ms barato. Los fabricantes pueden mejorar su produccin para aumentar la velocidad y generan menos residuos. Y slo estoy araando la superficie. Reconocimiento de una visin perfecta, la comprensin del lenguaje y la traduccin y todas las otras tareas de aprendizaje se convierten en triviales. Tambin tendremos mucho mejores predicciones del clima y los terremotos y otros fenmenos naturales. P=NP tambin tendra grandes implicaciones en las matemticas. Uno podra encontrar pruebas cortas, totalmente lgicas para los teoremas, pero estas pruebas suelen ser muy larga.

Si P!=NP en el campo de la Criptografa por ejemplo damos por sentado en estos das, la pequea llave o candado en nuestra pgina web que nos dice que alguien que escucha a la red no va a obtener el nmero de tarjeta de crdito que acaba de enviar a una tienda online o la contrasea para el banco que controla mi dinero. Sin embargo, criptografa de clave pblica, la capacidad de enviar mensajes seguros entre dos partes que no se intercambian las claves privadas, es un fenmeno relativamente nuevo, basado en supuestos de dureza de problemas de clculo. Es interesante observar aspectos que van mas all del articulo y son las implicaciones que tiene en el campo de la filosofa, la fsica como nuestra realidad es computable, desde la evolucin de los seres vivos hasta la

creacin de las galaxias. Todo es visto como un proceso que dado una entrada genera un salida (El efecto Caja Negra). Existen tambin afirmaciones mas excntricas de si PNP entonces no es posible viajar en el tiempo, o la imposibilidad de movernos ms rpido que la luz, y otras conexiones ms extraas.

Para concluir se pude decir P contra NP no solo se hace mencin a problemas que solo interesan al rea de la computacin sino tambin a problemas importantes de otras ciencias, inclusive podra decirse que es una de las preguntas ms fundamentales de las matemticas, y es que a ciencia cierta ninguno de nosotros entiende realmente el problema P versus NP, slo se ha comenzado a escalar niveles en torno a esta cuestin cada vez ms compleja. Tal vez veremos una resolucin del problema de P versus NP en el futuro cercano, y mientras tanto este problema sigue inspirando las mentes y la continua exploracin de este problema nos llevar a nuevas complejidades de ese proceso verdaderamente misterioso que llamamos la computacin. Fuentes:
Technology Review http://www.technologyreview.es/read_article.aspx?id=36497 Clay Mathematics Institute http://www.claymath.org/millennium/P_vs_NP/ Lance Fortnowm, El estado del problema P versus NP -Communications of the ACM Vol.52 N 9, pginas 78-86

OSCAR MAESTRE SANMIGUEL Anlisis y diseo de algoritmos