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 :)
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 :)
Réponses:
Voici un argument simple qui montre que QP n'est pas connu pour être dans PSPACE:
Supposons . Nous avons alors P ⊊ Q P ⊆ P S P A C E , où la première inclusion est propre au théorème de la hiérarchie temporelle.Q P⊆ PSPA CE P⊊ Q P⊆ PSPA CE
Cela sépare de P S P A C E , qui n'est pas connu pour être maintenu, donc Q P ⊆ P S P A C E ne doit pas non plus être connu pour être maintenu.P PSPUNE CE Q P⊆PSPUNE CE
En effet, nous avons que , mais Q P ⊈ P S P A C E ne sépare pas les deux classes par le THT (comme indiqué dans la question ).PSPUNE CE⊆ Q P⇒ PSPUNE CE⊊ EXP Q P⊈ PSPUNE CE
la source