PSPACEにあるがPHにはないことがわかっている問題？

私たちが知っているように、グラフ同型はNPにありますが、NP完全またはP完全ではありません。PSPACEに存在することがわかっているが、PSPACE-Completeであることがわかっておらず、PHに存在しない問題があるかどうか疑問に思いました。

実数の実存理論は PSPACEに含まれていることが知られているが、それはPHに含まれているかどうかは不明です。したがって、実在の存在理論、または多くの同等の問題のいずれかを取ってください。

すべてのPP完全な問題は、PSPACEで簡単に発生しますが、PSPACE完全であることがわかっていません。戸田の定理からPHがP PPに含まれていることがわかりますが、PPがPHに含まれているかどうかもわかりません。同じことが# P-完全な問題にも当てはまると思います。$^\text{PP}$

コメントをコピーする：

GIに類似した問題を求めるつもりなら、多分あなたはPHではなくPSPACE完全ではない問題を求めているでしょう。PHに含まれていることがわかっていないがPSPACEに含まれているクラスで完了した問題は、例として機能します。したがって、BQP、QMA、PPなどの問題をすべて完了してください。

MP-Completeであるすべての問題。いくつかの#P関数fについて、f（x）の中央のビットが1の場合に限り、入力xの答えが 'yes'になるような決定問題のクラス。[Definition from from複雑な動物園]。
PH⊆MP⊆PSPACEであることが示されています。

ParitySat問題は、SAT問題に奇数の充足可能な割り当てがあるかどうかを確認することです。PHは、戸田の作業によるランダム化された削減を介してParitySATに削減できます。これは、PHが崩壊しない限り、明らかに厳密にPHとPSACEの間にある決定問題です。