O tempo quase polinomial está no PSPACE?

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

Huck respondeu totalmente. Obrigado :)

— Tayfun Pay
fonte

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

Você pode remover a parte "comentário" completamente? Eu não acho que seja apropriado.

— Jukka Suomela

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

Aqui está um argumento simples que mostra que o QP não é conhecido no PSPACE:

Suponha . Então temos , onde a primeira inclusão é adequada pelo teorema da hierarquia de tempo. $QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

Isso separa de , que não é conhecido por conter, portanto, também não deve ser conhecido por conter. $P$ $PSPACE$ $QP \subseteq PSPACE$

Com efeito, temos que , mas não separa as duas classes pelo THT (como indicado na pergunta ) $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— Huck Bennett
fonte