ile

Biliyorum (NP oracle logaritmik çok çağrıları) eşdeğerdir (polinom NP oracle'e paralel sorgu sayısı). Bu sınıfların "işlev" sürümünün de eşdeğer olup olmadığını merak ediyordum, yani $\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}||}$ Doğru olduğu biliniyorsa, bir işaretçi gerçekten yardımcı olacaktır.

cc.complexity-theory complexity-classes

— Jorge
kaynak

Bu açık bir sorundur, diğer şeylerin yanı sıra anlamına gelir . Aşağıdaki makaleye bakın: $\mathsf{NP} = \mathsf{RP}$

Alan Selman. Fonksiyonların Karmaşıklık Sınıflarının Taksonomisi. Bilgisayar ve Sistem Bilimleri Dergisi 48 (1992), s. 357-381.

Buradan edinebilirsiniz: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.7438&rep=rep1&type=pdf

— Jan Johannsen
kaynak

Bu makalede , ? bir yan soru olarak, prototipik küme var mı?

{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}\|}$

— Jorge

Yan soru: için komple set mi demek istediniz ? Bildiğim tek doğal olan, Dodgson seçimlerinde kazananı hesaplamaktır, makaleye bakın: E. Hemaspaandra, L. Hemaspaandra ve J. Rothe. Dodgson Seçimlerinin Kesin Analizi: Lewis Carroll'un 1876 Oylama Sistemi NP'ye Paralel Erişim İçin Zordur. J.ACM 44 (1997), s.241-224

P^{N P | |}

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

— Jan Johannsen

İlk soruda: Bilmiyorum, ancak , bu nedenle ima .

{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}}$

— Jan Johannsen

Aslında, aradığım şey için tamamlanmış bir problem ve henüz bir tane bulamadım.

{F P}^{N P | |}

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

— Jorge