MATCHING

Sebuah departemen matematika di universitas telah memperoleh koleksi 12 buku

matematika yang berbeda pada berbagai mata pelajaran yang akan disajikan kepada siswa yang
telah melakukan ujian matematika dengan baik (satu buku untuk setiap siswa yang sukses).
Tentu saja, akan ada masalah jika lebih dari 12 siswa yang memenuhi syarat untuk buku-buku
ini. Ternyata, bagaimanapun, bahwa ini bukan masalah karena hanya 10 siswa melakukan
cukup baik pada ujian untuk menerima buku. Namun demikian,ada kesulitan lain yang
mungkin muncul. Beberapa siswa sudah memiliki salinan beberapa buku dan ada beberapa
buku yang pasti siswa tidak membutuhkannya. Pertanyaannya adalah: Apakah ada cara
mendistribusikan 10 dari 12 buku ke 10 siswa sehingga setiap siswa menerima buku yang ingin
dia miliki? Jawaban untuk ini masalah mungkin tidak meskipun ada lebih banyak buku
daripada siswa. Misalnya, mungkin ada tiga atau lebih banyak buku yang tidak diinginkan
siswa. Juga, mungkin ada empat siswa yang hanya tertarik pada hal yang sama tiga buku, dalam
hal ini tidak mungkin membagikan empat buku kepada keempat siswa ini.

Mungkin sudah jelas bahwa situasi ini dapat dimodelkan oleh graf G yang simpulnya
adalah siswa, katakanlah s1 , s2 ,..., s10 dan buku-bukunya, katakan B1 , B2 ,..., B10 , di mana dua
simpul G berbatasan jika salah satu simpul ini adalah siswa dan yang lainnya adalah buku yang
ingin dimiliki siswa ini. Pastilah, G adalah graf bipartit dengan himpunan partisi
U  {s1 , s2 ,..., s10} dan W  {B1 , B2 ,..., B10} . Untuk Misalnya, jika siswa s1 ingin memiliki salah
satu buku B2 , B3 , B5 , B7 , maka grafik G berisi subgraph yang ditunjukkan pada Gambar 8.1.
Apa yang kita cari kemudian adalah himpunan A dari 10 sisi dalam graf G (di mana G hanya
ditarik sebagian pada Gambar 8.1), tidak ada dua yang berdekatan. Jika seperangkat A tersebut
ada, maka masing-masing vertex Si (1 ≤ i ≤ 10) adalah insiden dengan tepat satu sisi dalam A.

Ada pertanyaan matematika terkait di sini. Biarkan U dan W menjadi dua set seperti itu
| U | = 10 dan | W | = 12. Apakah ada fungsi satu-ke-satu f: U → W?

B1 B2 B3 B4 B5 B6 B7 B8 B9 B10 B11 B12

G:

S1 S2 S3 S4 S5 S6 S7 S8 S9 S10

Gambar 8.1: Sebuah subgraph dari grafik bipartit

Jika ini semua adalah pertanyaan, maka jawabannya adalah ya. Namun, bagaimana jika
gambar masing-masing elemen U tidak bisa menjadi elemen W? gambar setiap elemen dari U
wajib menjadi elemen dari beberapa bagian yang ditentukan dari W. Akibatnya, apa yang kita
minta adalah bahwa jika kita tahu himpunan gambar yang mungkin dari elemen U, apakah ada
fungsi satu-ke-satu f: U → W yang memenuhi kondisi ini?

Diskusi ini membawa kita ke beberapa konsep baru. himpunan sisi dalam graf bersifat
independen jika tidak ada dua sisi di himpunan berdekatan. Dengan matching dalam graf G,
maksud kami set independen dari tepi di G. Jadi masalah yang kita bahas bertanya apakah suatu
graf tertentu mengandung matching tertentu. Karena banyak masalah dari jenis ini melibatkan
graf bipartit, seperti halnya masalah yang kita diskusikan,pertama kita mempertimbangkan
konsep-konsep ini hanya untuk graf bipartit.

