Pencocokan bipartit dengan dominasi gelar


8

Diberikan grafik bipartit tanpa bobot . Apakah benar bahwa selalu ada pencocokan non -tyty M E (belum tentu maksimal), sehingga untuk setiap ( i , j ) E dengan saya cocok dan j tidak cocok , ia memegang deg ( i ) > deg ( j ) ? Di sini ( i , j ) tidak dipesan, yaitu, saya bisa berada di kedua sisi.G=(V,E)ME(i,j)Eijdeg(i)>deg(j)(i,j)i

Intuisi saya tentang mengapa ini benar adalah, ketika setiap simpul dalam memiliki derajat yang sama, selalu ada pencocokan sempurna yang merupakan pencocokan yang kami butuhkan. Untuk beberapa struktur grafik sederhana seperti pohon atau grafik unicyclic pencocokan maksimal diinginkan karena tingkat daun selalu lebih kecil dari induknya.V

Saya mencoba membuktikannya dari teorema Hall tetapi gagal. Bagian dari kompleksitas masalah ini adalah bahwa solusinya tidak selalu cocok secara maksimal. Misalnya, mengingat grafik yang terdiri dari dua 4-siklus dan d e f g . Maka M = { a b , c d } dan pencocokan simetris adalah satu-satunya solusi, yang tidak maksimal.abcddefgM={ab,cd}


@Gamow dua simpul yang Anda berikan tidak membentuk keunggulan dalam . E
Willard Zhan

@AndrewMorgan Dalam contoh terakhir saya karena muncul di kedua siklus. Dan kendala hanya untuk tepi tersebut dengan tepat satu titik akhir yang cocok. Jadi kami tidak mempertimbangkan ( u , v ) jika Anda maupun v tidak cocok. deg(d)=4(u,v)uv
Willard Zhan

Bisakah Anda menunjukkan contoh di mana properti Anda tidak berlaku untuk grafik non-bipartit?
JimN

3
@JimNastos segitiga harus melakukan trik
Yonatan N

Anda mengatakan dalam pertanyaan bahwa adalah "... belum tentu maksimal ..." ... sehingga hanya mengandung satu sisi, bukan? Bagaimana dengan siklus panjang genap? M
Marzio De Biasi

Jawaban:


4

Tidak selalu ada kecocokan dengan properti Anda dalam grafik bipartit.

Perhatikan misalnya grafik manaG=(V,E)

  • danV={a1,a2,a3,b1,b2,b3,c1,c2,d1,d2,x}
  • E={a1,a2}×{c1,c2,x}{b1,b2}×{d1,d2,x}{(a3,c1),(a3,d2),(a3,x),(b3,d1),(b3,c2),(b3,x)}

Grafik ini adalah bipartit (dengan sebagai salah satu bagian dan V 2 = { c 1 , c 2 , d 1 , d 2 , x } seperti yang lainnya). Setiap simpul dalam grafik ini kecuali x memiliki derajat 3 . Vertex x memiliki derajat 6 .V1={a1,a2,a3,b1,b2,b3}V2={c1,c2,d1,d2,x}x3x6

Misalkan, demi kontradiksi, ada huruf cocok dengan properti Anda. Pertimbangkan setiap dua simpul yang berdekatan v 1 dan v 2 yang memiliki derajat yang sama. Ternyata kondisi pada M menyiratkan bahwa kedua simpul ini memiliki status yang sama atau tidak sama (yaitu keduanya atau tidak satu pun dari simpul harus cocok dalam M ). Ini dapat dibuktikan dengan sangat sederhana melalui kontradiksi: misalkan satu simpul (wlog v 1 ) cocok dan yang lainnya tidak; maka karena ada keunggulan antara mereka, properti diberikan pada M mengatakan bahwa d e g ( v 1 )Mv1v2MMv1M , yang merupakan kontradiksi.deg(v1)>deg(v2)

GV{x}3V{x}MMV1MV1V2GMxM

MG


Ya, saya ingin menggunakan argumen yang pada dasarnya sama untuk membuktikan bahwa praktis setiap expander bipartit 3-reguler dapat dijadikan sampel-balik jika kita menghapus satu simpul dan menghubungkan 3 tetangganya dengan simpul lain yang cukup jauh.
domotorp
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.