Bukti singkat dan apik dari teorema dualitas yang kuat untuk pemrograman linier


10

Pertimbangkan program linier

Primal:AxbmaxcTx
Dual:cyTAminyTb

Teorema dualitas yang lemah menyatakan bahwa jika x dan y memenuhi kendala maka cTxyTb . Ini memiliki bukti pendek dan apik menggunakan aljabar linier: cTxyTAxyTb .

Teorema dualitas yang kuat menyatakan bahwa jika x adalah solusi optimal untuk primal maka ada y yang merupakan solusi untuk dual dan cTx=yTb .

Apakah ada bukti yang sama pendek dan apik untuk teorema dualitas yang kuat?


1
Bab 4 dari kursus online MIT web.mit.edu/15.053/www oleh Bradley, Hax, dan Magnanti memberikan bukti yang cukup singkat di sepanjang baris ini. Apakah ini yang Anda cari?
cody

@cody, well, sepertinya pada dasarnya sama dengan yang ada di CLRS. Ini bisa baik-baik saja jika Anda bisa mengekspresikannya dengan cara aljabar linier yang apik (yaitu tanpa jumlah)
Kaveh

Sepertinya apa yang saya inginkan mungkin tidak mungkin. Farkas menggunakan kedekatan ruang yang berarti mungkin tidak ada bukti aljabar linier murni.
Kaveh

Mencoba menemukan sesuatu yang tidak terlalu merepotkan diri sendiri, untuk ditunjukkan kepada murid-murid saya (sehingga mereka tidak harus hanya mengambil dualitas yang kuat pada iman), dan sebagian besar dari apa yang saya temui lebih dalam kategori terlalu rumit. Baru saja menemukan argumen dalam catatan dari kelas Dan Spielman, yang cukup singkat dan tampaknya sederhana. Tidak yakin apakah menyembunyikan beberapa kompleksitas, atau apakah ada sesuatu yang hilang? (Belum memeriksanya dengan cukup teliti untuk diceritakan.) Cs.yale.edu/homes/spielman/BAP/lect12.pdf
Magnus Lie Hetland

Ah, saya kira titik sentral adalah interpretasi geometris dalam kuliah sebelumnya, yang membawa kita kembali ke keluarga Simplex of proofs: cs.yale.edu/homes/spielman/BAP/lect11/lect11.pdf
Magnus Lie Hetland

Jawaban:


3

Mungkin tidak. Berikut adalah argumen konseptual berdasarkan

Farkas Lemma : Persis salah satu dari alternatif berikut memiliki solusi:

  1. Axb danx0
  2. yTA0 danyTb<0

Sekarang mari menjadi nilai objektif optimal dari primal. Biarkan menjadi arbitrer. Biarkan menjadi dengan tambahan sebagai baris terakhir. Biarkan menjadi dengan tambahan sebagai nilai terakhir.δϵ>0AAcTbbδϵ

Sistem tidak memiliki solusi. Oleh Farkas, ada sedemikian rupa sehingga:Axby=(y,α)

yTAαc dan .yTb<α(δ+ϵ)

Perhatikan bahwa jika kita berada dalam alternatif lain dari Farkas. Karena itu .ϵ=0α>0

Skala sehingga . layak ganda. Dualitas yang lemah menyiratkan .yα=1yδyTb<δ+ϵ


Saya pikir ini adalah bukti dalam catatan kuliah Jeff Erickson . Saya mencari sesuatu yang menghindari hal-hal epsilon (seperti aljabar linier murni).
Kaveh

2
Apa yang dimiliki JeffE sedikit berbeda, dan lebih menjelaskan geometri. Bagaimanapun, Anda tidak akan menemukan apa yang Anda inginkan, dalam arti bahwa wilayah yang layak adalah polyhedron, bukan ruang linear, jadi pada akhirnya sesuatu akan perlu memanfaatkannya. (Di sini, ia bersembunyi di Farkas. Buku Gärtner dan Matoušek adalah referensi yang sangat bagus untuk barang-barang ini. Saya cukup yakin buktinya ada di sana.)
Louis
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.