ออราเคิลเทียบกับ

$X$ $\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X$ $\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X}$

คำถามนี้ได้รับแรงบันดาลใจบางส่วนจากคำตอบของฉันต่อคำถาม“ อะไรคือสิ่งที่รู้กันดีเกี่ยวกับบทพิสูจน์แบบโต้ตอบหลายตัวพร้อมข้อความสั้น ๆ ” โดย Joe Fitzsimons

ฉันโพสต์คำถามนี้ในmath.stackexchange.comเมื่อวันที่ 2 ตุลาคม แต่ฉันไม่ได้รับคำตอบและลบคำถามเกี่ยวกับคณิตศาสตร์ที่ติดตามโพสต์นี้ใน meta.math

— Tsuyoshi Ito
แหล่งที่มา

บางทีนี่อาจช่วยได้? icsi.berkeley.edu/pubs/techreports/tr-92-078.pdf

— Alessandro Cosentino

@ อเลซานโดร: ขอบคุณดูเหมือนว่ามีความเกี่ยวข้องมาก ฉันจะตรวจสอบมัน.

— Tsuyoshi Ito

ลิงก์ไปยังรายการ Complexity Zoo หลงทางในการแก้ไขคำตอบ ที่นี่คืออัปเดตหลังจากคำขอ@MarcosVillagra

— Alessandro Cosentino

oracle กลับไปที่Stockmeyerในปี 1983 Hellerให้ผลลัพธ์ที่แข็งแกร่งกว่านั่นคือ:ในโลกแห่งความสัมพันธ์ในปี 2529 Karpiniski และ Verbeek (กล่าวถึงในความคิดเห็น) แสดงผลของ Heller $BPP = EXP^{NP}$

— Lance Fortnow
แหล่งที่มา

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

— Tsuyoshi Ito

มันจะดีถ้ามีคนอัพเดตรายการในสวนสัตว์ที่ซับซ้อน ฉันทำได้ แต่ฉันไม่รู้

— Marcos Villagra

@MarcosVillagra อาจจะแค่ส่งอีเมล Greg Kuperberg?

— Suresh Venkat

@SureshVenkat หากคุณหมายถึงสัตววิทยาที่ซับซ้อน แต่น่าเสียดายที่ไม่ใช่วิกิสาธารณะ หากคุณหมายถึงสวนสัตว์เชิงซ้อน (Complexity Zoo) ฉันได้อัปเดตแล้ว

— Alessandro Cosentino