Misalkan G menjadi graf bipartit dengan himpunan bagian U dan W, di mana r = | U |

≤ | W |. Matching di graf G , dimana M = {e1, e2, ..., ek} sebagai sisi, di mana ei  ui wi untuk
1 ≤ i ≤ k sehingga u1 , u2 ,..., uk adalah k simpul berbeda dari U dan w1 , w2 ,..., wk adalah simpul
yang berbeda dari W. Kami mengatakan bahwa M matching dengan himpunan {u1 , u2 ,..., uk }
ke himpunan {w1 , w2 ,..., wk } . Seharusnya, untuk matching sisi k, kita harus memiliki k  r .
Istilah "matching" digunakan karena sisi M cocok atau memasangkan elemen k dari U kelemen
W. Pertanyaan yang mernarik sekarang dapat diutarakan sebagai berikut: Apakah G
mengandung pencocokan kardinalitas r? Sebelum melanjutkan diskusi ini, mari kita
pertimbangkan dua contoh.

Contoh.

Contoh 8.1
Sebagai hasil dari mengerjakan ujian dengan baik, enam siswa Ashley (A), Bruce (B), Charles
(C), Duane (D), Elke (E) dan Faith (F) telah menerima hak untuk menerima gratis buku teks
baik dalam aljabar (a), kalkulus (c), persamaan diferensial (d), geometri (g), sejarah
matematika (h), pemrograman (p) atau topologi (t). Hanya ada satu buku untuk masing-masing
siswa. Preferensi para siswa adalah Bisakah masing-masing siswa menerima buku yang dia
sukai?

Solusi.
Situasi ini dapat dimodelkan oleh graf bipartit G dari Gambar 8.2 (a) memiliki himpunan
bagian U = {A, B, C, D, E, F} dan W = {a, c, d, g, h, p, t}. Kami bertanya apakah G berisi
matching dengan enam sisi. Matching seperti itu memang ada, seperti yang ditunjukkan pada
Gambar 8.2 (b). Dari pencocokan yang ditampilkan di Gambar 8.2 (b), kita melihat bagaimana
enam dari tujuh buku dapat dipasangkan dengan enam siswa.
 a c d g h p t
a c d g h p t

G: G:

A B C D E F A B C D E F

(a) (b)

Gambar 8.2: Pencocokan dalam grafik bipartit

Contoh 8.2
Tujuh senior Ben (B), Don (D), Felix (F), Juni (J), Kim (K), Lyle (L) dan Maria (M) mencari
posisi setelah mereka lulus. Penempatan Universitas telah memosting membuka posisi untuk
akuntan (a), konsultan (c), editor (e), programmer (p), reporter (r),sekretaris dan guru (t).
Masing-masing dari tujuh siswa telah melamar untuk beberapa posisi ini:
B : c, e D; a, c, p, s, t ; F : c, r ;
K : a, e, p, s; L : e, r M : p, r , s, t ;

J : c, e, r ;

Apakah mungkin bagi setiap siswa untuk dipekerjakan untuk pekerjaan yang telah dia kuasai?

Solusi.
Situasi ini dapat dimodelkan oleh grafik bipartit G dari Gambar 8.3, di mana satu
himpunan bagian U = {B, D, F, J, K, L, M} adalah himpunan siswa dan himpunan bagian
lainnya W = {a, c, e, p, r, s, t} adalah himpunan posisi. Sebuah vertex u U bergabung dengan
vertex wW jika u telah diterapkan untuk posisi w.

