อะไรคือผลร้ายของ NP = PSPACE ฉันประหลาดใจที่ฉันไม่พบสิ่งใดในสิ่งนี้เนื่องจากคลาสเหล่านี้อยู่ในกลุ่มที่มีชื่อเสียงที่สุด
โดยเฉพาะอย่างยิ่งมันจะมีผลกระทบใด ๆ ต่อชนชั้นล่างหรือไม่?
อะไรคือผลร้ายของ NP = PSPACE ฉันประหลาดใจที่ฉันไม่พบสิ่งใดในสิ่งนี้เนื่องจากคลาสเหล่านี้อยู่ในกลุ่มที่มีชื่อเสียงที่สุด
โดยเฉพาะอย่างยิ่งมันจะมีผลกระทบใด ๆ ต่อชนชั้นล่างหรือไม่?
คำตอบ:
ถ้านี่จะหมายถึง:
นั่นคือการนับวิธีแก้ปัญหาใน N Pจะลดลงได้หลายเท่าเพื่อหาวิธีแก้ปัญหาเดียว
นั่นคืออัลกอริธึมแบบสุ่มเวลาที่มีความน่าจะเป็นที่สำเร็จโดยพลการใกล้กับ 1/2 คือเวลาพหุนามลดได้กับอัลกอริธึมแบบสุ่มเวลาที่มีข้อผิดพลาดด้านเดียว
นั่นคือสำหรับปัญหาใด ๆ ที่พิสูจน์ได้ในเวลาพหุนามการสุ่มให้การเร่งความเร็วพหุนามเวลาที่ดีที่สุด (แต่นี่เป็นเพียงข้อพิสูจน์ของลำดับชั้นพหุนามเวลา)
นั่นคือปัญหาใด ๆ ที่แก้ไขได้โดยคอมพิวเตอร์ควอนตัมได้ตรวจสอบใบรับรองสำหรับคำตอบของมันได้อย่างง่ายดาย; นี่จะเป็นผลลัพธ์เชิงบวกที่สำคัญในปรัชญาของกลศาสตร์ควอนตัมและอาจเป็นประโยชน์ต่อความพยายามในการสร้างคอมพิวเตอร์ควอนตัม (เพื่อตรวจสอบว่าพวกเขากำลังทำสิ่งที่พวกเขาตั้งใจจะทำ)
ทั้งหมดนี้เกิดจากการกักกันคลาสที่ด้านซ้ายมือใน (แม้ว่าเราจะมีB Q P ⊆ P P )
จุดหนึ่งที่ได้รับโดยปริยาย แต่ไม่ได้กล่าวถึงอย่างชัดเจนเลยก็คือว่าเราจะได้รับ P แม้ว่านี่จะเทียบเท่ากับP H ที่ยุบลงไปที่N Pแต่ก็ทำตามโดยตรงจากข้อเท็จจริงที่ว่าP S P A C Eถูกปิดภายใต้ส่วนประกอบที่สมบูรณ์ซึ่งเป็นเรื่องเล็กน้อยที่จะพิสูจน์
ฉันคิดว่าเป็นสิ่งที่ควรค่าแก่การชี้ตัวเองเพราะมีผลกระทบที่น่าประหลาดใจมากมาย: มีหลักฐานอันสั้น ๆ ที่เห็นเมื่อกราฟไม่ได้มี 3 สี * ไม่ใช่ * มิลโตเนียนเมื่อสองกราฟ เป็น * non- * isomorphic, ... และ (ในบางแง่มุมมากกว่าปกติ) ว่ามีระบบการพิสูจน์ Cook-Reckhow ซึ่งทุก ๆ ด้านเชิงประพจน์มีการพิสูจน์พหุนามขนาดใหญ่
ถ้า
1) พหุนามลำดับชั้นจะยุบไป P
2) ตอนนี้เราจะมีเนื่องจากเรารู้ว่าP S P A C E ≠ N L
--- UPDATE ---
3) เป็นที่รู้กันว่าโดยที่พวกเขาเป็นพื้นที่ลอการิทึมล้อมรอบรุ่นของN P , C = PและP Pตามลำดับ แล้วโดยไม่มีความหมายของการเรียนความซับซ้อนเหล่านี้อาจจะเท่ากับN Pภายใต้สมมติฐานว่าN P = P S P C E
In addition to the results pointed in all other answers, there is a one involving Interactive Proof Systems (), that are the generalization where Verifier and Prover exchange messages in order to recognize a language.
It is known that , so if , it means that only one message is sufficient! For me the more impressing of this result is that the Verifier wouldn't need to challenge the Prover and can trust the very first message sent by her.