Apakah cukup untuk kendala program linier untuk dipenuhi dalam harapan?


14

Dalam makalah ini, Randomized Primal-Dual analisis RANKING untuk Online Bipartite Matching , sementara membuktikan bahwa algoritma RANKING adalah -competitive, penulis menunjukkan bahwa dual tersebut layak dalam harapan (lihat Lemma 3 di halaman 5). Pertanyaanku adalah:(11e)

Apakah cukup untuk kendala program linier untuk dipenuhi dalam harapan?

Adalah satu hal untuk menunjukkan bahwa nilai yang diharapkan dari fungsi objektif adalah sesuatu. Tetapi jika kendala kelayakan dipenuhi dalam ekspektasi, tidak ada jaminan bahwa itu akan puas pada jangka yang diberikan. Apalagi ada banyak kendala seperti itu. Jadi apa jaminan bahwa SEMUA dari mereka akan puas pada jangka waktu tertentu?


1
Anda mungkin terbantu untuk membaca posting blog singkat Claire Mathieu tentang analisis ini. Kalimat kuncinya adalah "Ini membuktikan kelayakan dari rata-rata dual." (Solusi ganda yang benar-benar Anda gunakan, dan yang layak, adalah rata - rata dari dual dalam analisis.)
Neal Young

1
perhatikan bahwa jawaban untuk pertanyaan Anda adalah ya secara umum juga, dalam arti bahwa jika kendala linear dipenuhi dalam harapan, maka solusi yang diberikan dengan menetapkan masing-masing variabel nilai yang diharapkan layak (dan memiliki biaya yang sama dengan biaya yang diharapkan). keajaiban linearitas harapan;)
Sasho Nikolov

Terima kasih usul, Neal dan Sasho untuk mengklarifikasi poin halus ini.
Arindam Pal

Jawaban:


19

Saya pikir kesulitannya adalah bahwa kata-kata ini sedikit menyesatkan; karena mereka menyatakan lebih jelas dalam Pendahuluan (1.2), "nilai-nilai yang diharapkan dari variabel ganda merupakan solusi ganda yang layak."

Untuk setiap pengaturan tetap dari variabel ganda , kami mendapatkan beberapa solusi primal dari nilai dan solusi ganda dari nilai . (Dual tidak mungkin dalam beberapa kasus ini, tapi tidak apa-apa.)Xf(X)ee-1f(X)

Jadi nilai yang diharapkan dari primal atas semua berjalan dari algoritma adalah . Tetapi adalah solusi dua-layak, jadi ada solusi ganda nilai . Trik kuncinya adalah bahwa adalah linear dalam variabel ganda : Faktanya, di sini variabel ganda adalah dan , dan setiap pencocokan simpul ke menambahkan total ke tujuan awal. Jadi dan kesimpulannya berikut.E[f(X)]E[X]ee-1f(E[X])f(X)Xαsayaβjsayaj(e-1e)(αsaya+βj)E[f(X)]=f(E[X])

(Sebagai catatan, saya merasa bahwa, karena poin ini adalah salah satu fokus utama dari makalah mereka (menurut abstrak), akan lebih baik jika mereka menjelaskan poin ini! Tampaknya sama sekali tidak jelas bagi saya, dan saya ingin mencari tahu kapan itu benar secara umum.)


2
jawaban yang sangat bagus
Suresh Venkat
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.