Le temps est-il quasi-polynomial dans PSPACE?

J'avais fait quelques recherches à ce sujet mais je n'ai pas pu trouver de réponse dans les deux cas.

Huck y répondit pleinement. Merci :)

— Tayfun Pay
source

Pouvez-vous déplacer votre "commentaire dans la question" vers un commentaire réel.

— Suresh Venkat

@Suresh, je ne pense pas qu'il y ait assez de place pour ça? Je ne suis pas sûr.

— Tayfun Payez

Pouvez-vous peut-être supprimer entièrement la partie "commentaire"? Je ne pense pas que ce soit approprié.

— Jukka Suomela,

Mettez tout ce que vous pouvez et retirez le reste. Et postez ceci dans la réponse de Huck. Il n'est pas approprié d'insérer un commentaire de réponse dans la question d'origine

— Suresh Venkat

Voici un argument simple qui montre que QP n'est pas connu pour être dans PSPACE:

Supposons . Nous avons alors , où la première inclusion est propre au théorème de la hiérarchie temporelle. $QP \subseteq PSPACE$ $P \subsetneq QP \subseteq PSPACE$

Cela sépare de , qui n'est pas connu pour être maintenu, donc doit pas non plus être connu pour être maintenu. $P$ $PSPACE$ $QP \subseteq PSPACE$

En effet, nous avons que , mais ne sépare pas les deux classes par le THT (comme indiqué dans la question ). $PSPACE \subseteq QP \Rightarrow PSPACE \subsetneq EXP$ $QP \nsubseteq PSPACE$

— Huck Bennett
source