Lampiran

Pencocokan dan Pewarnaan di Matroids

Konsep matroid, yang diperkenalkan oleh Whitney pada tahun 1935 untuk
menggeneralisasi independensi linier memungkinkan kita untuk menyatakan kembali sejumlah
besar teorema dalam teori optimasi. Pertama-tama, telah diamati oleh banyak penulis bahwa
hipergraf set independen sedemikian rupa sehingga seseorang dapat menggunakan algoritma
serakah Kruskal untuk menentukan
pohon dengan berat maksimum. Identifikasi matroid reguler dengan hipergraf unimodular adalah
karena Tutte, Camion, dan Seymour, yang juga menunjukkan bahwa jika C adalah
keluarga sirkuit matroid dan jika e adalah elemen matroid maka hipergraf mengerian jika dan
hanya jika matroid adalah { C−e /C ∈ c , e ∈ C } linier dan tidak mengandung matroid Fano
sebagai anak di bawah umur(1).

Kita akan mempertimbangkan di sini konsep pencocokan dan pewarnaan yang didefinisikan
untuk grafik hiper di bab-bab sebelumnya.
{ }
Biarkan E = menjadi himpunan e 1 , e 2 , … . , em terbatas, dan biarkan menjadi
himpunan F bagian dari E. Kita akan mengatakan bahwa itu merupakan F matroid pada E jika
( 1 ) { e 1} ∈ F ( i=1,2 ,… , m )
( 2) F ∈ F , F ' ≠ ∅ , F ' ⊂ F ⇒ F' ∈ F
( 3 ) Untuk masing-masing S ⊂ E, jika F dan F ' merupakan dua anggota dari F yang
terkandung dalam S dan maksimal dengan sifat ini, maka |F|=|F '|

Pasangan M =( E , F )ini disebut matroid sederhana (pada E); Secara khusus itu adalah heredi
hipergraf tary, dan kita dapat mempertimbangkan untuk matroid konsep yang sama yang
didefinisikan di atas untuk hipergraf. Secara khusus, peringkat r (S) akan ditentukan oleh
r ( S )=max|F ∩S|.
F ∈F
Aksioma (3) menyatakan bahwa anggota keluarga F yang terdapat dalam Sdan maksimal dalam S
memiliki kardinalitas r ( S).

(1) (P. Seymour, JCT, B23, 1977, 189-222). Untuk eksposisi terperinci dan terminologi umum, kami merujuk pembaca ke
D. Welsh, Matroid Thccq, Academic Press, New York 1976; R.E. Bixby, Matroids and Operations Research di H. Greenberg,
F. Murphy, S. Shaw, Teknik Adunnccd, Belanda Utara, Amsterdam, 1982.
218 hipergraf

Dalam teori matroid, unsur-unsur E adalah unsur-unsur matroid M, dan anggota 3

adalah F himpunan independen. Mereka juga tepi hipergraf F .
Set yang tidak muncul adalah
F set dependen. Satu set dependen minimal disebut sirkuit.

Proposisi 1. Jika M =( E , F )adalah matroid peringkat, maka set penyok indepen maksimal
membentuk hipergraf r ( E) peringkat yang seragam. r (E)
Jelas.

Proposisi 2. Jika M =( E , F ) adalah matroid pangkat , dan r jika , grafik subhiper dari adalah
matroid A ⊂ E pangkat F A= { F ∩ A / F ∈ F , F ∩ A ≠ ∅ } M r A (S )=r ( S).
Jelas.

Proposisi 3. Jika M = ( E , F )adalah matroid, setiap k-section

F (k )={ F /1 ≤| F|≤ k , F ∈ F } membentuk matroid pangkat

r ( k ) ( S )=min { k , r ( S ) }
Jelas.

contoh 1. Keluarga P ’(E)himpunan bagian yang tidak kosong dari himpunan E adalah
matroid pangkat dan angka stabilitasnya yang kuat r ( S )=|S| , adalahα =1.
Keluarga P( k ) (E) himpunan bagian dari E kardinalitas dan ≤ k dan ≥ 1juga matroid,
karena merupakan bagian-k dari matroid sebelumnya. Nomor stabilitasnya yang kuat adalah ,
α =1 sirkuitnya adalah himpunan bagian dari E yang memiliki elemen. k +1

