เชื่อมโยงโลกที่

ผมอยากจะทราบว่ามีอยู่ในโลกที่ relativizedA} นอกจากนี้ผมยังมีความสนใจที่จะทราบว่ามีอยู่ในโลกที่ relativizedB}${\bf P^A}={\bf NP^A}\not = {\bf PP^A}$${\bf P^B} \not = {\bf NP^B} = {\bf PP^B}$

ฉันไม่รู้การอ้างอิง แต่ฉันคิดว่าทั้งสองอย่างนี้น่าจะเป็นไปได้

สำหรับ Oracle ครั้งแรกของคุณ: สำหรับการเริ่มที่คุณจะต้องการพยากรณ์ (เรียกว่า ) ที่ encodes ชี้แจงขนาดใหญ่กรณีและที่จึงแยกทั้งและจาก{A_1} จากนั้นคุณต้องการ oracle ตัวที่สอง (เรียกว่า ) ที่เข้ารหัสคำตอบสำหรับปัญหาทั้งหมดในแบบ "เซ" หมายความว่าการเข้าถึงระดับของลำดับชั้นนั้นต้องใช้การสอบถามขนาด (พูด) (และด้วยเหตุนี้คุณจะได้รับการสลับจำนวนคงที่ในเวลาพหุนามเท่านั้น) นี้ oracle สองควรทำให้เกิด{A_1} (โปรดสังเกตว่า$A_1$$MAJORITY$$P^{A_1}$$NP^{A_1}$$PP^{A_1}$$A_2$$PH^{A_1}$$k^{th}$$n^k$$P^{A_1,A_2} = NP^{A_1,A_2} = PH^{A_1,A_2} = PH^{A_1}$$A_2$เป็นเพียงเลเยอร์ "ด้านนอก" ซึ่งหมายความว่าการสอบถามใด ๆ กับสามารถจำลองได้โดยการค้นหา ) ในที่สุดคุณจะต้องการดึงดูดความสนใจของยาวและต่ำกว่า (เช่นการเปลี่ยนบทแทรกของ Hastad ) เพื่อแสดงให้เห็นว่าเครื่องยังคงไม่สามารถแก้ปัญหาในกรณีและดังนั้นจึง (และแน่นอน ) ยังคงมีขนาดใหญ่$A_2$$PH^{A_1}$$AC^0$$PH^{A_1}$$MAJORITY$$A_1$$PP^{A_1}$$PP^{A_1,A_2} = PP^{PH^{A_1}}$

สำหรับ Oracle ที่สองของคุณคุณจะต้องการที่จะสร้างในลักษณะที่คุณจะต้องแก้การค้นหาปัญหาเพื่อ "ปลดล็อค" เป็นส่วนหนึ่งของสตริงพยากรณ์ที่แล้วช่วยเพิ่มอำนาจของคุณถึงPSPACE(ที่นี่เราใช้ประโยชน์จากความจริงที่ว่าและเป็นทั้ง ) ความละเอียดอ่อนคือส่วนที่เป็นความลับของ oracle ไม่สามารถตัดสินใจได้ว่าภาษาที่สมบูรณ์แบบของ : ยังต้องการ คำตอบของการคำนวณที่แบบสอบถามเอง โชคดีที่มันรู้วิธีที่จะทำให้สำเร็จในแต่ละขั้นโดยหลีกเลี่ยงการเวียน: โดยทั่วไปคุณเข้ารหัสเอาท์พุทของ$B$$NP$$PSPACE$$NP^{PSPACE}$$PP^{PSPACE}$$PSPACE$$PSPACE$$PSPACE$$B$$PSPACE^B$ที่สืบค้นเฉพาะบนอินพุตขนาดหรือน้อยกว่าในส่วนของที่ต้องการคิวรีขนาดเพื่อเข้าถึงและนั่นจึงเป็น "เกินขอบเขต" สำหรับเครื่องเหล่านั้น (แต่ ไม่ใช่สำหรับเครื่องอื่น ๆ ) ในขณะเดียวกันเครื่องก็ถูกทิ้งให้อยู่ในความมืดมิดโดยสิ้นเชิง$B$$p(n)$$B$$>p(n)$ $PSPACE^B$$P^B$