Pemotongan minimum dalam grafik asiklik langsung tertimbang dengan kemungkinan bobot negatif


9

Saya mengalami masalah berikut:

Diberikan grafik asiklik terarah dengan bobot tepi bernilai nyata, dan dua simpul s dan t, menghitung potongan minimum.

Untuk grafik umum ini adalah NP-hard, karena orang dapat dengan mudah mengurangi max-cut untuk itu hanya dengan membalik bobot edge (koreksi saya jika saya salah).

Bagaimana situasinya dengan DAG? Dapatkah min-cut (atau max-cut) diselesaikan dalam waktu polinomial? Apakah NP-keras dan, jika demikian, apakah ada algoritma perkiraan yang dikenal?

Saya mencoba mencari pekerjaan pada ini tetapi tidak dapat (mungkin saya hanya menggunakan kata kunci yang salah dalam pencarian saya), jadi saya berharap seseorang dapat mengetahui (atau menemukan) sesuatu tentang ini.


2
Di mana formulasi pemrograman linier dari min-cut gagal di sini?
Peter Shor

(menggunakan notasi dari en.wikipedia.org/wiki/… ): Untuk tepi dengan bobot negatif d_ {ij} dapat menjadi besar secara sewenang-wenang. Bahkan jika satu batas d_ {ij} dari atas, ia akan selalu mengambil nilai maksimum yang mungkin untuk tepi dengan bobot negatif. Jadi solusi untuk program semacam itu tidak akan selalu menghasilkan potongan yang valid. Saya mungkin salah karena saya tidak terlalu berpengalaman dengan masalah seperti itu, jika demikian tolong perbaiki saya. Pada dasarnya saya ingin tahu apakah max-cut (dengan bobot sewenang-wenang) dapat diselesaikan secara efisien untuk DAG atau tidak.
George

1
Untuk membuat ini berhasil, Anda harus mengubah ketidaksetaraan pertama menjadi kesetaraan: . Saya masih tidak melihat mengapa itu gagal saat itu, tapi mungkin saya kehilangan sesuatu. Saya belum terlalu memikirkannya. dij=pjpi
Peter Shor

Mungkin saya yang kehilangan sesuatu di sini. Apakah ini menjamin bahwa semua mengambil nilai integral? Seseorang dapat mengikat p i dari atas dengan 1, tetapi saya tidak yakin apakah ini berfungsi atau tidak. Masalahnya tampaknya bahwa jika ini dapat diselesaikan, seseorang dapat mengurangi max-cut untuk itu dengan membalikkan bobot tepi, yang seharusnya tidak mungkin karena max-cut NP-hard. Namun saya mungkin salah di sini. pipi
George

1
Apakah st max-cut NP-hard untuk DAG? Jika grafiknya bukan DAG, Anda tidak bisa mengubah ketidaksetaraan itu menjadi kesetaraan, karena Anda membutuhkan ketidaksetaraan jika ada siklus. Jadi dalam kasus umum LP tidak bekerja dengan bobot negatif.
Peter Shor

Jawaban:


10

Anda telah memperbaiki masalah Anda lagi di komentar. Untuk lebih spesifik, Anda memiliki DAG dengan semua tepi mengalir jauh dari sumber dan menuju t wastafel (yaitu, semua tepi berada di jalur dari s ke t ). Anda ingin menemukan potongan minimum antara dua potong DAG, di mana potongan pertama terhubung ke s , dan potongan kedua terhubung ke t . Untuk masalah ini, variasi dari algoritma pemrograman linier standar untuk MIN-CUT bekerja, bahkan dengan bobot tepi negatif.ststst

Kami menggunakan notasi yang sama seperti di Wikipedia . Biaya edge adalah c i j . Kami menempatkan fungsi potensial p i pada setiap node, dan biarkan d i j = p i - p j . LP adalah m i n i m i z e(saya,j)csayajhalsayadsayaj=halsaya-halj

msayansayamsayaze (saya,j)Ecsayajdsayajskamubject tHai    dsayaj=halsaya-halj  (saya,j)E   dsayaj0           (saya,j)E   hals=1   halt=0

Persamaan ini menjamin bahwa , karena setiap titik berada pada beberapa jalur s - t . Demikian pula, karena d i j = p i - p j adalah non-negatif, potensi pada setiap jalur dari s ke t menurun. Kami masih perlu menunjukkan bahwa ada solusi optimal untuk LP dengan semua p i baik 0 atau 1 . Ini mengikuti dari fakta bahwa nilai untuk solusi dari LP di atas adalah nilai yang diharapkan dari pemotongan C w , di mana0halsaya1stdsayaj=halsaya-haljsthalsaya01Cw dipilih secara acak di [ 0 , 1 ] , dan di mana potongan C w diperoleh dengan menempatkan semua simpul i dengan p iw di set simpul pertama, dan semua simpul dengan p i < w di set kedua.w[0,1]Cwipiwpi<w


Terima kasih atas jawaban luar biasa Anda, Peter. Tidak jelas pada pandangan pertama bahwa , tapi saya rasa saya mengerti. Namun, saya mengalami kesulitan memahami argumen tentang solusi integral. 0pileq1
George

@ George: argumen yang sama yang menunjukkan Min-Cut LP reguler memiliki solusi integral. Seharusnya ada penjelasan yang lebih panjang (dan lebih dapat dipahami) di suatu tempat online.
Peter Shor

Ok saya akan mencarinya. Sekali lagi terima kasih banyak atas bantuan Anda!
George
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.