contoh 2. Ambil untuk E satu set vektor terbatas, dan untuk keluarga set vektor independen linier
F . Kemudian ( E , F)adalah matroid, dan peringkat r (S) sekumpulan S vektor adalah
dimensi ruang linier yang direntangkan oleh adalah jumlah maksimum vektor S ; α E yang
semuanya kolinear.

contoh 3. Mari kita G menjadi multigraf; ambil untuk set tepi , E dan untuk F keluarga dari set
tepi yang tidak mengandung siklus. ( E , F)kemudian matroid dengan peringkat sama dengan
jumlah koslomatik dari r (S) grafik parsial yang dihasilkan oleh . S Set penyok indepen
adalah hutanG , dan sirkuit adalah siklus elementer dalam G .

contoh 4. Biarkan G menjadi multigraf tanpa jembatan. Ambil untuk E set tepi

Lampiran 219

G, dan untuk F keluarga set tepi G yang penekanannya tidak menambah jumlah komponen yang
terhubung. kemudian (E , F) matroid, memiliki peringkat r (S) yang sama dengan jumlah
siklomatik dari grafik parsial yang dihasilkan oleh S. Basis adalah hutan bersama minimal, sirkuit
adalah siklus dasar G .

Contoh 5 (Edmonds, Fulkerson 1965). Biarkan G grafik tanpa simpul terisolasi dan untuk setiap
pencocokan V menunjukkan dengan himpunan S(V ) simpul jenuh oleh pencocokan ambil
sebagai anggota F dari setiap himpunan F simpul yang terkandung dalam setidaknya satu
S(V ).
Dapat ditunjukkan bahwa (X , F) adalah matroid pangkat
r ( S )=|S|−max { Pi (G T )−¿ Г G ( T )−T ∨},
T⊂S

di mana pi ( H ) menunjukkan jumlah komponen urutan ganjil dalam subgraf H dari . G

contoh 6. Untuk keluarga himpunan bagian dari ( A j / j ∈Q) kumpulan himpunan E ,

A ( Q )=¿ j∈ Q A j=E ;
Kami menyebut transversal parsial subset sedemikian rupa sehingga ada suntikan
T ={t 1 ,t 2 , … ,t k }of E j(i):{1,2 , ... , k }→Q , dengan
t i ∈ A j (i ) (i=1,2 , … , k)
Keluarga transversal parsial mendefinisikan matroid pada peringkat E

r ( S )=|Q|+min (| A ( J ) ∩ S|−|J|)
J ⊂Q
 Matroid ini disebut matroid transversal keluarga { A j / j ∈Q }. Memang, perhatikan
grafik bipartit (Q , E , Г ) yang dibentuk oleh dua set di mana
Q={1,2 ,... , q }∧E={x 1 , x 2 , x n }
Г ( j ) =A j ( j∈ Q)
Kita tahu dari Contoh 5 bahwa keluarga set simpul jenuh dalam pencocokan mendefinisikan
matroid: keluarga transversal parsial adalah jejak pada matroid ini: dengan demikian E matroid.
Pangkatnya diberikan oleh Teorema Kӧnig:

r ( S )=min (|Q−J|+|Г ( J ) ∩ S|)=q+min (|A ( J ) ∩ S|−|J|)

J ⊂Q J ⊂Q

contoh 7. Jika (C 1 , C 2 , … , C p )adalah partisi dari himpunan E ke dalam kelas p, dan jika
c 1 , c2 , … , c padalah bilangan bulat dengan 1 ≤ ci ≤|Ci|,keluarga

220 Hypergraphe

F={F / F ⊂ E , F ≠ ∅ ,∨F ∩C i∨≤ ci for each i}

mendefinisikan matroid pada E peringkat
p
r ( S )=∑ min{c i ,|S ∩C i|}
i =1

