、

私はこれらのクラスを理解しようとしましたが、常に混乱しました...質問は次のとおりです：

間の関係は何であると特にそれが未解決の問題ですか、？ $FNP$ $\#P$

関係は何ですか及び？この質問は開いていますか？ $\oplus P$ $NP$

との関係はどうですか？この質問は開いていますか？ $PH$ $P^{FNP}$

cc.complexity-theory

— ファイズ・アブドラザック・ディアブ
ソース

、

および

呼び出される機能多項式階層に含まれる

。

F N P \subseteq P^{# P}

$FNP \subseteq P^{\#P}$

N P \subseteq R P^{\oplus P}

$NP \subseteq RP^{\oplus P}$

P^{F N P}

$P^{FNP}$

F P H

$FPH$

— Tayfun Pay

：@Tayfun、そこに何か作っていない感がある

最初後で決定問題のクラスがある一方で、関数のクラスです。

F N P \subseteq P^{# P}

$FNP\subseteq P^{\#P}$

— Fayez Abdlrazaq Deab 2013

@Tayfunは、これらの結果を証明するリファレンスをリストしていただけませんか。

— Fayez Abdlrazaq Deab 2013

1）中に含まれる「機能多項式階層」と呼ばれ、ここですべての関数でいくつかの関数に多項式時間1チューリングreduciableある。 2）我々は、ヴァリアントVazirani定理から知っている。我々はまた、知っている。したがって、我々は持っている $\bf FNP$ $\bf FPH$ $\bf FPH$ $\bf \#P$
$\bf NP$ $\subseteq$ $\bf RP^{PromiseUP}$ $\bf UP$ $\subseteq$ $\bf \oplus P$ $\bf NP$ $\subseteq$ 。 $\bf RP^{\bf \oplus P}$

— Tayfun Pay
ソース

こんにちは、ありがとうございました。

— Fayez Abdlrazaq Deab 2013

2）LG Valiant＆V. Vazirani「NPはユニークなソリューションを検出するのと同じくらい簡単です」Theoretical Computer Science 47（1986）pp。85-93。

— Tayfun Pay 2013

1）S 戸田、渡辺。「#PHから#Pへの多項式時間の1ツーリングの削減。」理論的コンピュータサイエンス。巻100。ページ205-221。1992.

— Tayfun Pay 2013

cstheory.stackexchange.com/questions/6404/…–

— Tayfun Pay