NP

使用real-RAM / BSS模型，我们得到NP R类（其中BSS是对实数进行操作的计算机的Blum-Shub-Smale模型）。我们有NP R完全问题。因此，问题是是否存在NP R类的Berman Hartmanis猜想的类似物？当然，这里提出的问题取决于模型-换句话说，由于NP R的定义使用BSS模型，是否所有NP R-完全问题都使用BSS模型具有相同的结构（这近似于Berman- Hartmanis猜想NP是否超过实数）？$_{\mathbb{R}}$$_{\mathbb{R}}$$_{\mathbb{R}}$$_\mathbb{R}$$_{\mathbb{R}}$

是或否，取决于您使用的版本。当人们考虑仅使用加法和减法并且仅在相等性上分支的BSS机器时，答案是肯定的。如果其中包括在<上的分支，我相信它仍然是开放的，并且如果允许乘法也是如此。有关详细信息，请参见Cucker，Koiran和Matamala的“复杂性和维度”，Inform。程序 来吧 1997年$\mathsf{NP}_{\mathbb{R}}$$<$