Kelompok 2

Jihan Fazlika Ainun Mawaddah Abdal Nur Rahmah Makmur

Teorema 8.3
Misalkan G adalah suatu graf bipartite dengan himpunan partisi U dan W, sedemikian sehingga r=|U| |W|. Maka G memuat suatu matching dengan cardinal r Jika dan hanya jika U adalah neighborly

Bukti
G memuat suatu matching dengan cardinal r Akan ditunjukkan bahwa U neighborly. Misalkan G memuat matching M* dengan cardinal r . Untuk setiap subset x dari U , ada M subset dari M* , sedemikian sehingga |M| =|x|. Jadi U neighborly.

U adalah neighborly, dan akan ditunjukkan bahwa G memuat suatu matching dengan cardinal r (Bukti Pengandaian) Andiakan G tidak memuat matching dengan cardinal r Misalkan M adalah matching dalam G dengan jumlah sisi maksimum. Dalam hal ini, |M| < r. Oleh karena itu, ada suatu titik u U yang tidak insiden dengan sisi di M.

Misalkan S adalah himpunan semua titik dari G yang terhubung dengan U oleh suatu jalur (path) dalam G yang sisi-sisinya bergantian sisi dalam M dan sisi tidak dalam M. Amati bahwa setiap titik tetangga dekat dari u ada dalam S.

Akan ditunjukkan bahwa setiap titik dalam S-{u}, insiden dengan satu sisi dalam M. (Bukti Kontradiksi) Andaikan ada satu titik x S {u} yang tidak insiden dengan semua sisi yang ada dalam M. Karena G memuat suatu alternating path x-u disimbolkan P, panjang P ganjil dan xW konsekuensi P memuat sisi yang tidak berada dalam M lebih banyak satu daripada sisi yang ada dalam M.

Oleh karena itu, dapat dibuat maching baru M dengan cara mengganti sisi-sisi yang ada ada path P dan ada dalam maching M dengan sisisisi yang ada dalam P, tetapi tidak dalam maching M. Jadi, diperoleh |M||M|. Hal ini kontradiksi, karena M adalah maching dengan sisi terbanyak. Jadi, terbukti bahwa setiap titik dalam S-{u} insiden dengan satu sisi dalam M.

Misalkan U himpunan titik-titik dari S yang ada dalam U dan misalkan W adalah himpunan titik-titik dari S yang ada dalam W. Dalam hal ini, U=US dan W=WS. Karena U adalah neigborly, |N(U)||U|. Lebih lanjut karena setiap titik dari S-{u} insiden dengan tepat satu sisi dalam M, maka ada himpunan bagian M dari M yang matches U-{u} ke W.

Karena setiap titik dalam U terhubung ke w oleh suatu alternating path, akibatnya jika wN(u) maka G juga memuat alternating path u-w. Oleh karena itu, N(u) subset W. Dari sini diperoleh N(U) = W dan |N(u)|=|W|=|U|- 1 |u|. Hal ini kontradiksi dengan |N(u)| |u|

Teorema 8.4
Sebuah kumpulan {S1, S2, , Sn} yang bukan himpunan kosong memiliki sistem representatif yang berbeda, jika dan hanya jika untuk setiap bilangan bulat k dengan 1kn, gabungan dari beberapa k yang himpunan-himpunannya berisi paling sedikit elemen k.