, , कक्षाएं

मैं इन वर्गों को समझने की कोशिश कर रहा था, लेकिन हमेशा उलझन में था ... सवाल हैं:

और बीच क्या संबंध है , विशेष रूप से यह एक खुला प्रश्न है? $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, कुछ समझ में नहीं आ रहा है: पहले फ़ंक्शन का वर्ग है जबकि बाद में निर्णय समस्याओं का वर्ग है।

F N P \subseteq P^{# P}

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

— फ़ैज़ अब्द्ल्रज्जाक

@Tayfun क्या आप इन परिणामों को साबित करने वाले संदर्भों को सूचीबद्ध कर सकते हैं।

— फेयेज अब्द्ल्रज्जाक ने

1) में समाहित है , जिसे "कार्यात्मक बहुपद पदानुक्रम" कहा जाता है, जहां प्रत्येक फ़ंक्शन in बहुपद समय है 1-Turing reduciable to some function in । 2) हम बहादुर वज़ीरनी प्रमेय से जानते हैं कि । हम यह भी जानते हैं कि । इसलिए, हमारे पास । $\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}$

— तैफून पे
स्रोत

नमस्ते, आपको बहुत धन्यवाद, क्या आप संदर्भ सूचीबद्ध कर सकते हैं?

— फ़येज़ अब्द्ल्रज्जाक

2) LG Valiant & V. Vazirani "एनपी अद्वितीय समाधान का पता लगाने के रूप में आसान है" सैद्धांतिक कंप्यूटर विज्ञान 47 (1986) पीपी 85-93।

— तैफून पे

1) एस। टोडा, ओ। वतनबे। "बहुपद-समय 1-ट्यूरिंग कटौती #PH से #P तक।" सैद्धांतिक कंप्यूटर विज्ञान। वॉल्यूम 100. पृष्ठ 205-221। 1992.

— तैफून पे

cstheory.stackexchange.com/questions/6404/…

— पे