対

私はことを知っている（NPオラクルへの対数多くの呼び出しが）と等価である（NPオラクルに対する並列クエリの多項式数）。これらのクラスの「関数」バージョンも同等であるかどうか、つまり、 $\mathsf{P}^{\mathsf{NP}[\log n]}$ $\mathsf{P}^{\mathsf{NP}||}$

それが真実であることが知られている場合、ポインタは本当に役立ちます。

{F P}^{N P [\log n]} = {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$

cc.complexity-theory complexity-classes

— ホルヘ
ソース

これは未解決の問題であり、特に意味します。次のペーパーを参照してください。 $\mathsf{NP} = \mathsf{RP}$

アラン・セルマン。関数の複雑度クラスの分類。Journal of Computer and Systems Sciences 48（1992）、pp。357-381。

ここから入手できます：http : //citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.7438&rep=rep1&type=pdf

— ヤン・ヨハンセン
ソース

その論文では、クラスを使用

、私はそれを前提とすることができます

？側の問題として、プロトタイプがある

-completeセット？

{F P}_{t t}^{N P}

$\mathsf{FP}^{\mathsf{NP}}_{tt}$

{F P}_{t t}^{N P} = {F P}^{N P ‖}

$\mathsf{FP}^{\mathsf{NP}}_{tt}=\mathsf{FP}^{\mathsf{NP}\|}$

{F P}^{N P ‖}

$\mathsf{FP}^{\mathsf{NP}\|}$

— ホルヘ

側の質問には：あなたがのための完全なセットを意味しています

？私が知っている唯一の自然なものは、ドジソン選挙で勝者を計算することです。論文を参照してください：E. Hemaspaandra、L。Hemaspaandra、およびJ. Rothe。Dodgson選挙の正確な分析：Lewis Carrollの1876投票システムは、NPへの並列アクセスが困難です。J.ACM 44（1997）、pp。214-224

P^{N P | |}

$\mathsf{P}^{\mathsf{NP}||}$

— Jan Johannsen

最初の質問に：私は知らないが、

したがって、

意味し

。

{F P}^{N P [\log n]} \subseteq {F P}_{t t}^{N P} \subseteq {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} \subseteq \mathsf{FP}_{tt}^{\mathsf{NP}} \subseteq \mathsf{FP}^{\mathsf{NP}||}$

{F P}^{N P [\log n]} = {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$

{F P}^{N P [\log n]} = {F P}_{t t}^{N P}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}_{tt}^{\mathsf{NP}}$

— ヤンヨハンセン

実際、私が探しているのは

、まだ見つけていません。

{F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}||}$

— ホルヘ