Classi

Stavo cercando di capire queste lezioni ma mi sono sempre confuso ... le domande sono:

Qual è la relazione tra e , in particolare è una domanda aperta? $FNP$ $\#P$

Qual è la relazione di e ? questa domanda è aperta? $\oplus P$ $NP$

E la relazione tra e ? questa domanda è aperta? $PH$ $P^{FNP}$

cc.complexity-theory

è contenuta in funzionale polinomiale Gerarchia, che si chiama

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 paga il

@Tayfun, c'è qualcosa che non ha senso:

la prima è la classe di funzione mentre la successiva è la classe di problemi di decisione.

F N P \subseteq P^{# P}

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

— Fayez Abdlrazaq Deab,

@Tayfun potresti elencare i riferimenti che dimostrano questi risultati.

— Fayez Abdlrazaq Deab,

1) è contenuto in , che è chiamata la "gerarchia polinomiale funzionale", dove ogni funzione è tempo polinomiale 1-Turing reduciable certa funzione . 2) Sappiamo dal teorema Valiant Vazirani che . Sappiamo anche che . Pertanto, abbiamo $\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
fonte

ciao, grazie mille, potresti elencare i riferimenti?

— Fayez Abdlrazaq Deab,

2) LG Valiant e V. Vazirani "NP è facile come individuare soluzioni uniche" Theoretical Computer Science 47 (1986) pp. 85-93.

— Tayfun paga il

1) S. Toda, O. Watanabe. "Riduzioni di 1 Turing in tempo polinomiale da #PH a #P." Teorica Informatica. Volume 100. Pagine 205-221. 1992.

— Tayfun paga il

cstheory.stackexchange.com/questions/6404/…

— Tayfun paga il