Jawaban atas pertanyaan ini tidak ada karena Ben, Felix, June dan Lyle hanya berlaku
untuk sebagian atau semua posisi konsultan, editor, dan reporter. Jadi tidak semua dari empat
siswa ini dapat disewa untuk pekerjaan yang telah mereka kuasai. Akibatnya, tidak semua tujuh
siswa dapat disewa untuk ketujuh posisi. Apa yang telah kami amati untuk graf bipartit G dari
Gambar 8.3 adalah bahwa tidak ada yang matching dengan tujuh sisi. Yang ingin kami jelaskan
adalah bahwa ada subset X = {B, F, J, L} dari U mengandung empat simpul yang tetangganya
milik satu set {c, e, r} hanya tiga simpul. Seperti kita akan melihat, ini adalah alasan utama
mengapa ini atau grafik bipartit dengan partite menetapkan U dan W seperti itu r = | U | ≤ | W
| tidak mengandung pencocokan dengan tepi r. Biarkan G menjadi graf bipartit dengan
menetapkan U dan W sedemikian rupa sehingga | U || W | . Untuk satu set X yang tak kosong.
 Misalkan G adalah sebuah graf biapartit dengan himpunan bagian U dan W sedemikian
sehingga | U || W | untuk sebuah himpunan tak kosong dari U, lingkungan N (X) dari X adalah
gabungan dari lingkungan N (x), di mana x  X . Secara ekuivalen, N (X) terdiri dari semua
simpul W yang merupakan tetangga dari satu atau lebih simpul dalam X. Graf G adalah
dikatakan memenuhi kondisi Hall jika | N (X) | ≥ | X | untuk setiap subkelompok X tak kosong
dari U. Kondisi ini dinamai Philip Hall, yang akan kami kunjungi
a c e p r s t

G:

B D F J K L M

Gambar 8.3: Grafik yang memodelkan situasi pada Contoh 8.2

segera. Set partit U = {B, D, F, J, K, L, M} dalam graf bipartit G dari Contoh 8.2 (ditunjukkan
dalam Gambar 8.3) tidak memenuhi kondisi Hall karena subset X = {B, F, J, L} dari U
memenuhi | N (X) | <| X |. Ternyata, bagaimanapun, bahwa graf bipartit G dari Contoh 8.1
memenuhi kondisi Hall.

Teorema 8.3
Misalkan G adalah graf bipartit dengan bagian U dan W sedemikian sehingga r = | U | ≤ | W |.
Lalu G berisi matching kardinalitas jika dan hanya jika G memenuhi kondisi Hall

Bukti.
Jika kondisi Hall tidak dipenuhi, maka ada beberapa bagian S dari U sehingga | S | > |
N (S). Karena S tidak matching dengan subset W, berarti bahwa U juga tidak matching dengan
subset W.

Kebalikannya diverifikasi oleh Prinsip Induksi Kuat Matematika. Kami melanjutkan

induksi pada kardinalitas U. Anggaplah pertama bahwa kondisi Hall dipenuhi dan | U | 1 .
Karena | N (U ) || U | 1 , ada titik di W yang berdekatan dengan titik di U dan U dapat
dicocokkan dengan subset dari W. Asumsikan, untuk integer k ≥ 2, bahwa jika G1 adalah setiap
graf bipartit dengan partit set U1 dan W1 , dimana U1  W1 dan 1 | U1 | k yang memenuhi
kondisi Hall, maka U1 matching dengan subkumpulan W1 . Biarkan G menjadi graf bipartit
dengan himpunan bagian U dan W, di mana k | U || W | , seperti kondisi Hall yang terpenuhi.
Kami menunjukkan bahwa U matching dengan bagian dari W. Kami mempertimbangkan dua
kasus.

Kasus 1.
Untuk setiap bagian S dari U sehingga 1 | S || U | , hal ini memenuhi | N ( S ) || S | . Misalkan
u U .Dari asumsi, u bersebelahan dengan dua atau lebih simpul W. Misalkan w adalah titik
yang berdekatan dengan u. Sekarang biarkan H menjadi subgraf bipartit G dengan partite
menetapkan U - {u} dan W - {w}. Untuk setiap bagian S dari U - {u}, | N ( S ) || S | di H.
Dengan hipotesis induksi, U - {u} dapat matching dengan subset W - {w}. Ini matching
bersama dengan sisi uw menunjukkan bahwa U matching dengan bagian dari W.
Kasus 2.

