Permintaan Referensi: Minimisasi Submodular dan Fungsi Monote Boolean


13

Latar Belakang: Dalam pembelajaran mesin, kami sering bekerja dengan model grafis untuk mewakili fungsi kepadatan probabilitas dimensi tinggi. Jika kita membuang batasan yang mengintegrasikan kepadatan (jumlah) ke 1, kita mendapatkan fungsi energi terstruktur grafik yang tidak dinormalisasi .

Misalkan kita memiliki fungsi energi seperti itu, , didefinisikan pada grafik . Ada satu variabel untuk setiap simpul grafik, dan ada fungsi unary dan pairwise bernilai nyata, dan , masing-masing. Energi penuh ituG = ( V , E ) x θ i ( x i ) : i V θ i j ( x i , x j ) : i j EEG=(V,E)xθsaya(xsaya):sayaVθsayaj(xsaya,xj):sayajE

E(x)=sayaVθsaya(xsaya)+sayajEθsayaj(xsaya,xj)

Jika semua adalah biner, kita dapat menganggap sebagai mengindikasikan keanggotaan yang ditetapkan dan dengan sedikit penyalahgunaan terminologi, bicaralah tentang submodularity. Dalam hal ini, fungsi energi adalah submodular . Kami biasanya tertarik untuk menemukan konfigurasi yang meminimalkan energi, \ mathbf {x} ^ * = \ arg \ min _ {\ mathbf {x}} E (\ mathbf {x}) . x θ i j ( 0 , 0 ) + θ i j ( 1 , 1 ) θ i j ( 0 , 1 ) + θ i j ( 1 , 0 ) x = arg min x E ( x )xxxθsayaj(0,0)+θsayaj(1,1)θsayaj(0,1)+θsayaj(1,0)x=argminxE(x)

Tampaknya ada hubungan antara meminimalkan fungsi energi submodular dan fungsi boolean monoton: jika kita menurunkan energi beberapa θsaya(xsaya=1) untuk setiap xsaya (yaitu, meningkatkan preferensi untuk menjadi "benar"), maka optimal penetapan variabel xsayax pun hanya dapat berubah dari 0 menjadi 1 ("false" menjadi "true"). Jika semua θsaya dibatasi menjadi 0 atau 1, maka kita memiliki |V|fungsi boolean monoton:

fsaya(θ)=xsaya

dimana seperti di atas, x=argminxE(x) .

Pertanyaan: Bisakah kita mewakili semua fungsi boolean monoton menggunakan pengaturan ini dengan memvariasikan istilah berpasangan, ? Bagaimana jika kita membiarkan menjadi fungsi energi submodular yang berubah-ubah? Sebaliknya, dapatkah kita merepresentasikan semua masalah minimisasi submodular sebagai seperangkatfungsi boolean monoton?θsayajE|V|

Bisakah Anda menyarankan referensi yang akan membantu saya lebih memahami koneksi ini? Saya bukan ilmuwan komputer teoretis, tetapi saya mencoba memahami jika ada wawasan tentang fungsi boolean monoton yang tidak ditangkap dengan berpikir dalam istilah minimisasi submodular.

Jawaban:


7

Sejauh yang saya mengerti, kasus minimisasi submodular menangkap semua yang bisa dikatakan tentang kasus Boolean monoton, dan fungsi Boolean submodular biner dapat mengekspresikan semua fungsi Boolean submodular. Namun, jika domain adalah non-Boolean, maka fungsi submodular biner tidak cukup untuk mengekspresikan semua fungsi submodular, bahkan jika variabel tersembunyi dapat diperkenalkan. (Mohon maaf jika saya melewatkan kehalusan dalam ungkapan masalah Anda yang tepat.)

Keadaan seni dibahas dalam makalah yang bagus ini yang memiliki banyak tautan ke pekerjaan terkait, dan itu juga membuat tautan ke visi komputer cukup eksplisit:

Jika pertanyaan Anda berikutnya adalah tentang aproksimasi, makalah terbaru ini membahas versi aproksimasi:

  • Dorit S. Hochbaum, Masalah submodular - perkiraan dan algoritma , arXiv: 1010.1945

Edit: tautan tetap.


Meskipun tautan (pracetak) membawa saya ke makalah yang berbeda dari tautan doi:.
dan_x

@dan x: memperbaiki tautannya, terima kasih untuk head-up.
András Salamon
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.