ทำไมอาร์กิวเมนต์นี้สำหรับผิด

ฉันรู้ว่ามันไร้สาระ แต่ฉันจัดการเพื่อทำให้สับสนและฉันต้องการความช่วยเหลือในการแก้ไขปัญหานี้

สมมติว่าแล้วอย่างชัดเจนสำหรับทุก oracle เรามีซึ่งขัดแย้งกับความจริงที่ว่ามีอยู่บาง oracle ที่จึง$P=NP$$A$$P^A=NP^A$$A$$P^A\neq NP^A$$P\neq NP$

มีอะไรผิดปกติ? ขอบคุณ!

แน่นอนว่าคุณต้องระวังการคิดเกี่ยวกับการพยากรณ์

ปัญหามาจากการใช้สัญลักษณ์ในทางที่ผิดที่น่ารำคาญใน CS: ในคำสั่ง ,หมายถึงชุดของภาษา แต่ในคำสั่ง ,หมายถึงคลาสของเครื่องจักรทัวริง คุณควรคิดว่าสองตัวนี้เป็นประเภทที่แตกต่างกันโดยสิ้นเชิง$P=NP$$P$$P^A = NP^A$$P$$P$

ดังนั้นแม้ว่าภาษาและทั้งสองชุดจะเหมือนกัน แต่ Polytime TM ที่กำหนดขึ้นแล้วยังคงไม่ทำงานในลักษณะเดียวกับภาษาที่ไม่ได้กำหนดค่าไว้ โดยเฉพาะอย่างยิ่งเมื่อมี oracle, TM ของ nondeterministic สามารถ "ถามคำถามมากมายในคราวเดียว" ซึ่งเป็นสิ่งที่ TM ปกติไม่สามารถทำได้ ดังนั้นแม้ว่าพวกเขาจะตัดสินใจชุดภาษาเดียวกันเมื่อไม่มีเครื่องใดที่ได้รับความช่วยเหลือเพิ่มเติม แต่ Oracle ก็อาจช่วยได้มากกว่าหนึ่งเครื่อง$P$$NP$