Berman-Hartmanis Isomorphism cho NP

Sử dụng mô hình RAM / BSS thực, chúng ta có lớp NP , (trong đó BSS là mô hình Blum-Shub-Smale của một máy tính có hoạt động trên thực tế). Chúng tôi có NP hoàn thành vấn đề. Vì vậy, câu hỏi là có một sự tương tự của phỏng đoán Berman Hartmanis cho lớp NP không? Tất nhiên, câu hỏi được đặt ra ở đây phụ thuộc vào mô hình - nói cách khác, vì định nghĩa của NP sử dụng mô hình BSS, tất cả các vấn đề của NP -complete có cùng cấu trúc sử dụng mô hình BSS (điều này gần đúng với Berman- Phỏng đoán Hartmanis cho NP trên thực tế)? $_{\mathbb{R}}$ $_{\mathbb{R}}$ $_{\mathbb{R}}$ $_\mathbb{R}$ $_{\mathbb{R}}$

cc.complexity-theory computing-over-reals

— người dùng3483902
nguồn

Tùy thuộc vào phiên bản bạn sử dụng, có hoặc nó đang mở. Khi người ta xem xét các máy BSS chỉ sử dụng phép cộng và phép trừ và chỉ phân nhánh trên đẳng thức, câu trả lời là có. Nếu một bao gồm phân nhánh trên , tôi tin rằng nó vẫn mở và tương tự nếu một cho phép nhân. Để biết chi tiết, xem Cucker, Koiran và Matamala "Độ phức tạp và kích thước", Thông báo. Proc. Lett. 1997 $\mathsf{NP}_{\mathbb{R}}$ $<$

— Joshua Grochow
nguồn

Độ nhạy đối với các hoạt động là rất quan trọng đối với máy, ví dụ, nếu chúng ta chỉ cho phép bổ sung và nhân cho máy, các bộ được công nhận bởi máy BSS sẽ thay đổi.

— dùng3483902