Diberikan grafik bipartit dengan bobot positif, biarkan dengan sama dengan pencocokan berat maksimum dalam grafik .
Benarkah adalah fungsi submodular?
Diberikan grafik bipartit dengan bobot positif, biarkan dengan sama dengan pencocokan berat maksimum dalam grafik .
Benarkah adalah fungsi submodular?
Jawaban:
Definisi . Untuk himpunan terbatas , fungsi himpunan f : 2 A → R adalah submodular jika untuk X , Y ⊆ A menyatakan bahwa: f ( X ) + f ( Y ) ≥ f ( X ∪ Y ) + f ( X ∩ Y ) .
Lemma Diberikan grafik bipartit dengan bobot tepi positif, misalkan f : 2 A → R + menjadi fungsi yang memetakan S ⊆ A dengan nilai pencocokan berat maksimum dalam G [ S ∪ B ] . Kemudian f adalah submodular.
Bukti. Perbaiki dua set dan biarkan M ∩ dan M ∪ menjadi dua pencocokan untuk grafik G [ ( X ∩ Y ) ∪ B ] dan G [ ( X ∪ Y ) ∪ B ] . Untuk membuktikan lemma sudah cukup untuk menunjukkan bahwa dimungkinkan untuk mempartisi tepi dalam M ∩ dan untuk grafik G [ X ∪ B menjadi dua pencocokan terpisah M X dan M Y dan G [ Y ∪ B ] masing-masing.
Tepi dan M ∪ membentuk kumpulan jalur dan siklus bolak-balik. Biarkan C menunjukkan koleksi ini dan amati bahwa tidak ada siklus C yang mengandung simpul dari X ∖ Y atau . Ini berlaku karena M ∩ tidak cocok dengan simpul tersebut.
Biarkan menjadi himpunan jalur di C dengan setidaknya satu simpul dalam X ∖ Y dan biarkan P Y menjadi himpunan jalur di dengan setidaknya satu titik di Y ∖ X . Dua jalur seperti itu digambarkan dalam gambar di bawah ini.
Klaim 1. .
Asumsikan oleh kontradiksi bahwa ada jalan . Biarkan x menjadi simpul di X ∖ Y di jalan P dan juga membiarkan y menjadi titik di Y ∖ X di jalan P . Perhatikan bahwa karena x atau y bukan milik X ∩ Y mereka tidak termasuk dalam pencocokan dengan definisi, dan karena itu mereka adalah titik akhir dari jalur P . Apalagi sejak x dan berada di A , jalur P memiliki panjang genap dan karena merupakan jalur bolak-balik, baik tepi pertama atau terakhir milik M ∩ . Oleh karena itu M ∩ cocok dengan x atau y , yang bertentangan dengan definisi dan membuktikan klaim.
Misalkan dan M Y = ( P X ∩ M ∩ ) ∪ ( ( C ∖ P X ) ∩ M ∪ ) . Jelas bahwa M X ∪ M Y = M ∩ ∪ M ∪