Terdapat subset X dengan | N ( X ) || X | . Biarkan F menjadi subgraf bipartit G dengan

himpunan bagian X dan N ( X ) . Karena kondisi Hall terpenuhi di F, itu diikuti oleh induksi
hipotesis bahwa X matching dengan subset N ( X ) . Memang, berdasarkan | N ( X ) || X | ,
himpunan X bisa matching dengan N (X).
Misalkan M′ matching.

Selanjutnya, perhatikan subgraf bipartit H dari G dengan himpunan bagian U  X dan

W  N ( X ) . Misalkan S menjadi bagian dari U  X dan misalkan S '  N ( S )  (W  N ( X ))
akan ditunjukkan bahwa | S || S ' | . Dengan asumsi, | N ( X  S ) || X  S | . Karenanya
| N ( X ) |  | S ' || N ( X  S ) || X |  | S |

Oleh karena itu | N ( X ) || X | , berarti bahwa | S ′ | ≥ | S |. Dengan demikian kondisi

Hall dipenuhi dalam H dan jadi ada sebuah pencocokan M ' ' dari U  X ke W  N ( X ) . Oleh
karena itu, M ' M ' ' adalah matching dari U ke W di G.

Teorema 8.3 juga karena Philip Hall, yang merupakan ahli aljabar terkenal. Hall lahir pada
April 11, 1904 di Hempstead, London, Inggris dan tumbuh untuk mencintai matematika
sebagai mahasiswa muda. Minatnya dalam matematika sangat dipengaruhi oleh guru
matematika yang dimilikinya, yang tidak hanya matematikawan yang baik, mereka adalah para
matematikawan yang antusias. Hall unggul dalam bahasa Inggris juga.

Meskipun tidak banyak bergaul atau atletis, Hall sangat populer sebagai mahasiswa.
Dia melanjutkan ke King's College Cambridge di mana dia didorong untuk mempelajari karya
William Burnside dan menjadi tertarik teori grup. Hall menerima B.A. pada tahun 1925. Hanya
setelah banyak pemikiran dia memutuskan untuk melakukannya mengejar karir akademis.

Hall memperoleh beasiswa di King's College pada tahun 1927. Dia berkorespondensi
dengan Burnside yang dulu sangat membantu Hall, meskipun keduanya tidak pernah bertemu.
Kemudian di 1927 Hall memperoleh hasil penting dalam teori grup, generalisasi teorema
Sylow untuk kelompok yang dapat dipecahkan yang terbatas, yang sekarang sering disebut
Teorema Hall. Teorema ini diterbitkan pada tahun 1928. Meskipun persekutuannya diperbarui
di 1930, pembaruan kedua tampaknya tidak mungkin karena kurangnya aktivitas matematika
selama tiga tahun. Dia kemudian menerbitkan sebuah makalah pada tahun 1932 tentang
kelompok-kelompok tatanan kekuasaan utama, mungkin karya terbaiknya. Di tahun 1933 ia
kemudian diangkat menjadi Dosen di Cambridge. Pada 1935 teorema tentang pertandingan
(Teorema 8.3) diterbitkan, meskipun tidak dinyatakan dalam teori graf.

Kecuali untuk periode selama Perang Dunia II ketika dia bekerja untuk Kantor Luar
Negeri di Bletchley Park, dia tetap di Cambridge dari 1933 ke 1967. Hall menghabiskan
sebagian besar hidupnya dalam berkontribusi untuk aljabar dan dianggap sebagai salah satu
matematikawan besar abad ke-20. Seorang pria dengan standar intelektual tinggi dan penilaian
yang baik, Hall sangat peduli dengan murid-muridnya dan murid-muridnya sangat peduli
padanya. Hall adalah penulis yang elegan tetapi ketika itu menjadi penting baginya untuk
mengkritik dalam penulisan murid-muridnya, dia menemukan cara-cara lembut untuk
menyarankan perbaikan. Bahkan setelah muridnya pergi setela menyelesaikan gelar mereka,
dia tetap berhubungan dengan mereka dan mendorong mereka. Dia mati 30 Desember 1982.

