Lo único seguro es que muchos matemáticos e informáticos estarán muy contentos.
La forma “más débil” de una prueba simplemente probaría la declaración, sin proporcionar ningún tipo de correspondencia entre P y NP. Dado un algoritmo en NP, sabríamos que hay un algoritmo correspondiente en P, pero una prueba no necesita darnos ningún detalle de cómo encontrarlo.
Incluso si una prueba nos proporcionara esos detalles, podría no ayudarnos a realizar tareas computacionales de manera más eficiente. Un algoritmo puede estar en P, pero aún puede ser computablemente intratable: por ejemplo, si algo es O (N ^ 2 ^ 64).
- ¿Cómo funciona el spinoff académico?
- Estoy en la clase 12. Quiero hacer algunos trámites o investigar en informática. Quizás pequeño. Sé python y C ++. ¿Qué tengo que hacer?
- ¿En qué áreas de investigación es fuerte el departamento de CS de USC?
- ¿Cuáles son algunos posibles temas de investigación en neurociencia computacional que se centran en datos neuronales?
- ¿Qué hacen los investigadores de seguridad informática?
Una prueba constructiva de P = NP, una que nos muestra cómo convertir algoritmos en NP a algoritmos manejables en P, sería un resultado muy sorprendente con algunas ramificaciones bastante enormes para cosas como el cifrado. Algunos autores de ciencia ficción han conjeturado (no del todo en serio) que tal prueba podría conducir a una singularidad tecnológica inmediata. Ver el cuento de Charles Stross “Anticuerpos”. http://www.antipope.org/charlie/…