contoh 8. Biarkan G menjadi grafik sederhana, dan biarkan k menjadi bilangan bulat ≥ 2. Bintang k
dengan pusat x adalah grafik parsial G yang dibentuk oleh serangkaian insiden tepi pada ≤ k x . Las
Vergnas telah menunjukkan bahwa himpunan S simpul yang dapat dicakup oleh keluarga bintang-k
vertex-disjoint berpasangan membentuk himpunan independen dari matroid peringkat

r ( S )=min {k |Г G ( T )|+|S−T|}
T ⊂S

contoh 9. Biarkan f peta dari himpunan bagian X ke N sedemikian rupa sehingga

 f ( ∅ ) =0
A ⊂B ⇒ f ( A ) ≤ f ( B )
f ( A ∪ B ) +f ( A ∩ B ) ≤ f ( A ) +f ( B ) .
Edmonds, Rota, dan Welsh menunjukkan bahwa set sedemikian rupa sehingga untuk setiap
bentuk set independen dari S∨T ∨≤ f (T )T ⊂ S matroid pangkat
r ( S )=min { f ( T ) +|S−T|}
T ⊃S

Sekarang kita akan membuktikan dua proposisi yang kita perlukan untuk hal-hal berikut.

Proposisi 4. Jika M =( E , F )adalah matroid, maka peringkatnya r (A) memenuhi sifat-

sifat berikut:

(1) r ( ∅ )=0 ,
(2) r ( { e } )=1 ( e ∈ E )
(3) A ⊂B ⇒ r ( A ) ≤ r ( B ) ,
(4) r ( A ) +r ( B ) ≥ r ( A ∪ B )+ r ( A ∩ B ) .

Lampiran 221

Properti (1), (2) dan (3) jelas. Kami akan membuktikan (4). Biarkan F menjadi himpunan

independen yang terkandung dalam A ∩ Bdengan|F|=r (A ∩B)

F Amenjadi himpunan independen yang terkandung dalam A dengan
Biarkan
¿ F A ∨¿ r ( A)∧F A ⊃ F .
Biarkan E0 menjadi himpunan independen yang berisi F A , terkandung dalam , A ∪ B
dengan |E 0|=r ( A ∪ B).
 Jelas (karena adalah himpunan independen maksimal dalam A) E0 ∩ A=F A F A dan
(karena F E 0 ∩( A ∩ B)=F adalah himpunan independen maksimal dalam ). A ∩ B
Kemudian

r ( A ∪ B )=|E0|+|( E0 ∩ A ) ∪ ( E 0 ∩ B )|
= |E 0 ∩ A|+|E0 ∩ B|−|E0 ∩ A ∩ B|
≤|F A|+r ( B )−|F|=r ( A )+ r ( B )−r (A ∩B)
Demikian (4) berikut.
(Properti (1), (2), (3), (4) adalah karakteristik pangkat dan juga dapat diambil sebagai
aksioma matroid pada E).

Proposisi 5. Jika, dalam matroid M, kita memiliki dan , F ∈ F dan F ∪ { a } ∈ F maka

himpunan berisi satu rangkaian ezactly. F ∪ {a }
Biarkan F menjadi himpunan independen minimum yang akan menjadi contoh tandingan.
Karena F ∪ {a } berisi dua sirkuit yang berbeda . C1∧C 2 dan kami memiliki a 1 ∈C 1−C 2
Dengan minimalitas C 1∧C2 ada titik a 1 ∈C 1−C 2 dan titik a 2 ∈C 2−C 1 .

1. Set A0 =F ∪ {a }−{a 1 , a2 }ini independen. Jika tidak, pertimbangkan himpunan

yang F ’=F−{a }, independen seperti yang terkandung dalam F. Set berisi sirkuit dan
F ' ∪ {a }C 2 set dependen minimal A0 ; dengan demikian mengandung dua sirkuit yang
berbeda , dan karena ini bertentangan dengan minimalitas |F '|<|F|, F.
2. Submatroid yang direntangkan olehF ∪ {a }adalah matroid pangkat yang berisi himpunan
independen |F| A 0. Since | A 0|<|F| we have
A0 ∪ { Ai } ∈ F
Untuk i=1,2. Kontradiksi mengikuti, seperti C i himpunan dependen yang terkandung dalam
A0 ∪ {ai }.

