Aplikasi metode cabang-dan-terikat yang berhasil untuk masalah NP-hard

13

Branch and bound adalah heuristik yang efektif untuk masalah pencarian, dan Wikipedia mencantumkan sejumlah masalah sulit di mana branch-and-bound telah digunakan. Namun, saya belum dapat menemukan referensi untuk menyarankan bahwa itu lebih dari sekedar "satu metode" untuk menyelesaikan masalah ini.

Secara anekdot, saya pernah mendengar bahwa beberapa heuristik terbaik untuk SAT dan pemrograman integer berasal dari cabang dan terikat, jadi pertanyaan saya adalah:

Dapatkah seseorang mengarahkan saya ke referensi yang merinci penggunaan cabang yang efektif dan terikat untuk masalah NP-hard?

Suresh Venkat
sumber
1
Saya baru saja membaca makalah ini untuk alasan yang berbeda, tetapi tampaknya menyentuh pertanyaan Anda, dan itu menarik: Algoritma Portofolio oleh Gomes dan Selman.
Aaron Sterling
2
Buku bagus untuk dibaca tentang pemrograman integer adalah Integer and Combinatorial Optimization oleh Nemhauser & Wolsey. Meliputi berbagai topik termasuk paradigma yang berbeda seperti cabang dan terikat, cabang dan memotong, dll. Dan teknik IP lainnya seperti memotong pesawat, dll.
Memilih

Jawaban:

9

Untuk TSP, periksa buku ini ... http://www.tsp.gatech.edu/book/index.html

Pemahaman saya adalah bahwa tidak ada satu alat untuk membunuh mereka semua. Bisa dibilang setiap solusi rekursif menggunakan backtracking dan beberapa fungsi penilaian menggunakan cabang dan terikat. Dengan demikian, sebagian besar pemecah masalah sulit NP menggunakan beberapa bentuk cabang dan terikat.

Sariel Har-Peled
sumber