Parity-PはPPに含まれていますか？

この質問は、Foundation of Mathematicsメーリングリストで Jan Paxによって尋ねられました。確かに $P^{\oplus P} \subseteq P^{\#P} = P^{PP}$ が、私はへの回答から疑うこの質問それはかどうかは知られていないことを $\oplus P \subseteq PP$ （そうでない場合は、 $PP$ その質問への1つの可能な答えになります）。不明な場合、オラクル分離はありますか？

cc.complexity-theory complexity-classes

— ティモシーチョウ
ソース

ウィキペディアは、Oracleがあると言う

P^{A} = \oplus P^{A} \neq N P^{A} (= P P^{A}) = E X P^{A}

$P^A = \oplus P^A \neq NP^A ( = PP^A) = EXP^A$ （R. Beigel、H. Buhrman、及びL. Fortnowは。NPが容易ようではないかもしれませんユニークなソリューションの検出として）

— マルツィオデビアージ

A

$A$

\oplus P^{A} ⊈ P P^{A}

$\oplus P^A \not\subseteq PP^A$

私が言おうとしていることは、他の答えに含まれていますが、物事をシンプルに保ちたい場合には役に立つかもしれません。お探しのオラクルは、パーセプトロンがPARITY（Minsky＆Papert）を計算できないという昔から知られている事実を応用したものです。

— アレッサンドロコセンティーノ

@AlessandroCosentinoである

と

？どのような場合には

本当でしたか？

P P^{\oplus P} = P P

$PP^{\oplus P}=PP$

{\oplus P}^{P P} = P P

${\oplus P}^{PP}=PP$

P P \subseteq \oplus P

$PP\subseteq\oplus P$

— T ....

$A$ $\oplus P^A \not\subseteq PP^A$ $A$ $\oplus P^A \not\subseteq PP^{PH^A}$

$\oplus P$ $PP^{PH}$

— ロビン・コタリ
ソース

A

$A$

\oplus P^{A} ⊈ P P^{A}

$\oplus P^A \not\subseteq PP^A$

$\oplus$

— ランス・フォートナウ
ソース

ありがとう。受け入れる回答を1つだけ選択する必要があるため、Robin Kothariの回答を選択しています。

— ティモシーチョウ