คำถามนี้เกี่ยวกับหน้า 125 ของหนังสือ "Cellular automata ในช่องว่างเกินความจริง: เล่มที่ 2" โดย Maurice Margenstern สำนักพิมพ์ผู้จัดเก็บร่วมสมัย 2008
http://books.google.com/books?id=eEgvfic3A4kC&pg=PA125
ในความเห็นของผู้เขียนคำถาม P = NP จะไม่ดีถูกวางเพราะในการตั้งค่า P = NP ผ่อนชำระหรือสัญกรณ์ใช้ต่อไปในหนังสือ P H = NP ชั่วโมง
ฉันไม่รู้ความซับซ้อนเพียงพอที่จะรู้ว่าจะต้องทำอะไร แต่ฟังดูน่าสนใจ
ดังนั้นคำถามคือโดยพื้นฐานแล้วคุณทำอะไรลงไป
การเรียกร้องของเขาสมเหตุสมผลหรือไม่?
คำตอบ:
P = NP เป็นคำถามทางคณิตศาสตร์ที่กำหนดไว้อย่างดีซึ่งไม่ได้ขึ้นอยู่กับรูปทรงเรขาคณิตของเวลาว่าง คำถาม "ปัญหาใดบ้างที่สามารถแก้ไขได้ด้วยการคำนวณที่ใช้ง่ายที่สุดในจักรวาลนี้" อาจขึ้นอยู่กับฟิสิกส์และคำตอบดูเหมือนจะเปลี่ยนไปในอวกาศซึ่งเกินความจริงหรือด้วยกลศาสตร์ควอนตัม (เช่นการคำนวณควอนตัม) อย่างไรก็ตามสิ่งนี้จะไม่ส่งผลต่อคำถาม P = NP
ในความเป็นจริงหนึ่งในปฏิกิริยาแรกของนักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีจะต้องมีการอ้างอิงของคุณคือ: "ระดับความซับซ้อนอะไรที่สามารถคำนวณได้โดยหุ่นยนต์เซลลูลาร์ในพื้นที่ซึ่งเกินความจริง?" ถ้าคุณกำหนดคลาสความซับซ้อนเมื่อคุณเปลี่ยนเป็นไฮเพอร์โบลิกสเปซมันจะยากที่จะพูดถึงคำถามนี้
และถ้าคุณดูในหนังสือเล่มต่อมาผู้แต่งจะนิยาม Pว่าเป็นปัญหาที่แก้ไขได้ในเวลาพหุนามในระบบออโตแบบไฮเพอร์โบลิกแบบไฮเพอร์โบลิกและพิสูจน์ P = PSPACE (และ NP = P = PSPACE) เรียนคลาสที่ซับซ้อนเพื่อเปลี่ยนพื้นที่ไฮเพอร์โบลิกจริงๆ