Muchos expertos creen que la conjetura es cierta y la utilizan en sus resultados. Mi preocupación es que la complejidad depende en gran medida de la conjetura P ≠ N P.
Entonces mi pregunta es:
Mientras no se pruebe la conjetura , ¿se puede / se debe considerar como una ley de la naturaleza, como se indica en la cita de Strassen? ¿O deberíamos tratarlo como una conjetura matemática que tal vez haya sido probada o refutada algún día?
Citar:
"La evidencia a favor de las hipótesis de Cook y Valiant es tan abrumadora, y las consecuencias de su fracaso son tan grotescas, que su estado tal vez se pueda comparar con el de las leyes físicas en lugar de con las conjeturas matemáticas ordinarias".
[La alabanza de Volker Strassen al ganador del Premio Nevanlinna, Leslie G. Valian, en 1986]
Hago esta pregunta al leer la publicación ¿ Resultados de física en TCS? . Quizás sea interesante notar que la complejidad computacional tiene algunas similitudes con la física (teórica): muchos resultados de complejidad importantes se han demostrado asumiendo , mientras que en la física teórica los resultados se prueban asumiendo algunas leyes físicas . En este sentido, puede considerarse algo así como E = m c 2 . Volver a los resultados de física en TCS? :
¿Podría (parte de) TCS ser una rama de las ciencias naturales?
Aclaración:
(véase la respuesta de Suresh a continuación)
¿Es legítimo decir que la conjetura en la teoría de la complejidad es tan fundamental como las leyes físicas en la física teórica (como dijo Strassen)?