Академический Документы
Профессиональный Документы
Культура Документы
Como ejemplo de un problema NP-completo encontramos el problema de la suma de subconjuntos que se pued
enunciar como sigue: dado un conjunto S de enteros, existe un subconjunto no vaco de S cuyos elementos sume
cero? Es fcil verificar si una respuesta es correcta, pero no se conoce mejor solucin que explorar todos los 2 nsubconjuntos posibles hasta encontrar uno que cumpla con la condicin.
La importancia de esta clase de problemas de decisin es que contiene muchos problemas de bsqueda y d
optimizacin para los que se desea saber si existe una cierta solucin o si existe una mejor solucin que las conocidas.
En esta clase estn el problema del viajante (tambin llamado "(problema del agente de ventas" o "problema de
agente viajero") donde se quiere saber si existe una ruta ptima que pasa por todos los nodos en un cierto grafo y e
problema de satisfacibilidad booleana en donde se desea saber si una cierta frmula de lgica proposicional puede se
cierta para algn conjunto de valores booleanos para las variables.
Dada su importancia, se han hecho muchos esfuerzos para encontrar algoritmos que decidan algn problema de NP e
tiempo polinmico. Sin embargo, pareciera que para algunos problemas de NP (los del conjunto NP-completo) no e
posible encontrar un algoritmo mejor que simplemente realizar una bsqueda exhaustiva.
En el artculo de 2002, Manindra Agrawal con sus estudiantes encontr un algoritmo que trabaja en tiempo polinmic
para el problema de saber si un nmero es primo. Anteriormente se saba que ese problema estaba en NP, si bien n
en NP-completo, ahora se sabe que tambin est en P.
Definicin de NP completo:
Un problema de decisin C es NP-completo si:
-Si C es un problema de NP, y todo problema de NP se puede
transformar polinmicamente en C.
Se puede demostrar que C es NP demostrando que un candidato a
solucin de C puede ser verificado en tiempo polinmico.
Una transformacin polinmica de L en C es un algoritmo
determinista que transforma instancias de L en instancias de C, tales
que la respuesta a C es positiva si y slo si la respuesta a L lo es
Como secuencia de esta definicin, de tenerse un algoritmo
en P para C, se tendra una solucin en P para todos los
problemas de NP.