Seperti yang telah disebutkan, Teorema 8.3 tidak disebutkan dalam grafik. Misalkan
S1 , S 2 ,..., S n himpunan terbatas tak kosong. Kemudian himpunan ini memiliki sistem
perwakilan yang berbeda jika ada n elemen berbeda x1 , x2 ,..., xn dimana xi  Si untuk 1  i  n
. Tentu saja, agar himpunan S1 , S 2 ,..., S n untuk memiliki sistem perwakilan yang berbeda,
| S1  S2  ...  Sn | n .

Sebagai contoh, pertimbangkan himpunan S1 , S 2 ,..., S7 , dimana

S1  {1,2,3} S2  {2,4,6} S3  {3,4,5}

S4  {1,4,7} S5 {1,5,6} S6  {3,6,7}

S7  {2,5,7}

Kemudian himpunan himpunan ini memiliki sistem perwakilan yang berbeda. Secara
khusus, 1, 2, ..., 7 (yaitu, i  Si untuk i = 1, 2,…, 7) adalah sistem perwakilan yang berbeda. Di
sisi lain, set S '1 , S '2 ,..., S ' 6 , dimana

S '1  {1,3,5,6} S '2  {3,4} S '3  {4,5}

S '4  {3,4,5} S '5  {1,2,4,6} S '6  {3,5}

tidak memiliki sistem perwakilan yang berbeda seperti S '2 S '3 S '4 S '6  {3,4,5} ,
sangat berbeda perwakilan tidak ada untuk himpunan S '2 , S '3 , S '4 , S '6 t.

Contoh-contoh ini mungkin sangat menyarankan bahwa apa yang diperlukan untuk kumpulan
himpunan untuk memiliki sistem perwakilan yang berbeda adalah persis apa yang diperlukan
dalam graf bipartit G untuk memiliki satu bagian mengatur U matching dengan subset dari
bagian lain mengatur W dari G. Teorema 8.4 kumpulan {S1, S2, ... Sn} dari himpunan terbatas
tak kososng memiliki sistem yang berbeda wakil jika dan hanya jika untuk masing-masing
bilangan bulat k dengan 1 ≤ k ≤ n, penyatuan k dari himpunan ini mengandung setidaknya k
elemen.
Bukti.

Misalkan {S1 , S2 ,..., Sn } memiliki sistem perwakilan yang berbeda. Maka, tentu saja,
untuk setiap bilangan bulat k dengan 1  k  n , matching k setiap himpunan ini mengandung
setidaknya k elemen.

Misalkan {S1, S2, ..., Sn} menjadi kumpulan n set sehingga untuk setiap bilangan bulat k
dengan 1  k  n , kumpulan dari setiap k himpunan ini mengandung setidaknya k elemen. Kita
bentuk sebuah graf bipartit G dengan himpunan bagian U  {S1, S 2 ,..., S n } dan misalkan
W  S1  S 2  ...  Sn .dimana vertex Si (1 ≤ i ≤ n) dalam U berdekatan dengan a simpul w
dalam W jika w  Si . Misalkan X adalah bagian dari U, di mana | X | = k dengan 1 ≤ k ≤ n.
Sejak persatuan set k mengandung setidaknya k elemen, | N (X) | ≥ | X |. Karena itu, G
memenuhi kondisi Hall. Dengan Teorema Dari Teorema 8.3, G berisi matching dari
kardinalitas n, yang berpasangan dari himpunan S1, S2, ..., Sn dengan n berbeda elemen dalam
S1 ᴜ S2 ᴜ … ᴜ Sn, menghasilkan sistem perwakilan yang berbeda untuk himpunan ini.

