Editar : como Ravi Boppana señaló correctamente en su respuesta y Scott Aaronson también agregó otro ejemplo en su respuesta , la respuesta a esta pregunta resultó ser "sí" de una manera que no esperaba en absoluto. Primero pensé que no respondían la pregunta que quería hacer, pero después de pensarlo, estas construcciones responden al menos a una de las preguntas que quería hacer, es decir, "¿Hay alguna forma de probar un resultado condicional? P = NP ⇒ L ∈P 'sin probar el resultado incondicional L ∈PH? ”¡Gracias, Ravi y Scott!
¿Existe un problema de decisión L tal que se cumplan las siguientes condiciones?
- No se sabe que L esté en la jerarquía polinómica.
- Se sabe que P = NP implicará L ∈P.
Un ejemplo artificial es tan bueno como uno natural. Además, aunque uso la letra " L ", puede ser un problema prometedor en lugar de un idioma si ayuda.
Antecedentes . Si sabemos que un problema de decisión L está en la jerarquía polinómica, entonces sabemos que "P = NP ⇒ L ∈P". La intención de la pregunta es preguntar si lo inverso es válido. Si existe un lenguaje L que satisfaga las dos condiciones anteriores, entonces puede considerarse como una evidencia de que lo contrario falla.
La pregunta ha sido motivada por el interesante comentario de Joe Fitzsimons a mi respuesta a la pregunta de Walter Bishop " Consecuencias de #P = FP ".