Fungsi menarik pada grafik yang dapat dimaksimalkan secara efisien.

10

Katakanlah saya memiliki grafik berbobot sedemikian rupa sehingga adalah fungsi pembobotan - perhatikan bahwa bobot negatif diperbolehkan.w : E [ - 1 , 1 ]G=(V,E,w)w:E[-1,1]

Mengatakan bahwa mendefinisikan properti dari setiap bagian dari simpul . S Vf:2VRSV

Pertanyaan: Apa sajakah contoh menarik dari s yang masalah maksimasinya: dapat dilakukan dalam waktu polinomial?arg maks S V f ( S )fargmaksSVf(S)

Misalnya, fungsi pemotongan grafik

f(S)=(kamu,v)E:kamuS,vSw((kamu,v))
adalah properti subset yang menarik simpul, tetapi tidak dapat dimaksimalkan secara efisien. Fungsi kepadatan tepi adalah contoh lain dari properti menarik yang sayangnya, tidak dapat dimaksimalkan secara efisien. Saya mencari fungsi yang sama-sama menarik, tetapi dapat dimaksimalkan secara efisien.

Saya akan membiarkan definisi "menarik" agak kabur, tetapi saya ingin masalah maksimisasi menjadi non-sepele. Misalnya, Anda tidak boleh menentukan jawabannya tanpa memeriksa tepi grafik (fungsi yang konstan, dan fungsi kardinalitas tidak menarik). Seharusnya juga tidak menjadi kasus bahwa f benar-benar hanya menyandikan beberapa fungsi lain dengan domain berukuran polinomial dengan memasukkannya ke dalam domain 2V (yaitu saya tidak ingin ada beberapa domain kecil X , dan beberapa fungsi m:2SX diketahui sebelum melihat grafik, sehingga fungsi yang diinginkan benar-benar g:XR , dan f(S)=g(m(S)) Jika ini masalahnya, maka masalah "maksimalisasi" sebenarnya hanya masalah mengevaluasi fungsi pada semua input.)

Sunting: Memang benar bahwa kadang-kadang masalah minimisasi mudah jika Anda mengabaikan bobot tepi (meskipun tidak meminimalkan fungsi pemotongan, karena saya mengizinkan bobot tepi negatif). Tapi saya secara eksplisit tertarik pada masalah maksimisasi. Itu tidak menjadi masalah dalam masalah alami dalam pengaturan ini.

Aaron Roth
sumber
Apakah Anda memiliki contoh fungsi seperti itu?
Yaroslav Bulatov
Tidak, karena itu pertanyaannya. :-)
Aaron Roth
Ah baiklah. Kesan saya bahwa fungsi yang dapat dimaksimalkan secara efisien untuk semua grafik harus tidak menarik. Tetapi mungkin ada fungsi menarik yang dapat dimaksimalkan secara efisien untuk set grafik yang terbatas. Misalnya, untuk grafik planar, beberapa fungsi menarik dapat dimaksimalkan secara efisien, sementara fungsi menarik lainnya belum memiliki algoritme yang efisien
Yaroslav Bulatov
Saya akan senang melihat jawaban tentang hasil untuk kelas grafik terbatas jika kita tidak dapat memikirkan fungsi menarik yang dapat dimaksimalkan dari semua grafik.
Aaron Roth
Bukankah ini CW? Kita dapat menghasilkan banyak contoh secara sewenang-wenang, dan apakah itu "menarik" adalah subjektif.
Jukka Suomela

Jawaban:

5

Setiap kali menghitung jumlah sisi memenuhi beberapa predikat Boolean yang didefinisikan dalam istilah dan , maka apa yang Anda tulis hanyalah Boolean 2-CSP. Fungsi obyektif meminta untuk memaksimalkan jumlah klausa yang puas atas semua penugasan ke variabel. Ini dikenal sebagai NP-hard dan ambang kekerasan yang tepat juga diketahui dengan asumsi UGC (lihat Raghavendra'08).( u , v ) u S v Sf(S)(kamu,v)kamuSvS

Ada banyak contoh positif alami ketika Anda ingin memaksimalkan subset tepi, misalnya, Pencocokan maksimum adalah salah satu contoh masalah waktu polinomial dalam kasus ini.

Moritz
sumber
Ini adalah pengamatan yang bagus yang mengesampingkan banyak masalah alami dari jenis ini.
Aaron Roth
2

Partisi otomatis / lemah 2 warna.

(Dalam hal ini jika setiap v S memiliki tetangga dalam V S dan sebaliknya. Sebaliknya f ( S ) = 0. Solusi dengan f ( S ) = 1 selalu ada jika tidak ada yang terisolasi node, dan dapat ditemukan dengan mudah dalam waktu polinomial.)f(S)=1vSVSf(S)=0f(S)=1

Jukka Suomela
sumber
1

Minimum cut (khusus, vertex cut).

(Dalam hal ini akan menjadi sesuatu seperti ini: 0 jika menghapus node di set S tidak mempartisi G dalam setidaknya dua komponen, dan | V | - | S | sebaliknya. Kemudian memaksimalkan f setara dengan mencari potongan minimum , yang dapat dilakukan dalam waktu polinomial.)fSG|V||S|f

Anda juga dapat mendefinisikan fungsi serupa yang sesuai dengan pemotongan tepi minimum.

(Misalnya, adalah 0 jika S = atau S = V ; jika tidak | E | - | X | , di mana X adalah himpunan tepi yang memiliki satu titik akhir dalam S dan titik akhir lainnya di V S. )f(S)S=S=V|E|-|X|XSVS

Jukka Suomela
sumber
Ok, tapi ini adalah masalah minimisasi yang menyamar, yang cenderung lebih mudah ketika Anda mengabaikan bobot tepi. (Perhatikan bahwa jika Anda memperhitungkan bobot tepi akun, karena saya tentukan kami mungkin memiliki bobot negatif, maka min-cut juga merupakan masalah yang sulit). Saya akan mencoba mengedit pertanyaan untuk menekankan hal ini.
Aaron Roth
1

Set independen maksimal.

(Di sini = jumlah node dalam S yang tidak berdekatan dengan node lain di S + jumlah node dalam V S yang berdekatan dengan node di S. Iff S adalah set independen maksimal yang kita miliki f ( S ) = | V | .)f(S)SSVSSSf(S)=|V|

Jukka Suomela
sumber
Bagaimana Anda menemukan set independen maksimal dalam waktu polinomial?
Yaroslav Bulatov
1
@Yaroslav: rakus.
Jukka Suomela
@Yaroslav: Petunjuk - perbedaan antara maksimum dan maksimal sangat besar. ;-)
Ross Snider