Lemma. Jika S adalah set maksimal yang sangat stabil dalam matroid maka masing-masing
( E , F), s ∈ S berdekatan dengan setiap a ∈ E−S .
222 hipergraf

Pertimbangkan set maksimal yang sangat stabil S. Kemudian r ( S )=1. Biar

S= {s 1 , s2 , … . , s p } .
Pertimbangkan suatu titik a ∈ E−S1 karena S ∪ { a } tidak sangat stabil ada yang berdekatan
s j ∈ S dengan a . Jika k ≠ j simpul berdekatan dengan sk ∈ S , { a , s j }karena himpunan
adalah a= { a , sk , s k }peringkat 2, dan himpunan independen yang berisi terkandung dalam
himpunan independen imal maks F F sk memuaskan F . |F ∩ A|=2 Jadi a berdekatan
dengan sk , untuk setiap k.

Teorema 1. Jika M =( E , F ) adalah matroid dengan angka stabilitas yang kuat maka
|E|
a(M)≥ kemudian a ( M )=ρ ( M ).
2
Memang, pertimbangkan set maksimum yang sangat stabil

S= {s 1 , s2 , … . , s p } .
kita dapat menulis
E−S= { a1 ,a 2 , … . , aq } , q ≤ p .
Dari lemma, ada tepi yang berisi dan F ij ai S j , dan E dapat ditutupi oleh tepi p sehingga
F 1,1 , F 2,2 , … . , Fq ,q +1, … , F q , p ;
ρ ( M ) ≤ p=a ( M )
Karena ketidaksetaraan terbalik juga berlaku, kita memiliki ρ ( M )=a ( M ) .

Teorema 2 Sebuah matroid adalah konformal M =( E , F ) jika dan hanya jika ada
parti tion dari E sedemikian rupa sehingga ( s1 , s 2 , … . , s q )3 terdiri dari keluarga
himpunan F yang tidak kosong dengan

|F ∩ S i|≤ 1 (i=1,2, … q ).
Biarkan s1= { s 1 , s 2 , …. , s p } .menjadi set stabil kuat maksimal dalam matroid
konformal peringkat . h=r ( E )Cukup untuk menunjukkan bahwa keluarga adalah bentuk yang
diinginkan. F
 1. Biarkan menjadi set independen maksimal yang berisi titik F 1 s1. Meletakkan
A=E−s1 .
A=F1 ∩ A .
Kemudian |F 1|=h , so| A1|=h−1.
2. Kami akan menunjukkan bahwa itu adalah A1 set independen maksimal di A. Memang, jika
ini tidak terjadi, akan ada dengan a ∈ A

Lampiran 223

A1 ∪ { a } ∈ F .
Dari lemma, simpul dan berdekatan dan dengan demikian terkandung dalam set independen
maksimal a s1 Fa , s ,. Karena matroid bersifat M
1
konformal, dari Teorema 15, Bab 1, ada yang
sedemikian rupa sehingga F 0 ∈ F

F 0 ⊃ [ F ∩ ( A1 ∪ { a } ) ] ∪ [ A1 ∪ { a } ∩ F a ,s ] ∪ ( F a , s ∩ F )
1 1

¿ A1 ∪ { a } ∪ { s 1 }
Jadi bertentangan dengan itu |F 0 ≥ h+1|h adalah pangkat M .
3. Dari penjelasan di atas, kami memiliki,r ( A ) =h−1 sehingga setiap set independen
maksimal memuaskan F

|F ∩ S 1|=1
Dalam submatroid yang disebabkan oleh A , yang berpangkat , h−1pertimbangkan set
S2 ;di atas kita melihat bahwa
maksimal yang sangat stabil seperti

