#56 No he visto el comentario hasta ahora, imagino que ya no lo leerás pero respondo de todas maneras
Te pongo un diagrama de Venn donde verás bien como quedan los conjuntos con ambas hipótesis:
http://es.wikipedia.org/wiki/Archivo:P_np_np-completo_np-hard.svg
El caso es que aunque P=NP, seguiría existiendo problemas que no estarían en P.
Además, el segundo párrafo de #35 tampoco convence, donde dices que los informáticos nos conformamos con encontrar un camino subóptimo y para ello resolvemos un problema que está fuera del conjunto NP.
Como dije en #35 llegar a este tipo de compromiso tiempo/calidad-solución nos ocurre tanto a humanos como a la propia naturaleza en sus soluciones. Y no sólo en este problema del viajante de comercio, en muchísimos otros.
No sé si eres informático universitario (no lo digo por discriminar a nadie, pero en otros niveles educativos de la informática no se suele estudiar teoría de la computación), te lo digo, porque a este tipo de soluciones se les llama heurísticas y es mucho más común de lo que tú crees.
Resolver hasta el óptimo el problema del viajante de comercio para 2000 ciudades aproximadamente pueden ser meses o años de computación. Si tienes un sistema crítico donde necesitas una solución en escasos segundos, no tienes más remedio que usar alguna técnica heurística.
La naturaleza lo hace, una colmena de abejas no se puede permitir el lujo de tardas tanto tiempo en encontrar alimento. Aplican su propio heurístico y que nosotros hemos copiado: "heurístico de la colonia de insectos". O si tu trabajas en una empresa de reparto qué haces: echas un vistazo al mapa y construyes tu propia solución (los humanos somos buenos en esto) o te sientas en una mesa con papel y bolígrafo y te pones a calcular la solución.
#52
???
No me entero (y además no veo esas líneas en el enlace que pones)...
Premisas:
NP es el conjunto de problemas que se pueden resolver en tiempo polinomial en una máquina no determinista
NP-completo es el conjunto de los problemas más difíciles de resolver del conjunto NP.
P es el conjunto de problemas que pueden ser resueltos en tiempo polinomial por una máquina determinística. No se sabe con seguridad todavía si P es un subconjunto propio de NP, pero se cree que sí.
Entonces,
como el conjunto NP-completo es un subconjunto de NP, si se llega a demostrar que el conjunto P es igual al conjunto NP -> eso quiere decir que el conjunto NP-completo también sería un subconjunto de P.
Otra cosa distinta sería que se demostrara que P = (NP - NP-completo)
¿Qué opinas?
Además, el segundo párrafo de #35 tampoco convence, donde dices que los informáticos nos conformamos con encontrar un camino subóptimo y para ello resolvemos un problema que está fuera del conjunto NP.