,

ฉันพยายามเข้าใจคลาสเหล่านี้ แต่สับสนอยู่เสมอ ... คำถามคือ:

ความสัมพันธ์ระหว่างและโดยเฉพาะเป็นคำถามเปิดคืออะไร $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 จ่าย

@ayfun มีบางสิ่งที่ไม่สมเหตุสมผล:

อันดับแรกคือคลาสของฟังก์ชันในขณะที่ต่อมาคือปัญหาการตัดสินใจ

F N P \subseteq P^{# P}

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

— Fayez Abdlrazaq Deab

@ayfun คุณช่วยกรุณาระบุรายการอ้างอิงที่พิสูจน์ผลลัพธ์เหล่านี้ได้

— Fayez Abdlrazaq Deab

1) ที่มีอยู่ในซึ่งเรียกว่า "พหุนามลำดับชั้นการทำงาน" ซึ่งฟังก์ชั่นในทุก เป็นเวลาพหุนาม 1 ทัวริง reduciable ฟังก์ชั่นบางอย่างใน P 2) เรารู้จากทฤษฎีบทองอาจ Vazirani ที่ Pนอกจากนี้เรายังรู้ว่า Pดังนั้นเรามี $\bf FNP$ $\bf FPH$ $\bf FPH$ $\bf \#P$
$\bf NP$ $\subseteq$ $\bf RP^{PromiseUP}$ $\bf UP$ $\subseteq$ $\bf \oplus P$ $\bf NP$ $\subseteq$ P $\bf RP^{\bf \oplus P}$

— Tayfun Pay
แหล่งที่มา

สวัสดีขอบคุณมากคุณช่วยเขียนรายการอ้างอิงได้ไหม

— Fayez Abdlrazaq Deab

2) LG Valiant & V. Vazirani“ NP เป็นเรื่องง่ายเหมือนการตรวจหาโซลูชันที่ไม่ซ้ำ” วิทยาการคอมพิวเตอร์เชิงทฤษฎี 47 (1986) หน้า 85-93

— Tayfun จ่าย

1) S Toda, O. Watanabe “ การลดจำนวนพหุนาม 1 ครั้งจาก #PH ถึง #P” วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี. เล่มที่ 100 หน้า 205-221 1992.

— Tayfun จ่าย

cstheory.stackexchange.com/questions/6404/…

— Tayfun จ่าย