Hall benar-benar membuktikan Teorema 8.4 pada himpunan yang memiliki Teorema
8.3 sebagai formulasi yang ekivalen. Dénes König yang mengakui teorema Hall sebagai
teorema dalam teori grafik. Teorema 8.3 adalah kadang-kadang dinyatakan dalam istilah "more
friendly" dan berjalan dengan nama Marriege Theorem.
Teorema 8.5 (The Marriage Theorem) Dalam koleksi r wanita dan r pria, total dari r

pernikahan antara pasangan yang berkenalan adalah mungkin jika dan hanya jika untuk setiap
bilangan bulat k dengan 1 ≤ k ≤ r, setiap subset dari wanita k secara kolektif berkenalan
dengan setidaknya k laki-laki.

Dalam Teorema 8.3 kita tidak hanya tertarik pada matching saja namun juga pada
matching dari maximum cardinality. Sehingga matching tersebut disebut maximum matching.
Pada titik ini, kita tidak lagi menganggap bahwa kita berurusan dengan graf bipartit saja. Jika
G adalah graf dari orde n, maka kardinalitas dari matching maksimum tidak bisa melebihi
n 2 . Artinya, jika G adalah graf dari orde (ganjil) 21 + 1, maka tidak ada matching yang
mengandung lebih dari l sisi; sementara jika G memiliki orde (genap) 2k, maka tidak ada
matching yang mengandung lebih dari k sisi. Jika sebuah graf G orde 2k memiliki matching M
dari kardinalitas k, maka ini (tentunya maksimum) matching M disebut sebuah Perfect
Matchingdengan setiap titik G ke beberapa titik dari G.Misalnya, setiap grafik bipartit reguler
tak kosong berisi matching sempurna, ini merupakan hasil yang diperoleh oleh Dénes König.
Teorema 8.6 Setiap grafik bipartit r-reguler (r ≥ 1) mempunyai sebuah perfect matcing.

Bukti. Misalkan G adalah graf bipartit r-reguler dengan partit himpunan U dan W, dimana | U
| = | W |. Misalkan X adalah himpunan bagian tak kosong dari U. Andaikan bahwa| X | = k ≥
1. Karena setiap titik X memiliki derajat r dalam G, ada kr sisi dari insiden G dengan simpul
X. Selanjutnya, karena setiap titik W adalah insiden dengan kebanyakan r sisi kr ini, setiap titik
dalam N (X) adalah insiden dengan paling banyak sisi r dan begitu | N (X) | ≥ k = | X |.
Berdasaran Teorema 8.3, G mempunyai sebuah graf bipartit.
 Ada parameter yang terkait langsung dengan matching (dan maximum matching ). Sisi
nomor independensi α ′ (G) dari graf G adalah kardinalitas maksimum dari serangkaian
himpunan bebas dari sisi. Oleh karena itu, jika M adalah maximum matching dalam G, maka
α ′ (G) = | M |. Selanjutnya, graf G dari orde n memiliki perfect matching jika dan hanya jika n
genap dan α ′ (G) = n / 2. Untuk bilangan bulat n ≥ 3 dan bilangan bulat r dan s, dengan 1 ≤ r
≤ s,

 (C n )   ( K n )  n 2 dan  ( K r ,s )  r

Ada parameter lain yang terkait erat dengan jumlah sisi bebas. Sebuah titik dan sebuah

sisi insiden dikatakan untuk menutupi satu sama lain. Penutup sisi grafik G tanpa simpul
terisolasi adalah sebuah himpunan sisi dari G yang mencakup semua simpul G. Ujung yang
menutupi angka β ′ (G) dari graf G adalah kardinalitas minimum dari penutup sisi G. Sebuah
penutup sisi G kardinalitas β ′ (G) adalah minimum penutup sisi G. Jadi β ′ (G) didefinisikan
jika dan hanya jika G tidak memiliki simpul yang terpisah. Untuk bilangan bulat n ≥ 3 dan
bilangan bulat r dan s dengan 1 ≤ r ≤ s,

 (C n )   ( K n )  n 2 dan  ( K r ,s )  s

