Eso ni siquiera es difícil, ya que todo lo que tiene que hacer es determinar si cada lenguaje aceptado por algún algoritmo no determinista en tiempo polinómico también es aceptado por algún algoritmo determinista en tiempo polinómico.
Leí sobre este problema y me pregunté por qué aún no se ha resuelto. Realmente no es tan difícil como parece. De hecho, tengo una prueba de que P ≠ NP, pero no tengo tiempo para anotarlo.
Pregúntele a cualquier matemático digno e inteligente y él podrá decirle que este problema es realmente básico. De hecho, he escrito algunas pruebas mucho más difíciles que esta (toma un botín en mi disertación).
- ¿Para qué se utiliza una serie de Fourier?
- ¿Cómo puede la informática teórica informar el estudio del origen de la vida?
- ¿Cuál es una forma simple o intuitiva de entender por qué todos los números aleatorios son normales (Teorema de Borel)?
- ¿Los ingenieros de software necesitan saber matemáticas?
- ¿Cuál es el enfoque algorítmico para encontrar el área rectangular máxima en un histograma?
En resumen, la razón por la cual este problema aún no se ha resuelto es porque las mentes geniales, que son capaces de resolverlo, dedican tiempo a algo mejor. Yo, por ejemplo, dedico mucho de mi tiempo a obtener nuevos doctorados en temas diferentes entre sí.
Ahora a la pregunta: “¿cómo lo resuelvo?”. En primer lugar, si tiene que pedir ayuda, probablemente no podrá hacerlo. Pero si realmente quieres triunfar, te sugiero que comiences leyendo esto: http://cs.brown.edu/courses/gs01…, la prueba de que IP = PSPACE.
Espero que mi respuesta haya ayudado
Dr. John McCartney
