เมื่อเทียบกับ

ฉันรู้ว่า $\mathsf{P}^{\mathsf{NP}[\log n]}$ (ลอการิทึมหลาย ๆ การเรียกไปที่ oracle NP) เทียบเท่ากับ $\mathsf{P}^{\mathsf{NP}||}$ (จำนวนพหุนามของเคียวรีแบบขนานกับ NP oracle) ฉันสงสัยว่าคลาส "ฟังก์ชั่น" ของคลาสเหล่านี้จะเทียบเท่ากันหรือไม่นั่นคือ

หากทราบว่าเป็นจริงตัวชี้จะเป็นประโยชน์จริง ๆ

{F P}^{N P [\log n]} = {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$

cc.complexity-theory complexity-classes

— Jorge
แหล่งที่มา

$\mathsf{NP} = \mathsf{RP}$

Alan Selman อนุกรมวิธานของคลาสที่ซับซ้อนของฟังก์ชัน วารสารวิทยาศาสตร์คอมพิวเตอร์และระบบ 48 (1992), pp. 357-381

คุณสามารถรับได้ที่นี่: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.7438&rep=rep1&type=pdf

— Jan Johannsen
แหล่งที่มา

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

ในคำถามด้าน: คุณหมายถึงชุดที่สมบูรณ์สำหรับ

? สิ่งเดียวที่ฉันรู้คือการคำนวณผู้ชนะในการเลือกตั้ง Dodgson ดูกระดาษ: E. Hemaspaandra, L. Hemaspaandra และ J. Rothe การวิเคราะห์ที่แน่นอนของการเลือกตั้ง Dodgson: ระบบลงคะแนน 1876 ของ Lewis Carroll ยากสำหรับการเข้าถึงแบบขนานไปยัง NP J.ACM 44 (1997), pp. 214-224

P^{N P | |}

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

— Jan Johannsen

{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

ที่จริงสิ่งที่ฉันกำลังมองหาเป็นปัญหาที่สมบูรณ์สำหรับ

และฉันยังไม่พบ

{F P}^{N P | |}

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

— Jorge