Karena itu,

 (Cn )   (Cn )   ( K n )   ( K n )  n

Saat

 ( K r ,s )   ( K r ,s )  r  s

Teorema 8.7 Untuk setiap grafik G orde n yang tidak mengandung simpul tersendiri,
 (G)   (G)  n

Bukti. Pertama, andaikan bahwa α′ (G) = k. Kemudian, maximum matching dari G terdiri dari
k sisi, yang kemudian menutupi 2k simpul. Sisa n - 2k titi dari G yang tersisa dapat ditutupi
oleh n - 2k sisi. Demikian β′ (G) ≤ k + (n - 2k) = n - k. Karenanya
 (G )   (G )  (n  l )  l  n

Tetap hanya untuk menunjukkan bahwa α ′ (G) + β′ (G) ≥ n.

Misalkan X adalah penutup sisi minimum dari G. Oleh karena itu | X | = l = β′ (G).
Pertimbangkan subgraph F = G [X] diinduksi oleh X. Kita mulai dengan observasi : F tidak
mengandung jejak T dengan panjang 3. Jika F memang mengandung jejak T dari panjang 3
dan e adalah sisi tengah T, lalu X - {e} juga mencakup semua simpul G, yang tidak mungkin.
Oleh karena itu, F tidak mengandung siklus dan tidak ada path dengan panjang 3 atau lebih,
menyiratkan bahwa setiap komponen F adalah star.

Karena hutan dari orde n dan ukuran n - k mengandung komponen k dan ukuran F = n
- (n - l), itu berarti bahwa F mengandung n-l komponen nontrivial. Memilih satu sisi dari
masing-masing n – l komponen menghasilkan matching kardinal n – 1, yaitu α′ (G) ≥ n - l.
Karena itu,
 (G )   (G )  (n  l )  l  n

Akibatnya, α ′ (G) + β ′ (G) = n.

Teorema 8.7 adalah karena Tibor Gallai, yang dikenal sebagai Tibor Grünwald di
tahun-tahun awal. Gallai adalah seoraang Hungaria yang lahir pada tahun 1912, adalah
pemenang kompetisi matematika nasional, bersama dengan Paul Erd s dan Paul Turán dan
menjadi teman seumur hidup keduanya. Sebagai konsekuensi dari pencapaiannya, Gallai
diterima di Universitas Pázmány di Budapest. Dia adalah salah satu kelompok yang antusias
siswa pada 1930-an di Budapest yang termasuk Paul Erd s, Paul Turán, George Szekeres dan
Esther Klein. Beberapa siswa menghadiri kursus teori grafik yang diberikan oleh Dénes König,
yang adalah seorang profesor di Universitas Teknik Budapest. Ini sangat berpengaruh pada
Gallai kepentingan matematis. Gallai membantu König dengan buku teori grafiknya dan König
menyebutkan beberapa di antaranya Hasil Gallai di buku dan menggunakan ide lain dari Gallai.
Banyak kontribusi Gallai untuk membuat grafik teori membuktikan fundamental pada subjek
dan dibantu dalam perkembangan teori graf yang cepat dan kombinatorik. Misalnya, ia
termasuk orang pertama yang mengakui pentingnya apa yang disebut min- teorema maks.

Gallai adalah individu yang sangat sederhana dan jarang tampil di depan umum atau
hadir konferensi. Kenyataannya, sebagian besar karyanya hanya diketahui melalui usaha
murid-muridnya. Sementara Gallai cepat memuji karya orang lain, ia sering meremehkan
kelebihan dirinya sendiri kontribusi, meskipun ia memiliki hasil penting di banyak bidang
teori graf. Akibatnya, terkenal lambat untuk mempublikasikan hasil sendiri. Beberapa
hasilnya tidak dipublikasikan, kemudian menjadi secara mandiri ditemukan kembali (dan
diterbitkan) oleh orang lain. Gallai meninggal pada tahun 1992.

