Buku terbaik tentang implementasi Metode Simplex?


14

Saya tertarik untuk mengimplementasikan tugas SM untuk LP, namun saya telah mendengar tentang kemungkinan jebakan: Buku Cormen mengatakan bahwa adalah mungkin untuk memiliki data input yang akan membuat implementasi naif untuk berperilaku dalam waktu yang eksponensial. Saya juga mendengar bahwa implementasi yang naif dapat mengulang untuk beberapa jenis data.

Apakah ada buku / kertas / sumber yang menjelaskan nuansa implementasi praktis SM?

Terima kasih sebelumnya.


Jawaban:


13

Saya sangat merekomendasikan makalah oleh Bixby, "bapak" dari CPLEX, yang mensurvei tidak hanya pada aspek implementasi dari algoritma simpleks (revisi): Robert E. Bixby , Memecahkan Program Linear Dunia Nyata: Satu Dekade dan Lebih Banyak Kemajuan , Operasi Penelitian (50) 2002, 3-15 .


12

Algoritma simpleks tidak dalam P. CLRS karena itu menyatakan bahwa, meskipun dalam praktiknya bekerja "baik", ada beberapa input yang menyebabkan algoritma untuk berjalan dalam waktu eksponensial. Ini benar-benar terkait dengan algoritma, bukan pada implementasinya: Anda akan menghadapi ini secara independen dari seberapa tepatnya Anda mengimplementasikan algoritma. Namun, LP ada di P. Ini dibuktikan oleh Khachian pada 1979, namun algoritma ellipsoidnya tidak praktis. Saat ini, metode titik interior banyak digunakan. Yang pertama ditemukan oleh Karmarkar pada tahun 1984.

Jika Anda tertarik dengan implementasi praktis, lihat:

GUROBI, gratis untuk penggunaan akademis, saat ini merupakan pengoptimal terbaik yang tersedia (baik versi paralel berurutan maupun memori bersama):

http://www.gurobi.com

perpustakaan GLPK:

http://www.gnu.org/software/glpk/

ini adalah proyek open source, menyediakan implementasi untuk:

  • metode primal dan dual simplex
  • metode interior-titik primal-dual
  • metode cabang-dan-potong
  • penerjemah untuk GNU MathProg
  • antarmuka program aplikasi (API)
  • pemecah LP / MIP yang berdiri sendiri

12
Memang. Saya sangat merekomendasikan untuk TIDAK mencoba menerapkan simpleks sendiri, kecuali itulah inti dari latihan ini. Jika Anda hanya ingin menggunakannya, metode rak jauh lebih baik. Juga, CPLEX gratis untuk penggunaan akademis jika itu sesuai untuk Anda.
Suresh Venkat

1
Apakah ada implementasi sumber terbuka LP (seperti MPI) yang didistribusikan?
Tomek Tarczynski

3
@Tomek LP lengkap-P dan tidak mungkin memiliki paralelisasi yang efisien.
Marcus Ritt

@ Tomek: Simphony menyediakan versi terdistribusi yang saat ini berjalan di lingkungan apa pun yang didukung oleh protokol pengiriman pesan PVM (MPI belum didukung). Kode sumber yang sama juga dapat dikompilasi untuk arsitektur memori bersama menggunakan kompiler compliant apa pun OpenMP .. Lihat branchandcut.org dan situs web COIN-OR yang sangat terkait: coin-or.org
Massimo Cafaro

9
CPLEX mungkin merupakan implementasi terbaik dari LP yang saat ini tersedia (itu sebabnya orang membayar begitu banyak untuk itu), tetapi hampir semua implementasi yang banyak digunakan akan jauh lebih baik daripada apa pun yang Anda program sendiri. Ini termasuk paket Matematika, Maple, dan MATLAB. Ada banyak implementasi di sekitar, termasuk beberapa yang gratis yang cukup bagus (QSopt, untuk satu, yang gratis jika Anda tidak berencana menggunakannya untuk tujuan komersial), jadi pemrograman sendiri hanya bermanfaat untuk pengalaman belajar.
Peter Shor

9

Buku Pemrograman Linier Vanderbei membahas banyak detail tingkat rendah ... Tetapi seperti jawaban / komentar lain yang disarankan, menerapkan solver LP adalah tugas yang sulit dan tanpa pamrih. Off the shelf solver mungkin adalah cara untuk pergi ... (Ada juga beberapa pemecah LP open source ...)


6

Bukan hanya implementasi naif yang terkadang berperilaku dalam waktu eksponensial. Bahkan, saya pikir semua aturan deterministik dan acak yang diketahui memiliki input kasus terburuk super-polinomial. Sebagian besar input diketahui yang menghasilkan perilaku kasus terburuk ini sangat terstruktur, pertanyaan terkait:

Struktur instance patologis untuk algoritma simpleks

Namun, dalam praktiknya SM berfungsi dengan baik. Ini telah diformalkan dengan diperkenalkannya analisis yang dihaluskan yang pada dasarnya merupakan analisis kasus terburuk dengan input yang sedikit terganggu. Di bawah analisis ini, SM adalah polytime, dengan kata lain, untuk setiap input (bahkan yang patologis) ada sedikit gangguan yang memungkinkan algoritma bekerja dengan baik. Wawasan ini telah ditransformasikan menjadi algoritma acak yang berkinerja dalam polytime. Namun, sejauh yang saya mengerti, masih ada beberapa perdebatan tentang apakah algoritma ini memenuhi syarat sebagai algoritma simpleks 'benar'. Saya juga tidak mengetahui apakah paket standar mengimplementasikan sesuatu seperti ini, tetapi Anda harus dapat menemukan beberapa implementasi jika Anda mencari di sekitar, karena hasilnya berusia 5+ tahun.


1

Anda dapat memeriksa Luenberger, Ye, Linear and Nonlinear Programming, edisi ke-3. Kelihatannya cukup komprehensif, tetapi saya belum sampai sejauh ini untuk mengatakan apakah itu sepenuhnya menjawab pertanyaan Anda.

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.