โพสต์ปัญหาจดหมายโต้ตอบใน NP หรือไม่

ฉันเพิ่งอ่านบางหน้าในหนังสือของ Sipser รู้เบื้องต้นเกี่ยวกับทฤษฎีการคำนวณเกี่ยวกับปัญหาการติดต่อทางไปรษณีย์และฉันคิดว่า PCP เป็นจริงใน NP ผู้รับรองคือ: สำหรับการกำหนดค่าอินพุตของเสาเข็ม ต่อเชื่อมเป็นสตริงและเชื่อมเป็นสตริงจากนั้นเปรียบเทียบและเพื่อดูว่าทั้งสองมีค่าเท่ากันหรือไม่และสรุปได้ว่าอินพุตเป็นทางออกของ PCP

ปัญหาการโพสต์จดหมายไม่สามารถตัดสินใจได้และโดยเฉพาะอย่างยิ่งมันไม่ได้อยู่ใน NP เหตุผลที่ความคิดของคุณใช้ไม่ได้เพราะพยานไม่จำเป็นต้องมีขนาดพหุนาม (อันที่จริงคุณแค่พิสูจน์มัน) นั่นคือเพื่อให้ผู้รับรองของคุณพิสูจน์ว่าปัญหาการโพสต์การติดต่ออยู่ใน NP มันต้องทำงานในเวลาพหุนาม (ในแง่ของขนาดของอินสแตนซ์ PCP ) ปรากฎว่าในกรณีนี้มักจะมีวิธีแก้ปัญหาขนาดพหุนามไม่ได้แม้ว่าจะแก้ปัญหาได้ ในความเป็นจริงไม่มีการคำนวณที่ถูกผูกไว้กับขนาดของการแก้ปัญหาที่อาจเกิดขึ้นเพราะมิฉะนั้นปัญหาจะสามารถตัดสินใจได้!

พยานของคุณคือพหุนามในขนาดของการแก้ปัญหาไม่ได้อยู่ในขนาดของการป้อนข้อมูล คุณไม่มีทาง จำกัด ขอบเขตความยาวของโซลูชันที่เป็นไปได้ หลักฐานของคุณแสดงให้เห็นว่า PCP สามารถนับซ้ำได้