Penguatan submodularity

13

Fungsi-set adalah submodular monoton jika untuk semua , A , B f ( A ) + f ( B ) f ( A B ) + f ( A B ) .fSEBUAH,B

f(SEBUAH)+f(B)f(SEBUAHB)+f(SEBUAHB).

Properti yang lebih kuat adalah

f(SEBUAH)+f(B)+f(C)+f(SEBUAHBC)f(SEBUAHB)+f(BC)+f(SEBUAHC)+f(SEBUAHBC).
Mengambil C=SEBUAHB , properti ini menyiratkan submodularity monoton.

Apakah properti ini dikenal?

Latar Belakang

Properti ini muncul ketika mencoba untuk mengkarakterisasi fungsi cakupan. Mengingat beberapa alam semesta tertimbang U (semua berat non-negatif) dan keluarga X dari himpunan bagian dari U , fungsi cakupan f(S) didefinisikan untuk SX sebagai berat total unsur ditutupi oleh set di S . Fungsi f selalu monoton dan submodular. Kebalikannya tidak benar.

Properti yang dimaksud menyiratkan bahwa f adalah fungsi cakupan dalam kasus |X|=3 . Serupa, properti yang lebih rumit bekerja untuk X yang lebih besar X. Semua properti ini dipenuhi oleh fungsi cakupan, jadi ini adalah karakterisasi lengkap.

Yuval Filmus
sumber

Jawaban:

13

kth

Fungsi peningkatan monoton jika dan hanya jika turunan diskrit orde pertama adalah + ve. yaitu ketika .f(B)-f(SEBUAH)0SEBUAHB

Submodularity jika dan hanya jika turunan diskrit urutan kedua adalah -ve. yaitu .(f(SEBUAHB)-f(B))-(f(SEBUAH)-f(SEBUAHB))0

Demikian pula jika Anda memiliki kondisi pada turunan berikutnya Anda mendapatkan fungsi cakupan. (Saya pikir tanda-tanda harus + ve untuk bahkan turunan pesanan dan -ve untuk turunan pesanan aneh)n

Sesuatu yang serupa sudah diketahui dalam probabilitas. Fungsi cakupan juga dapat dianggap sebagai ukuran probabilitas (hingga konstanta penskalaan). Satu-satunya referensi yang bisa saya gali adalah halaman 439 dari buku Feller tentang kemungkinan.

Ashwinkumar BV
sumber
Terima kasih untuk referensi! Kondisi turunan diskrit sedikit berbeda, karena Anda hanya mempertimbangkan untuk menambahkan satu elemen pada satu waktu. Monotonitas agaknya adalah dan submodularitas adalah . Yang terakhir ini sebenarnya setara dengan kondisi biasa hanya ketika tidak ada adalah bagian dari yang lain. Jadi properti urutan ketiga saya (yang membutuhkan yang sebelumnya secara umum penuh) tidak muncul di koran. f(SEBUAH{x})f(SEBUAH)f(SEBUAH{x})+f(SEBUAH{y})f(SEBUAH{x,y})+f(SEBUAH)SEBUAH,B
Yuval Filmus
7

f(SEBUAHB)+f(SEBUAHC)+f(BC)+f((SEBUAHB)(SEBUAHC)(BC))f(SEBUAH(BC))+f(B(SEBUAHC))+f(C(SEBUAHB))+f(SEBUAHBC).
Kondisi "agregat" disebutkan dalam makalah "Karakterisasi kerucut fungsi pseudo-boolean melalui ketidaksetaraan tipe supermodularity" oleh Cramma, Hammer dan Holtzman (ketidaksetaraan (4)), yang merupakan bagian dari koleksi langka "Metode Kuantitatif dalam den Wirtschaftswissenschaften ". Kondisi ini harus sama dengan kondisi saya.

f(SEBUAH)+f(B)+f(C)+f(SEBUAHBC)f(SEBUAHBC)+f(SEBUAHB)+f(SEBUAHC)+f(BC).
C=
Yuval Filmus
sumber