Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira.
Huck respondeu totalmente. Obrigado :)
Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira.
Huck respondeu totalmente. Obrigado :)
Respostas:
Aqui está um argumento simples que mostra que o QP não é conhecido no PSPACE:
Suponha . Então temos P ⊊ Q P ⊆ P S P A C E , onde a primeira inclusão é adequada pelo teorema da hierarquia de tempo.Q P⊆ PSPA CE P⊊ Q P⊆ PSPUMACE
Isso separa de P S P A C E , que não é conhecido por conter, portanto, Q P ⊆ P S P A C E também não deve ser conhecido por conter.P PSPUMACE QP⊆PSPUMACE
Com efeito, temos que , mas Q P ⊈ P S P A C E não separa as duas classes pelo THT (como indicado na pergunta )PSPUMACE⊆ Q P⇒ PSPUMACE⊊ EXP Q P⊈ PSPA CE
fonte