Independensi simpul adalah topik yang sama pentingnya dalam teori graf. Suatu
himpunan simpul dalam sebuah graf adalah independen jika tidak ada dua simpul di
himpunan berdekatan. Angka independensi titik (atau nomor independensi) 𝛼(G) dari grafik
G adalah kardinalitas maksimum dari satu himpunan independen simpul di G. Satu himpunan
independen dalam G kardinalitas 𝛼(G) disebut set independen maksimum.

Ada konsep penutup analog untuk simpul. Penutup titik dalam grafik G adalah satu
himpunan simpul yang mencakup semua sisi G. Jumlah minimum simpul dalam penutup
sudut G adalah titik meliputi nomor 𝛽(G) dari G. Sebuah penutup titik kardinalitas 𝛽 (G)
adalah penutup titik minimumdi G. Untuk bilangan bulat n ≥ 3 dan bilangan bulat r dan s
dengan 1 ≤ r ≤ s,

𝛼(𝐶𝑛 ) = ⌊𝑛/2⌋, 𝛼(𝐾𝑛 ) = 1 dan 𝛼(𝐾𝑟,𝑠 ) = 𝑠;

Sementara

𝛽(𝐶𝑛 ) = ⌊𝑛/2⌋, 𝛽(𝐾𝑛 ) = 𝑛 − 1 dan 𝛽(𝐾𝑟,𝑠 ) = 𝑟.

Di sini juga amati itu

𝛼(𝐶𝑛 ) + 𝛽(𝐶𝑛 ) = 𝛼(𝐾𝑛 ) + 𝛽(𝐾𝑛 ) = 𝑛 dan 𝛼(𝐾𝑟,𝑠 ) + 𝛽(𝐾𝑟,𝑠 ) = 𝑟 + 𝑠.

Ada analog dengan Teorema 8.7 untuk simpul, juga karena Gallai. Buktinya mirip dengan
buktinya

Teorema 8.7 dan dibiarkan sebagai latihan. Hasil dalam Theorems 8.7 dan 8.8 sering disebut
sebagai
Identitas Gallai.
Teorema 8.8 Untuk setiap grafik G orde n yang tidak mengandung simpul tersendiri,

𝛼(𝐺) + 𝛽(𝐺) = 𝑛
Konsep independensi dan penutup yang baru saja kita bahas untuk grafik G adalah
diringkas di bawah ini.

𝛼(G) jumlah titik independen, jumlah maksimum simpul, tidak ada dua yang berdekatan

𝛽(G) jumlah titik meliputi, jumlah minimum simpul yang mencakup semua sisi G

𝛼 ′(G) jumlah tepi independen, jumlah tepi maksimum, tidak ada dua yang berdekatan

𝛽 ′(G) jumlah tepi mencakup, jumlah minimum tepi yang mencakup semua simpul G

Contoh 8.9 Tentukan nilai-nilai (G), (G), ′ (G) dan ′ (G) untuk grafik G = K1 + 2K3 dari
Gambar 8.4.
G:

u y

w
v x

t z

Gambar 8.4: Grafik G dalam Contoh 8.9

7
Larutan. Karena urutan G adalah 7, maka itu ∩ 𝛼 ′(𝐺) ≤ ⌊2⌋ = 3. Karena {tu, vw, yz} adalah

satu himpunan independen dari tiga sisi, 𝛼′ (G) = 3. Dengan Teorema 8.7, ′𝛽 (G) = 4.
Perhatikan bahwa {tu, vw, wx, yz} adalah penutup tepi minimum untuk G.
 Titik sudut w bersebelahan dengan semua simpul G. lainnya. Selanjutnya, G [{t, u,
v}] = K3 dan G [{x, y, z}]= K3.Jadi 𝛼(G) = 2. Satu contoh dari himpunan independen
maksimum adalah {t, z}. Dengan Teorema 8.8, 𝛽(G) =5. Salah satu contoh penutup titik
minimum G adalah {t, u, w, y, z}.