O tempo quase polinomial está no PSPACE?

13

Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira.

Huck respondeu totalmente. Obrigado :)

Tayfun Pay
fonte
1
Você pode mover seu "comentário dentro da pergunta" para um comentário real.
Suresh Venkat
@ Suresh, não acho que haja espaço suficiente para isso? Não tenho certeza.
Tayfun Pay
2
Você pode remover a parte "comentário" completamente? Eu não acho que seja apropriado.
Jukka Suomela
1
Coloque o que puder e remova o resto. E poste isso na resposta de Huck. Não é apropriado para inserir um comentário resposta dentro da pergunta original
Suresh Venkat

Respostas:

26

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.QPPSPUMACEPQPPSPUMACE

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.PPSPUMACEQPPSPUMACE

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 )PSPUMACEQPPSPUMACEEXPQPPSPUMACE

Huck Bennett
fonte