AM / MA และ NP เปรียบเทียบกับ P และ BPP

Arora และ Barak แสดงให้เห็นว่าสามารถแสดงเป็นB P ⋅ N Pเช่นชุดของภาษาที่มีการลดการสุ่มลงเป็น 3SAT M Aเป็นลักษณะทั่วไปแบบสุ่มโดยธรรมชาติของN Pซึ่งคุณสามารถแทนที่ตัวตรวจสอบที่กำหนดขึ้นได้ด้วยการสุ่ม$\mathsf{AM}$$\mathsf{BP}\cdot \mathsf{NP}$$\mathsf{MA}$$\mathsf{NP}$

มีความรู้สึกอย่างใดอย่างหนึ่งซึ่งพอดีที่สุดใน "P คือ BPP ตาม NP คืออะไร" ความสัมพันธ์?

$\mathbf{MA}$$\mathbf{P} = \mathbf{BPP}$$\mathbf{NP} = \mathbf{MA}$$\mathbf{NP} = \mathbf{AM}$$\mathrm{promise}\mathbf{P} = \mathrm{promise}\mathbf{BPP}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{MA}$$\mathrm{promise}\mathbf{NP} = \mathrm{promise}\mathbf{AM}$

$\mathbf{MA}$$\mathbf{BPP}$$\mathbf{AM}$$\mathbf{NP}$

นี่คือประเด็นสำหรับ AM: สำหรับคลาส C ที่ซับซ้อนเกือบ C จะถูกกำหนดให้เป็นชุดของภาษาที่อยู่ใน C เทียบกับ oracle เกือบทุกตัว (เกือบ = ความน่าจะเป็น 1) จากนั้นเกือบ -P = BPP และเกือบ-NP = AM

หากต้องการพิจารณาในอีกมุมมอง IP เป็นเรื่องทั่วไปถ้าคุณคิดถึง NP เป็นสิ่งที่คุณสามารถพิสูจน์ได้ว่าเป็นผู้สงสัยในพหุนาม