Ізоморфізм Бермана-Хартманіса для NP ?

Використовуючи модель real-RAM / BSS, ми маємо клас NP , (де BSS - модель Blum-Shub-Smale комп'ютера з операціями над реалами). У нас NP повні проблеми. Отже, питання, чи є аналог гіпотези Бермана Хартманіса для класу NP ? Звичайно, поставлене тут питання залежить від моделі - іншими словами, оскільки визначення NP використовує модель BSS, чи всі NP -повні проблеми мають та ж структура, що використовує модель BSS (це наближає гіпотезу Бермана-Хартманіса для NP над реалами)?$_{\mathbb{R}}$$_{\mathbb{R}}$$_{\mathbb{R}}$$_\mathbb{R}$$_{\mathbb{R}}$

Залежно від того, яку версію ви використовуєте, так чи вона відкрита. Якщо враховувати машини BSS, які використовують лише додавання та віднімання, і лише гілкують рівність, відповідь - так. Якщо включено розгалуження на , я вважаю, що воно все ще відкрите, і те саме, якщо дозволяють множення. Докладніше див. У Cucker, Koiran та Matamala "Складність та розмірність", Inform. Зб. Лет. 1997 рік$\mathsf{NP}_{\mathbb{R}}$$<$