Latar Belakang
Perhitungan atas bilangan real lebih rumit daripada perhitungan atas bilangan alami, karena bilangan real adalah objek tak terhingga dan ada banyak bilangan real, oleh karena itu bilangan real tidak dapat dengan setia diwakili oleh string berhingga pada alfabet terbatas.
Berbeda dengan komputasi klasik atas string hingga di mana model perhitungan yang berbeda seperti: kalkulus lambda, mesin Turing, fungsi rekursif, ... ternyata setara (setidaknya untuk komputasi dibandingkan fungsi pada string), ada berbagai model yang diusulkan untuk komputasi lebih dari bilangan real yang tidak kompatibel. Misalnya, dalam model TTE (lihat juga [Wei00]) yang merupakan yang paling dekat dengan model mesin Turing klasik, bilangan real direpresentasikan menggunakan kaset input tak terbatas (seperti ramalan Turing) dan tidak mungkin untuk memutuskan perbandingan dan hubungan kesetaraan antara dua bilangan real yang diberikan (dalam jumlah waktu terbatas). Di sisi lain dalam model BBS / real-RAM yang mirip dengan model mesin RAM, kami memiliki variabel yang dapat menyimpan bilangan real sewenang-wenang, dan perbandingan dan kesetaraan adalah di antara operasi atom model. Untuk alasan ini dan alasan serupa banyak ahli mengatakan bahwa model BSS / real-RAM tidak realistis (tidak dapat diimplementasikan, setidaknya tidak pada komputer digital saat ini), dan mereka lebih suka TTE atau model lain yang setara dengan TTE seperti model teori domain efektif, Model Ko-Friedman, dll.
Jika saya mengerti dengan benar , model standar perhitungan yang digunakan dalam Computational Geometry adalah model BSS (alias real-RAM , lihat [BCSS98]).
Di sisi lain, bagi saya tampaknya dalam implementasi algoritma dalam Computational Geometry (misalnya LEDA ), kita hanya berurusan dengan angka aljabar dan tidak ada objek tak terbatas yang lebih tinggi atau perhitungan yang terlibat (apakah ini benar?). Jadi nampak bagi saya (mungkin secara naif) bahwa seseorang juga dapat menggunakan model klasik perhitungan atas string terbatas untuk menangani angka-angka ini dan menggunakan model perhitungan yang biasa (yang juga digunakan untuk implementasi algoritma) untuk membahas kebenaran dan kompleksitas algoritma.
Pertanyaan:
Apa alasan mengapa para peneliti di bidang Computational Geometry lebih suka menggunakan model BSS / real-RAM? (Alasan Komputasi Geometri spesifik untuk menggunakan model BSS / real-RAM)
Apa masalah dengan gagasan (mungkin naif) yang telah saya sebutkan di paragraf sebelumnya? (menggunakan model klasik perhitungan dan membatasi input ke nomor aljabar dalam Komputasi Geometri)
Tambahan:
Ada juga kerumitan masalah algoritma, sangat mudah untuk memutuskan masalah berikut dalam model BSS / real-RAM:
Meskipun tidak ada algoritma integer-RAM yang efisien diketahui untuk menyelesaikannya. Terima kasih kepada JeffE untuk contohnya.
Referensi:
- Lenore Blum, Felipe Cucker, Michael Shub, dan Stephen Smale, "Complexity and Real Computation", 1998
- Klaus Weihrauch, " Analisis Komputasi, Suatu Pengantar ", 2000