คือ

ฉันไม่สามารถค้นหาข้อความที่เกี่ยวข้องกับ $\mathsf{MA}$ และ $\mathsf{NP}^\mathsf{RP}$ ในวรรณคดีได้ พอยน์เตอร์จะได้รับการชื่นชม

ฉันเชื่อว่าพวกเขาเท่ากัน:

$\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ : เครื่อง $\mathsf{NP}$ คาดเดาสายของเมอร์ลินและ $\mathsf{RP}$ พยากรณ์ตรวจสอบสายที่อาร์เธอร์จะ
$\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ : Merlin คาดเดาการคำนวณการยอมรับของเครื่อง $\mathsf{NP}$ รวมถึงการโทรทั้งหมดรวมถึงผลลัพธ์ของการโทรเหล่านี้ไปยัง $\mathsf{RP}$ oracle จากนั้นอาร์เธอร์ยืนยันว่าการคำนวณนั้นถูกต้องและผลลัพธ์ที่เดาได้ทั้งหมดของการเรียกไปยังOracle $\mathsf{RP}$ นั้นถูกต้อง เขาใช้การขยายและขอบเขตที่ จำกัด เพื่อรวมความน่าจะเป็นทั้งหมดของข้อผิดพลาด

ถูกต้องหรือไม่

cc.complexity-theory oracles

— โจเอล
แหล่งที่มา

ขึ้นอยู่กับวิธีที่คุณกำหนดสัญลักษณ์เหล่านี้ แต่ถ้าคุณกำหนดคลาสความซับซ้อนเหล่านี้เป็นคลาสของภาษาการให้เหตุผลของคุณในหัวข้อย่อยแรกนั้นมีข้อบกพร่อง โปรดดู∃BPPใน Complexity Zooและการอ้างอิงในนั้น ( Fenner, Fortnow, Kurtz และ Li 2003 )

— Tsuyoshi Ito

ว้าว! ขอบคุณ Tsuyoshi มากนี่เป็นจุดที่ลึกซึ้งมากและแน่นอนว่ากระสุนนัดแรกของฉันผิด

— Joel

@TsuyoshiIto: ทำคำตอบนั้นเหรอ?

— Joshua Grochow

@ โจชัว: ฉันมักจะโพสต์คำตอบบางส่วนเป็นความคิดเห็นเมื่อฉันไม่ต้องการที่จะโพสต์มันเป็นคำตอบของฉันด้วยเหตุผลบางอย่าง ทุกคนควรจะโพสต์ความคิดเห็นของฉันเป็นคำตอบหากเขา / เธอต้องการ ฉันไม่รู้สึกว่าต้องโพสต์สิ่งที่เป็นคำตอบเพียงเพราะฉันโพสต์มันเป็นความคิดเห็น

— Tsuyoshi Ito

@TsuyoshiIto: เอาล่ะฉันขยายมันเป็นคำตอบ cw

— Emil Jeřábek

ในกระสุนแรกเราจะต้องใช้คำพยากรณ์เพื่อตอบ

$1$
$\le 1/2$

$\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$

— Emil Jeřábek
แหล่งที่มา

คุณไม่จำเป็นต้องทำให้คำตอบนี้เป็นวิกิของชุมชนแม้ว่าตัวเลือกจะขึ้นอยู่กับคุณก็ตาม

— Tsuyoshi Ito