Jumlah mincuts grafik tanpa menggunakan algoritma Karger


14

Kita tahu bahwa algoritma mincut Krier dapat digunakan untuk membuktikan (dengan cara yang tidak konstruktif) bahwa jumlah maksimum dari mincuts yang mungkin dimiliki oleh sebuah grafik adalah .(n2)

Saya bertanya-tanya apakah kita bisa membuktikan identitas ini dengan memberikan bukti bijective (agak suntik) dari set mincuts ke set kardinalitas lain (n2) . Tidak ada alasan khusus, hanya rasa ingin tahu. Saya mencoba melakukannya sendiri tetapi sejauh ini belum berhasil. Saya tidak ingin ada yang menyia-nyiakan waktu untuk hal ini dan jadi jika pertanyaannya tidak ada artinya saya akan meminta moderator untuk mengambil tindakan yang sesuai.

-Akash terbaik


Kumar, klik n -vertex memiliki n mincuts, memisahkan setiap vertex dari sisa grafik, sehingga jumlah mincuts mungkin kurang dari (n2) .
Marcus Ritt

2
Ini adalah catatan yang sangat mudah diakses untuk membuktikan ini secara kombinasi. cs.elte.hu/egres/qp/egresqp-09-03.ps
Chao Xu

Jawaban:


10

The (n2) terikat Saya pikir awalnya dibuktikan dengan Dinitz, Karzanov dan Lomonosov pada tahun 1976, di "Struktur untuk sistem semua pemotongan minimal grafik". Mungkin Anda dapat menemukan apa yang Anda cari di makalah ini, tetapi saya tidak yakin apakah itu daring.


Terima kasih jelani .... mencoba mencari kertas online. Tidak beruntung sejauh ini. Saya pikir saya akan mencoba perpustakaan kampus saya. Sementara itu, jika Anda menemukan waktu (dan siap untuk itu) dapatkah Anda mencoba menyoroti beberapa ide utama dari makalah ini? Akan lebih bagus jika Anda bisa. Terima kasih lagi!
Akash Kumar

1
Maaf, saya tidak tahu cara kerja bukti mereka. : / Rupanya mungkin ada bukti sebelumnya yang menyiratkan beberapa karya Robert Bixby. Anda mungkin dapat menemukan lebih dari yang saya tahu melalui beberapa Googling (atau mungkin seseorang yang tahu lebih banyak dapat memberikan jawaban yang lebih baik di sini). Saya penasaran ingin mendengar jawabannya sendiri ... Saya ingat pernah bertanya-tanya tentang pertanyaan yang sama ini ketika saya pertama kali mempelajari algoritma Krier.
Jelani Nelson

2

Secara informal, orang dapat berargumen bahwa untuk mendapatkan jumlah minimum pemotongan minimum, semua simpul dalam grafik harus memiliki derajat yang sama.

Biarkan potongan membagi grafik menjadi dua set node dan sehingga . Biarkan jumlah potongan minimum dalam grafik dilambangkan sebagai .GCC¯CC¯=mc(G)

Pertimbangkan grafik terhubung dengan simpul di mana setiap simpul memiliki derajat dua. Ini harus menjadi grafik siklus dan potongan minimum adalah dua sisi. Jelas bahwa memotong dua sisi akan menghasilkan potongan dan potongan tersebut adalah potongan minimum. Karena ada pasang tepi yang berbeda, maka ada potongan minimum.nn(n1)/2n(n1)/2

Buat grafik baru dengan menghapus tepi dari grafik siklus. Pemotongan minimum grafik baru adalah satu sisi dan memotong setiap sisi akan cukup: ada potongan yang dapat dibuat.n1

Buat grafik baru dengan menambahkan tepi ke grafik siklus. Sekarang dua node memiliki derajat tiga dan node memiliki derajat dua. Tingkat tiga node harus baik milik atau keduanya milik . Perhatikan bahwa dalam kasus grafik siklus, tidak ada node dibatasi untuk tampil bersama dalam atau . Implikasinya adalah bahwa menambahkan tepi menambah kendala, yang mengurangi jumlah pemotongan minimum.n2CC¯CC¯

Mempromosikan lebih banyak node ke tingkat tiga menambah kendala tambahan sampai titik di mana hanya ada satu pemotongan minimal derajat dua.

Hal tersebut di atas menunjukkan bahwa grafik siklus adalah (setidaknya) maksimum lokal .mc

Pertimbangkan set grafik di mana setiap node adalah derajat tiga. Menghapus sebuah tepi menghasilkan grafik dengan potongan minimal dua. Menambahkan edge, seperti di atas, menghasilkan dua node yang paling banyak muncul di sisi yang sama dengan cut.

Ini menunjukkan bahwa grafik di mana setiap node adalah derajat adalah maksimum lokal . Memperhatikan bahwa grafik lengkap memiliki potongan ukuran menunjukkan bahwa ini adalah fungsi yang menurun.kmcmc=nn1

Saya belum terlalu memikirkan apakah mungkin untuk memformalkan hal di atas, tetapi ini merupakan pendekatan yang memungkinkan.

Juga, saya pikir makalah Bixby Jelani Nelson menyebutkan dalam komentar untuk jawabannya berjudul "Jumlah Minimum Tepi Dan Verteks dalam Grafik Dengan Konektivitas Tepi dan ikatan-N" ( tautan )

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.