,

Saya mencoba memahami kelas-kelas ini tetapi selalu bingung ... pertanyaannya adalah:

Apa hubungan antara dan , khususnya apakah ini merupakan pertanyaan terbuka? $FNP$ $\#P$

Apa hubungan dan ? apakah pertanyaan ini terbuka? $\oplus P$ $NP$

Bagaimana dengan hubungan antara dan ? apakah pertanyaan ini terbuka? $PH$ $P^{FNP}$

cc.complexity-theory

dan

yang terkandung dalam Fungsional Polinomial Hierarchy, yang disebut

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 Bayar

@ Tayfun, ada sesuatu yang tidak masuk akal:

yang pertama adalah kelas fungsi sedangkan yang berikutnya adalah kelas masalah keputusan.

F N P \subseteq P^{# P}

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

— Fayez Abdlrazaq Deab

@Tayfun bisa tolong sebutkan referensi yang membuktikan hasil ini.

— Fayez Abdlrazaq Deab

1) yang terkandung dalam , yang disebut "fungsional polinomial hirarki", di mana setiap fungsi di adalah polinomial waktu 1-Turing reduciable untuk beberapa fungsi dalam . 2) Kita tahu dari teorema Valiant Vazirani bahwa . Kita juga tahu bahwa . Oleh karena itu, kami memiliki $\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
sumber

hai, terima kasih banyak, bisakah kamu daftar referensi?

— Fayez Abdlrazaq Deab

2) LG Valiant & V. Vazirani "NP semudah mendeteksi Solusi Unik" Theoretical Computer Science 47 (1986) hlm. 85-93.

— Tayfun Bayar

1) S. Toda, O. Watanabe. “Pengurangan 1-Turing polinomial waktu dari #PH ke #P.” Ilmu Komputer Teoritis. Volume 100. Halaman 205-221. 1992.

— Tayfun Pay

cstheory.stackexchange.com/questions/6404/…

— Tayfun Pay