Berman-Hartmanis Isomorphism สำหรับ NP

การใช้โมเดล real-RAM / BSS ทำให้เรามีคลาส NP , (โดยที่BSSเป็นแบบจำลอง Blum-Shub-Smale ของคอมพิวเตอร์ที่มีการทำงานมากกว่า reals) เรามี NPปัญหาที่สมบูรณ์ ดังนั้นคำถามคือมีการคาดคะเนของ Berman Hartmanis สำหรับคลาส NPหรือไม่? แน่นอนคำถามที่ถูกวางที่นี่ขึ้นอยู่กับรุ่น - ในคำอื่น ๆ ตามคำจำกัดความของ NPใช้แบบจำลอง BSS ทำทุกปัญหา NP - ปัญหาที่สมบูรณ์มี โครงสร้างเดียวกันโดยใช้แบบจำลอง BSS (ซึ่งใกล้เคียงกับการคาดคะเนของ Berman-Hartmanis สำหรับ NP มากกว่า reals)?$_{\mathbb{R}}$$_{\mathbb{R}}$$_{\mathbb{R}}$$_\mathbb{R}$$_{\mathbb{R}}$

ขึ้นอยู่กับเวอร์ชันของคุณใช้ใช่หรือเปิดอยู่ เมื่อพิจารณาจากเครื่อง BSS ที่ใช้การเพิ่มและการลบเท่านั้นและแยกเฉพาะในความเท่าเทียมคำตอบคือใช่ หากมีการแยกสาขาใน<ฉันเชื่อว่ามันยังคงเปิดอยู่และเหมือนกันหากมีการอนุญาตการคูณ สำหรับรายละเอียดดูCucker, Koiran และ Matamala "ความซับซ้อนและมิติ" แจ้ง พร เลทท์ 1997$\mathsf{NP}_{\mathbb{R}}$$<$