Anda di halaman 1dari 2

Teorema 2.1.1 (Tutte).

Graf G memiliki 1-factor jika dan hanya jika untuk setiap subset S pada V(G), jumlah komponen ganjil dari G S tidak melebihi S ! "ukti! Missal # adalah 1-factor dari G, dan missal S adalah subset dari V(G). Untuk setiap komponen ganjil $ dari G S, terdapat sekurang-kurangnya satu edge dari # yang menghubungkan %erte& pada $ dan %erte& pada S. Maka |S| sekurang-kurangnya sama besar dengan jumlah komponen ganjil dari G S. Syarat perlu terbukti. erikutnya dibuktikan syarat !ukupnya. Untuk subset S dari V(G), dinotasikan jumlah komponen ganjil dari G S dengan k'(G S). dengan demikian, hipotesa dari G dapat dinyatakan kembali dengan k'(G S) " |S untuk setiap subset S dari V(G). Untuk S ( diperoleh k'(G ) ) , # $, mengimplikasikan bah%a G hanya memiliki komponen genap dan

oleh karenanya memiliki order genap p! &ebih lanjut, untuk setiap subset S dari V(G), k'(G S) dan |S memiliki paritas yang sama, karena p genap. 'ilanjutkan dengan induksi pada bilangan bulat positi( genap p. )ika G adalah gra( dengan order p # * sedemikian sehingga k'(G * S) ) S untuk setiap subset S dari V(G), maka G +, dan G memiliki 1-factor. +sumsikan untuk semua gra( $ dengan order genap kurang dari p (dengan p , - adalah bilangan bulat genap) bah%a jika k'($ * -) ) - untuk setiap subset - dari V($), maka $ memiliki 1-factor. Misal G merupakan gra( dengan order p dan asumsikan bah%a k'(G * S) ) S untuk setiap subset S dari V(G)! .andang dua kasus. /asus 10 +nggap bah%a k'(G * S) ) S untuk setiap subset S dari V(G) dengan * " |S| 1 p. /arena k'(G * S) dan S| memiliki paritas yang sama, k'(G * S) ) S| 2 * untuk setiap subset S dari V(G) dengan * " S . p. Misal e ( u% adalah edge dari G dan pandang G * u * %. Misal / adalah subset dari V(G * u * %)! Maka k'(G * u * % * / ) ) / u, % 2 * atau k'(G * u * % * /) ) / . Sehingga, dari hipotesa, G * u * % memiliki 1-factor dan oleh karena itu demikian pula G. /asus *0 Misal terdapat subset 0 dari V(G) sedemikian sehingga k'(G * 0) ( 0 , dengan * " 0 . p. 'ari semua himpunan 0, misal S memiliki kardinalitas maksimum dengan k'(G * S) ( S ( n. &ebih lanjut, misal G1, G,, ! ! ! , Gn menotasikan komponen ganjil dari G * S dan merupakan komponen yang terdapat pada G * S. )ika G' merupakan komponen genap dari G S dan u' V(G'), maka k'(G * (S (u'))) 1 n 2 1 ( S (u') , yang mengimplikasikan bah%a k'(G 2 (S (u'))) # |S u'|, kontradiksi dengan si(at maksimum S. Untuk i # 1, *, . . . , n misal Si menotasikan himpunan semua %erte& S yang adjacent terhadap satu atau lebih %erte& dari Gi. Setiap himpunan Si tak kosong, dengan kata lain beberapa Gi merupakan komponen ganjil dari G. 3abungan sebarang k dari himpunan S1, S,, ! ! ! , Sn memuat sekurang-kurangnya k %erte& untuk setiap k dengan 1 " k ) n4 dengan kata lain, terdapat k (1 " k ) n) sedemikian sehingga union / dari beberapa k himpunan memuat kurang dari k %erte&! 5al ini mengimplikasikan bah%a k'(G * /) 6 |/|, yang tidak mungkin. Sehingga, digunakan teorema sebelumnya untuk menghasilkan sistem dari representasi yang berbeda pada

S1, S,, ! ! ! , Sn. 5al tersebut mengimplikasikan bah%a S memuat 7erte8 %1, %,, ! ! ! , %n dan setiap Gi memuat %erte& ui (1 ) i ) n) sedemikian sehingga ui%i 3(G) untuk i # 1, *, . . . , n. Misal - subset dari V(Gi ui), 1 " i ) n. +kan ditunjukkan bah%a k'(Gi ui * - ) " |-|, misal k'(Gi ui * -) 6 |-|. /arena Gi ui memiliki order genap, k'(Gi ui * -) dan |-| memiliki paritas yang sama, maka k'(Gi * ui * -) , |-| 9 *. Sehingga k'(G 2 (S - ui)) # k'(Gi *ui*-) 9 k'(G * S) 21 , |S| 9 |-|91 # |S - ui|. 5al tersebut kontradiksi dengan si(at maksimum S. :leh karena itu, k'(Gi* ui * -) " |-| dan dengan hipotesa induksi bah%a untuk i # 1, *, . . . , n subgra( Gi ui memiliki 1-factor. ;akta tersebut dengan eksistensi edge ui%i (1 " i ) n), menghasilkan 1-factor pada G.

Anda mungkin juga menyukai