|F ∩ S 2|=1
Dengan demikian kami menentukan partisi s1 , s 2 , … . , s h of E dan setiap set F kepuasan
independen maksimal untuk M | F ∩ S1|=1 i=1,2 , .., h .

4. Sebaliknya, setiap himpunan yang memenuhi persamaan di atas memiliki pasangan poin
yang berdekatan, dan karena matroid F bersifat konformal dan berperingkath , ia adalah himpunan
independen maksimal.
Keluarga F dengan demikian adalah bentuk yang diinginkan.
Q.E.D.

Biarkan menjadi keluarga himpunan bagian A=( A 1 , A 2 , … . , A q ) =( A i / q ∈Q )dari

 E . Keluarga perwakilan yang berbeda adalah keluarga unsur-unsur sedemikian rupa
satu set
sehingga ( a ( i ) /i∈ Q ) E

(1)i ≠ j ⇒ a (i )≠ a ( j )
( 2 ) a ( i ) ∈ A i ( i=1,2 , … . , q )
Intinya a ( i )adalah representati. Je dari himpunan Jelas keluarga perwakilan yang berbeda
mendefinisikan Ai . transversal kardinalitas q ; Namun, kebalikannya tidak benar.

224 Hipergraf

Jika kita mempertimbangkan grafik bipartit dengan ( Q , E , Г )dengan e ∈ Г ( i )jikae ∈ A

i

, satu set perwakilan yang berbeda adalah gambar pencocokan Q ke E.

Jika J ⊂ Q, letakkan A ( J )=¿ j∈ J A j ; kondisi yang diperlukan dan memadai untuk

keberadaan
dari keluarga perwakilan yang berbeda, dari teorema Kӧnig, adalah bahwa
| A ( J )|≥|J |(J ⊂ Q)
Teorema berikut adalah generalisasi dari hasil ini.

Teorema 3 (Sempurna, 1969). Biarkan menjadi matroid M =( E , F ) pangkat mari kita

r (E), k menjadi bilangan bulat menjadi keluarga atau
≤ r ( E )∧let A=( A 1 , A2 , … , A q ) =( A¿¿ 1/ i ∈Q)¿ q himpunan bagian dari E;
Kondisi yang diperlukan dan memadai untuk keberadaan himpunan independen adalah bahwa kita
{ }
memiliki F= a ( i ) i∈ K , K ⊂ Q ,|K|=k , witha ( i ) ∈ A i for every i ∈ K
 r ( A ( J ) ) ≥|J|+k −q(J ⊂ Q)
1. Jika ada himpunan F independen seperti itu, kita memiliki
r¿
≥ k +|J|−q
Dengan demikian kita memiliki ketidaksetaraan yang dinyatakan.
2. Sebaliknya, anggaplah ketidaksetaraan berlaku. Pertimbangkan keluarga dengan
B=(B i /i ∈Q)

