คำถามติดแท็ก interactive-proof-systems

ฉันสงสัยว่ามีปัญหาที่สมบูรณ์ในระดับความซับซ้อนของ Arthur-Merlin หรือไม่ กราฟ Non-Isomorphism (GNI) น่าจะเป็นตัวอย่างที่เป็นที่ยอมรับของปัญหาใน AM แต่มันอาจไม่สมบูรณ์ ฉันคิดว่าฉันยังสงสัยว่าปัญหา "สมบูรณ์" นั้นเป็นที่ชัดเจนสำหรับ AM หรือไม่ ตั้งแต่ AM = BP.NP ดูเหมือนว่าการ "ลด" กับ AM อาศัยการลดแบบสุ่มเป็น 3SAT มากกว่าการลด Karp ที่เราใช้สำหรับคลาสที่ซับซ้อนที่กำหนดขึ้น ดังนั้นอาจเนื่องจากการลด Karp ไม่มีข้อผิดพลาด "Karp ที่ลดลงเป็นปัญหา AM" ไม่มีความหมายใด ๆ ดังนั้นจึงเป็นการยกเลิกความคิดปกติที่เราใช้ของปัญหา "สมบูรณ์"

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

ฉันกำลังพยายามทำความเข้าใจกับระบบพิสูจน์การโต้ตอบและลองใช้ปัญหาต่อไปนี้เป็นการออกกำลังกาย เรารู้ว่าและดังนั้นมาพร้อมกับระบบการพิสูจน์แบบโต้ตอบ (เข้าใจง่าย) สำหรับ ?PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACEIP=PSPACEIP=PSPACEIP=PSPACEPHPHPH ระบบหลักฐานโต้ตอบสำหรับเป็นเล็กน้อย แต่ฉันไม่ได้รับการพิสูจน์ระบบโต้ตอบแม้สำหรับcoNPคุณรู้ถึงระบบพิสูจน์แบบโต้ตอบที่ชัดเจน (โดยชัดแจ้งฉันหมายถึงโดยไม่ต้องผ่านเส้นทาง ) สำหรับ ?NPNPNPcoNPcoNPcoNPIP=PSPACEIP=PSPACEIP=PSPACEcoNPcoNPcoNP

9 complexity-theory  interactive-proof-systems