Isomorfisme Berman-Hartmanis untuk NP

Menggunakan model real-RAM / BSS, kami memiliki kelas NP R , (di mana BSS adalah model Blum-Shub-Smale komputer dengan operasi lebih dari real). Kami memiliki masalah lengkap NP R. Jadi, pertanyaannya adalah adakah analog dugaan Berman Hartmanis untuk kelas NP R ? Tentu saja, pertanyaan yang diajukan di sini tergantung pada model - dengan kata lain, karena definisi NP R menggunakan model BSS, apakah semua masalah NP R -lengkap memiliki struktur yang sama menggunakan model BSS (ini mendekati Berman- Dugaan Hartmanis untuk NP lebih dari real)?$_{\mathbb{R}}$$_{\mathbb{R}}$$_{\mathbb{R}}$$_\mathbb{R}$$_{\mathbb{R}}$

Tergantung pada versi yang Anda gunakan, ya atau itu terbuka. Ketika seseorang menganggap mesin BSS yang hanya menggunakan penambahan dan subtaksi, dan hanya cabang pada kesetaraan, jawabannya adalah ya. Jika seseorang termasuk percabangan pada < , saya percaya itu masih terbuka, dan sama jika seseorang memperbolehkan penggandaan. Untuk perincian, lihat Cucker, Koiran, dan Matamala "Kompleksitas dan dimensi," Informasikan. Proc Lett. 1997$\mathsf{NP}_{\mathbb{R}}$$<$