の自然な問題？
複雑度クラスは次のように定義されています（Wikipediaから）：SP2S2P\textrm{S}_2^\textrm{P} 次のような多項式時間述語が存在する場合、言語はあります。LLLSP2S2PS_2^PPPP 場合、すべてのに対してようなが存在します。x∈Lバツ∈Lx \in LyyyzzzP(x,y,z)=1P（バツ、y、z）=1P(x,y,z)=1 もし、その後、存在する全てについて、このような、x∉Lバツ∉Lx \notin LzzzyyyP(x,y,z)=0P（バツ、y、z）=0P(x,y,z)=0 ここで、との両方のサイズはのサイズの多項式でなければなりません。yyyzzzxバツx より非公式な説明と議論については、フォートナウの投稿と複雑性動物園も参照してください。 このクラスは、合理的に自然なようだが、私は問題の例を見つけることができないという点での非自明な理由で（つまり、だけでなく、それはNPまたはMAにあるためか、含まれるクラス）。この説明に当てはまる問題を誰かが知っていますか？SP2S2P\textrm{S}_2^\textrm{P}SP2S2P\textrm{S}_2^\textrm{P} そのような問題を誰も考えられないのであれば、私はサブクラスにある問題を気にしませんが、これを示すのは簡単ではありませんが、問題明らかにます。SP2S2P\textrm{S}_2^\textrm{P}SP2S2P\textrm{S}_2^\textrm{P}