Nama : Nur Rahmattullah

NIM : 185090400111022
MK : UAS KOMBINATORIKA
Marriage Theorem
1. Jika terdapat 5 gadis dan 7 laki-laki. Apakah bisa masing-masing wanita memiliki satu
laki-laki untuk menjadi suaminya dengan aturan setiap gadis hanya boleh memiliki satu
laki-laki dan hanya mengenal beberapa laki-laki dengan ketentuan:

Gadis 1 mengenal laki-laki L1, = {1, 2, 7},

Gadis 2 mengenal laki-laki L2 = {5, 6, 8},
Gadis 3 mengenal laki-laki L3 = {1, 3, 7},
Gadis 4 mengenal laki-laki L4 = {2, 3, 4, 7},
Gadis 5 mengenal laki-laki L5 = {1, 2, 6, 8}.

Jawab

Masing-masing gadis hanya boleh memilih satu laki-laki yang mereka kenal,maka dapat
dipresentasikan secara grafis sebagai berikut:

G L

1 1
2 2
3 3
4 4
5 5
6 6
7 7
8 8

Seperti gambar diatas,Secara umum, sebuah matching lengkap dari G ke L dalam grafik
bipartit g(G,L) adalah korespondensi 1-1 antara titik di G terhadap beberapa titik di L.
Sangat mungkin untuk menemukan gadis-gadis ini seorang suami masing-masing dari
setiap anak laki-laki yang mereka tahu: satu set tersebut ditampilkan dengan tulisan yang
dicetak tebal. Tetapi bisa jadi untuk menemukan gadis-gadis itu satu suami masing-
masing,apakah anak laki-laki 5, 6, 7, dan 8 dapat menikah?
Tidak, karena misalnya gadis 1, 3 dan 4 mengenal diantara mereka laki-laki 1, 2, 3, 4 dan
7 sehingga ketiga gadis diantara mereka hanya bisa menikah dengan salah satu laki-laki
 tertentu, yaitu laki-laki 7. Sehingga menyisakan dua gadis lainnya (2 dan 5) untuk
menikahi tiga anak laki-laki lainnya yaitu (5, 6 dan 8) yang berarti mustahil.

2. Apakah graf di bawah ini memiliki kecocokan bentukan berukuran 5?

A B C D E

1 2 3 4 5

Jawab:
Karena graf tersebut merupakan graf bipartite, maka dapat dibentuk dua himpunan
u = {A,B,C,D,E} dan w ={1,2,3,4,5}
Dengan |u| = |w| = 5
Pilih x = {A,D,E} ⫃ u dengan |x| = 3
Maka N (x) ={3,4} dengan |N(x)| = 2
Karena |N(x)| = 2 < 3 = |x|
Jadi, Graf G tidak memiliki kecocokan bentukan berukuran 5.