El pedigrí importa. P y NP son clases computacionales que han sido reconocidas desde que la teoría de la complejidad comenzó a formalizarse. Era casi seguro el primer par de clases de complejidad cuya propiedad de contención adecuada no se estableció rápidamente.
Relatabilidad Los problemas en P son los que resolvemos en la vida diaria. Las soluciones a los problemas en NP son las que podemos verificar que son correctas cuando las vemos. La trazabilidad de estas preguntas las hace intrínsecamente interesantes de resolver.
Valor. Una solución positiva a esta pregunta podría ser constructiva y, por lo tanto, permitir el desarrollo de tecnologías y empresas para mejorar nuestras soluciones a muchos problemas del mundo real. Una solución negativa probablemente implicará una técnica de prueba novedosa, o una combinación novedosa de técnicas conocidas que nos permitirán atacar otros problemas.
- ¿Cómo evitan los programas de aprendizaje automático / IA la trampa de quedar encerrados en una forma de hacer algo una vez que han encontrado un método exitoso para completar una tarea? ¿Pueden calcular otras soluciones competidoras en paralelo?
- ¿Cuáles son algunas de las áreas en ciencias de la computación que involucran una buena cantidad de matemáticas y también tienen aplicaciones industriales?
- ¿Qué es lo contrario de una máquina de Turing? ¿Existe una máquina teórica que ya esté configurada para calcular algún algoritmo de la manera más directa?
- ¿Qué tipo de matemática se usa en la programación de computación paralela?
- ¿Es la matemática el lenguaje más difícil de entender?
Filosofía. Las preguntas sobre lo que se puede saber están muy ligadas al problema P vs. NP. Una solución en cualquier dirección contribuiría a aclarar los límites del problema.