Struktur contoh patologis untuk algoritma simpleks

17

Sejauh yang saya mengerti, semua tahu aturan pivot deterministik untuk algoritma simpleks memiliki input spesifik yang algoritma membutuhkan waktu eksponensial (atau setidaknya tidak polinomial) untuk menemukan yang optimal. Mari kita sebut contoh ini 'patologis' karena biasanya (yaitu pada sebagian besar input) algoritma simpleks berakhir dengan cepat. Saya ingat dari kursus pemrograman matematis saya bahwa contoh standar dari contoh patologis untuk aturan spesifik sangat terstruktur. Pertanyaan umum saya adalah apakah ini merupakan artefak dari contoh spesifik, atau fitur contoh patologis secara umum?

Hasil seperti analisis yang diperhalus dan algoritma waktu polinomial yang diperluas bergantung pada gangguan input --- menunjukkan bahwa contoh-contoh patologis sangat istimewa. Oleh karena itu intuisi bahwa contoh-contoh patologis sangat terstruktur tampaknya tidak terlalu jauh.

Apakah ada yang punya wawasan khusus tentang ini? Atau beberapa referensi untuk pekerjaan yang ada? Saya telah secara khusus tidak jelas tentang apa yang saya maksud dengan 'terstruktur' untuk mencoba menjadi seluas mungkin, tetapi saran tentang bagaimana lebih baik dijabarkan 'terstruktur' juga akan berguna. Setiap saran atau referensi sangat dihargai!

Artem Kaznatcheev
sumber
1
Saya tidak yakin apakah saya telah memahami pertanyaan Anda, tetapi kebalikan dari "terstruktur" tampaknya menjadi "acak." ), mungkin orang tidak tertarik untuk membangun contoh buruk untuk aturan pivot tertentu karena aturan pivot tertentu tidak berguna.
Tsuyoshi Ito
Apakah Anda bertanya: untuk aturan berputar tetap, berapakah probabilitas bahwa kejadian acak akan patologis? yaitu analisis kasus rata-rata dari algoritma?
Kaveh
Saya tidak meminta kemungkinan bahwa contoh acak bersifat patologis. Saya benar-benar hanya bertanya apakah contoh patologis memiliki struktur khusus untuk mereka. Seperti yang ditunjukkan Tsuyoshi, saya harus benar-benar membatasi itu pada aturan poros 'baik', apa pun artinya. Ada saran tentang cara membuatnya lebih jelas?
Artem Kaznatcheev
4
Saya percaya banyak contoh patologis adalah kubus yang sisi-sisinya telah terganggu secara jahat, tetapi saya sudah lama melihatnya bahwa ingatan saya bisa saja salah.
Peter Shor

Jawaban:

16

Amenta dan Ziegler membuktikan bahwa semua konstruksi yang dikenal saat ini dari instance eksponensial untuk simpleks mengikuti struktur tertentu yang mereka sebut "produk cacat":

Produk Cacat dan Bayangan Maksimal Polytopes oleh Amenta dan Ziegler

Namun, saya tidak berpikir ada alasan untuk percaya bahwa semua contoh buruk untuk simpleks memiliki struktur ini. Ini mungkin hanya artefak dari proses penelitian:

  1. Klee dan Minty menemukan contoh waktu-eksponensial pertama.
  2. Peneliti lain melihat dan teknik Klee dan Minty dan memperluasnya ke aturan pivot lainnya. Mereka secara alami mengambil jalan perlawanan paling sedikit dan mengikuti kubus Klee-Minty sedekat mungkin.
  3. Begitu seseorang menemukan satu contoh buruk untuk aturan pivot, tidak ada insentif bagi orang untuk mencari lebih banyak. Hasilnya, semua contoh buruk yang kita tahu memiliki struktur yang serupa.
Ian
sumber
1
Saya selalu suka jawaban sosiologis untuk pertanyaan matematika;). Terima kasih atas jawabannya! Saya akan melihat lebih dekat pada AmentaZiegler1996, apakah Anda tahu hasil sejak '96 yang bekerja dengan baik pada produk cacat? Saya menemukan sebuah makalah oleh Norman Zadeh (dari 1980 dan 2009) yang bahkan dalam versi '80 -an [ stanford.edu/group/SOL/reports/OR-80-27.pdf ] menyebutkan mengatasi konstruksi produk cacat.
Artem Kaznatcheev
"Produk cacat" jelas merupakan gagasan intuitif dalam komunitas LP berpuluh-puluh tahun sebelum Nina dan Gunter memformalkannya. Tentu saja itu deskripsi akurat kubus Klee-Minty!
Jeffε
1
Lihat juga batas bawah eksponensial Matoušek dan Szabo untuk RANDOM EDGE pada "kubus abstrak", yang dapat dilihat sebagai sepupu kombinatorial produk cacat Amenta dan Ziegler: portal.acm.org/citation.cfm?id=1033164
Jeff