(1) {( B i ⊂ Ai (i ∈Q)
r B ( J ) ) ≥|J |+k −q (J ⊂ Q)
'
Arti relasi untuk setiap adalah relasi ordo. Con sider B< B' Bi ⊂ B i i∈ Q keluarga yang
B=(B 1 , B2 , … , B p ) minimal sehubungan dengan perintah ini. Kami akan menunjukkan
|Bi|=1untuk setiap i.
bahwa untuk setiap

Memang, jika misalnya ¿ B1∨¿ 1, ada dua poin b ' , b ∈ {B} rsub {1} wit h b '≠ b
Meletakkan

B1=B1− { b }
' '

B'1=B1−¿
' } =B} rsub {i} if i≠¿
Bi=Bi ¿
Dengan minimalitas B ada dua himpunan bagian dengan I , J ⊂Q

Lampiran 225

r ( B ( I ) ) <|I |+k −qr ( B ( J ) ) <|J|+k +q

' ''

Sehingga

r ( B ( I ) ) +r ( B ( J ) ) ≤| I|+|J |+2 ( k−q )−2

' ''

Lebih lanjut

B' ( I ) ∪ B' ' ( J )=B ( I ∪ J )

 B ( I ) ∩ B ( J ) =B ( I ∩ J − { I } )
' ''

Dari proposisi 4 kita dapat menulis

r ( B ( I ) ) +r ( B ( J ) ) ≥ r ( B ( I ) ) + r ( B ( J )) + r ( B ( I )) +r ( B ( J ) )
' '' ' '' ' ''

≥ r ( I ∪J )+ r ( ( I ∩ J −{ I } ) )
≥|I ∪ J|+|I ∩J − { I }|+2 ( k −q )
≥|I|+|J |−2 ( k−q )−1

Sebuah kontradiksi mengikuti.

Dengan demikian kami telah menunjukkan bahwa itu adalah B bentuk ( { bi /i∈ Q } ).Meletakkan

Dari (1) kami memiliki
Jadi ada himpunan dengan
F={ b i /i ∈Q } ⊂ B
B=( { bi /i∈ Q } )
r ( B )=r ( B (Q ) ) ≥|Q|+ k−q=k
K ⊂Q| K|=k , dan himpunan independen dengan
b i ∈ A i ( i∈ K )
Q.E.D.

Sebagai konsekuensi langsung, kita memiliki teorema Rado yang terkenal:

Teorema 4 (Rado, 1942). Jika M =( E , F ) adalah matroid, A=( A 1 , … ., Aq )keluarga

himpunan bagian dari E memiliki seperangkat perwakilan independen yang berbeda jika dan
hanya jikar ( A ( J ) ) ≥|J| ( J ⊂ Q )
Memang, biarkan pernyataan k =q Teorema 3.

Akibat wajar 1. Dua keluarga dan memiliki A=( A 1 , A 2 … . , A q ) Β=( Β1 , Β2 … . , Βq )

kesamaan

226 hipergraf
set perwakilan yang berbeda dan hanya jika if
| A ( J ) ∩B ( K )|≥|J|+| K|−q( J , K ⊂Q)
Memang, perhatikan matroid transversal M dari keluarga B (contoh 6), yang peringkatnya
adalah

r ( S )=q+ min (|B ( K ) ∩ S|−|K|)

K ⊂Q

Ada satu set transversal A yang independen dalam M jika dan hanya jika, untuk setiap J c &,
kita memiliki

r ( A ( J ) )=q+ min (| A ( J ) ∩ B ( K )|−|K|) ≥∨J ∨¿ ¿

K ⊂Q

memberi kita kondisi yang diinginkan.

Akibat wajar 2. Jika C=(C1 ,C 2 , … ,C p) adalah partisi dari E, dan jika adalah
bilangan bulat dengan untuk setiap i, sebuah keluarga memiliki c 1 , c2 , … , c p
0 ≤ c i ≤∨Ci∨¿ satu set T A=( A1 , A 2 , … , A q)perwakilan yang berbeda dengan untuk
setiap jika dan hanya ¿ T ∩C i∨≤ c i i jika

∑ min {c i ,|A ( J ) ∩C i|} ≥|J |(J ⊂ Q)

i=1

Memang, perhatikan matroid M yang dibentuk oleh himpunan dengan untuk masing-masing
(contoh F ⊂ E∨F ∩C i ∨≤ c i i 7), yang peringkatnya adalah
p
r ( S )=∑ min{c i ,|S ∩C i|}
i =1

Ada seperangkat perwakilan berbeda A yang independen dalam M jika dan hanya jika,
untuk setiap J ⊂Q ,
p
r ( A ( J ) )=∑ min ⁡{c i ,∨ A( J )∩C i∨}≥∨J ∨¿
i=1
Q.E.D.

Ingat proposisi (lih. Grafik, Akibat wajar dari Teorema 6, Bab. 7) yang mengatakan: Suatu
kondisi yang perlu dan memadai untuk suatu himpunan B⊂ E yang akan dimuat dalam satu set
perwakilan keluarga adalah A=( A1 , A 2 , … , A q) bahwa
min {| A ( J ) ∪ B|, q−|B− A ( J )|} ≥|J |( J ⊂Q)