Apakah masalah berikut telah dipelajari sebelumnya? Jika ya, pendekatan / algoritma apa yang dikembangkan untuk menyelesaikannya?
Masalah ("Masalah Ketinggian Penumpukan Maksimum")
Diberikan poligon, temukan susunannya yang stabil dan tidak tumpang tindih yang memaksimalkan ketinggian susunnya pada lantai tetap di bawah pengaruh gravitasi.
Contoh
Tiga poligon:
dan tiga dari pengaturan stabil dan tidak tumpang tindih tak terhingga banyaknya mereka, dengan ketinggian susun yang berbeda:
Klarifikasi
- Semua poligon memiliki massa seragam dan kepadatan yang sama
- Gesekan adalah nol
- Gravitasi bekerja pada setiap titik ke arah bawah (yaitu vektor gaya semuanya paralel)
- Konfigurasi tidak dianggap stabil jika bertumpu pada titik kesetimbangan yang tidak stabil (misalnya, segitiga hijau pada gambar tidak dapat menyeimbangkan pada salah satu simpulnya, bahkan jika massa ke kiri dan kanan titik keseimbangan sama)
- Untuk lebih memperjelas poin di atas: Sebuah poligon dianggap tidak stabil ("jatuh") kecuali ia bertumpu pada setidaknya satu titik ketat ke kiri dan setidaknya satu titik ketat di sebelah kanan pusat gravitasinya (definisi ini sangat menyederhanakan simulasi dan khususnya membuat integrasi posisi dll. tidak perlu untuk tujuan mengevaluasi apakah suatu pengaturan stabil atau tidak.
- Masalah dalam bentuk "fisik" adalah masalah terus menerus yang hanya dapat diselesaikan kira-kira untuk sebagian besar kasus. Untuk mendapatkan masalah tersendiri yang dapat diatasi secara algoritmik, batasi simpul poligon dan penempatannya dalam pengaturan ke kisi yang sesuai.
Catatan
- Pendekatan kekerasan apa pun jelas tidak mungkin dilakukan. Bahkan dengan kendala ketat pada penempatan poligon di dalam kisi (seperti menyediakan wilayah "ruang kisi" yang terbatas), kompleksitasnya meledak lebih dari beberapa poligon.
- Algoritma iteratif harus membawa beberapa heuristik yang sangat pintar karena mudah untuk membangun pengaturan di mana menghapus setiap poligon tunggal dalam konfigurasi menjadi tidak stabil dan pengaturan tersebut tidak dapat dijangkau oleh algoritma yang mengandalkan setiap langkah menengah yang stabil.
- Karena masalahnya berbau setidaknya NP- tetapi lebih mungkin EXPTIME-lengkap dalam jumlah total simpul, bahkan heuristik akan sangat menarik. Satu hal yang memberi harapan adalah kenyataan bahwa kebanyakan manusia akan mengenali bahwa pengaturan ketiga dalam contoh adalah optimal.
Untuk definisi "tidak stabil" (walaupun mungkin tidak untuk definisi yang lebih akurat), seseorang pada prinsipnya dapat menyelesaikan masalah dengan menghilangkan kuantifikasi bidang tertutup nyata .
@ RickyDemer: Saya benar-benar ingin memahami itu tetapi sayangnya, meskipun saya melirik kertas dan mengikuti poin utama, saya gagal melihat hubungannya. Bisakah Anda memberi saya beberapa petunjuk lagi? Tautan antara masalah susun dan aljabar tentu terdengar menarik.
Itu mungkin karena saya salah menghubungkan ke prosedur keputusan daripada algoritma penghilangan kuantifier . Makalah ini adalah referensi yang jauh lebih baik untuk apa yang saya bicarakan.Saya juga menemukan sebuah makalah tentang beberapa kasus kuadrat yang mungkin cukup ketika koordinat verteks semuanya rasional.
:) Saya juga menemukan beberapa bahan yang secara eksplisit menghubungkan geometri komputasi dengan eliminasi kuantifier. Sekarang saya mengerti apa yang Anda maksud dengan "meskipun mungkin bukan untuk yang lebih akurat"; memang, tampaknya mustahil untuk memperluas metode formal murni ke fisika "nyata", di mana kendala kompleks seperti persamaan diferensial ikut bermain. Namun demikian, terima kasih atas sudut serangan yang sangat menarik, saya akan meluangkan waktu untuk mempelajarinya.