NP için Berman-Hartmanis İzomorfizmi ?

Gerçek RAM / BSS modelini kullanarak, NP sınıfına sahibiz (burada bir BSS , gerçekler üzerinde işlemleri olan bir bilgisayarın Blum-Shub-Smale modelidir). NP tam sorunlarımız var. Soru şu: NP sınıfı için Berman Hartmanis varsayımının bir analogu var mı? Tabii ki, burada yöneltilen soru modele bağlıdır - başka bir deyişle, NP tanımı BSS modelini kullandığından, NP problemlerin tümünü BSS modelini kullanarak aynı yapı (gerçekler üzerinde NP için Berman-Hartmanis varsayımına yaklaşır)?$_{\mathbb{R}}$$_{\mathbb{R}}$$_{\mathbb{R}}$$_\mathbb{R}$$_{\mathbb{R}}$

Hangi sürümünü kullandığınıza bağlı olarak, evet veya açıktır. Sadece toplama ve çıkarma kullanan ve sadece eşitlik dalını kullanan BSS makineleri düşünüldüğünde, cevap evettir. Eğer biri üzerinde dallanma içeriyorsa , hala açık olduğuna inanıyorum ve çarpmalara izin veriyorsa aynıdır. Ayrıntılar için, bkz. Cucker, Koiran ve Matamala "Karmaşıklık ve boyut". Proc. Lett. 1997$\mathsf{NP}_{\mathbb{R}}$$<$