Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera.
Huck respondió por completo. Gracias :)
Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera.
Huck respondió por completo. Gracias :)
Respuestas:
Aquí hay un argumento simple que muestra que no se sabe que QP esté en PSPACE:
Supongamos . Luego tenemos P ⊊ Q P ⊆ P S P A C E , donde la primera inclusión es apropiada por el teorema de la jerarquía de tiempo.Q P⊆ PSPAGA Cmi PAG⊊ Q P⊆ PSPAGA Cmi
Esto separa a de P S P A C E , que no se sabe que se mantiene, por lo que tampoco se debe saber que Q P ⊆ P S P A C E se mantiene.PAG PAGSPAGUNCmi Q P⊆ PSPAGA Cmi
De hecho, tenemos que , pero Q P ⊈ P S P A C E no separa las dos clases por el THT (como se indica en la pregunta )PAGSPAGA Cmi⊆ Q P⇒ PSPAGA Cmi⊊ EXPAG Q P⊈ PSPAGA Cmi
fuente