¿Se puede reformular el problema P vs NP como el siguiente: una secuencia de operaciones de longitud exponencial siempre se puede reducir a una polinómica?

No.

En primer lugar, algunos algoritmos son inherentemente exponenciales: un número exponencial de pasos realizados por un algoritmo de este tipo no puede reducirse a un número polinómico de pasos. Un ejemplo simple es una máquina de Turing que, dado un número entero [math] n [/ math] escrito en notación unaria, escribe [math] 2 ^ n [/ math] en notación unaria en su cinta. La secuencia de pasos necesarios para escribir este número es necesariamente exponencial en el tamaño de la entrada.

En segundo lugar, aunque no sabemos si [math] \ mathrm {P} = \ mathrm {NP} [/ math], sabemos que [math] \ mathrm {EXPTIME} \ neq \ mathrm {P} [/ math]. Por lo tanto, hay problemas de decisión en [math] \ mathrm {EXPTIME} [/ math] que ninguna máquina de Turing de tiempo polinómico puede resolver. Todos los problemas completos de [math] \ mathrm {EXPTIME} [/ math] tienen esta propiedad.

No exactamente. Es más como “Si puede verificar una respuesta en tiempo polinómico, ¿siempre puede encontrar la respuesta en tiempo polinómico”?
Incluso si p = np, habrá problemas con los tiempos de ejecución que son mayores que el polinomio. Serán problemas que, incluso si se le da la respuesta correcta, no podrá verificar su corrección en el tiempo polinómico.

More Interesting

¿Cuál sería el propósito de un servidor informático dentro de una casa?

¿Cuáles son los libros o documentos que debe leer para estudiantes de ciencias de la computación?

La inteligencia artificial y la robótica están progresando a un ritmo cada vez mayor. ¿Qué debe hacerse para la fuerza laboral desplazada?

¿Qué grandes ideas en ingeniería se pierden en informática?

¿Qué significa la hipótesis específica y general en el concepto de espacio de versión del aprendizaje automático?

¿Cómo podría afectar el aprendizaje automático a la industria de servicios de alimentos?

¿Qué le gusta a Thomas Cormen de Dartmouth College?

¿Qué es el servidor weblogic?

¿Cómo se compara Bing y DuckDuckGo con Google en términos de características y calidad? ¿Es Google el motor de búsqueda más utilizado porque la gente se ha acostumbrado demasiado?

¿Cuál es el algoritmo al dominar un proyecto multipista? ¿Compresión-ecualización-reverberación u otro orden?

Informática: ¿Cuál es la relación entre el modelo tópico y el modelo de inclusión de palabras, algún ejemplo?

¿El aprendizaje automático hará que la teoría del control sea obsoleta?

¿Hasta qué punto crecerá la potencia informática hasta que no haya espacio para el crecimiento del consumidor promedio?

Si una computadora almacena una dirección de 8 bits para 1 bit de datos en la RAM, ¿dónde y cómo la computadora aborda la dirección de 8 bits?

¿Hay alguna prueba matemática para garantizar que la suposición múltiple es verdadera, es decir, que cualquier punto de datos en un espacio de alta dimensión se encuentra en una variedad de baja dimensión incrustada en ese espacio?