Dugaan Reed tentang perluasan lubang

J.-L. Fouquet
LIFO, Faculté des Sciences, BP 6759
Université d'Orléans, 45067 Orléans Cedex 2, FR ∗
J.-M. Vanherpe
arXiv: 1205.0731v2 [cs.DM] 29 Okt 2012

LIFO, Faculté des Sciences, BP 6759

Université d'Orléans, 45067 Orléans Cedex 2, FR †

21 Mei 2018

Abstrak

Pada tahun 1998, Reed menduga hal itu untuk grafik apa pun G, χ (G) ≤ ⌈ ω (G) +2 ∆ ( G) + 1 ⌉,
dimana χ (G), ω (G), dan ∆ ( G) masing-masing menunjukkan nomor kromatik, nomor
klik dan derajat maksimum G. Dalam makalah ini, kami mempelajari dugaan ini
untuk beberapa orang ekspansi grafik, yaitu grafik yang diperoleh dengan operasi
terkenal komposisi grafik.
Kami membuktikan bahwa Reed's Conjecture berlaku untuk perluasan grafik bipartit, untuk perluasan
lubang ganjil di mana bilangan kromatik minimum komponennya genap, ketika beberapa komponen
pemuaian memiliki bilangan kromatik 1 atau ketika sebuah komponen menginduksi graf bipartit. Selain
itu, Reed's Conjecture berlaku jika semua komponen memiliki nomor kromatik yang sama, jika
komponen memiliki nomor kromatik paling banyak. 4 dan ketika lubang ganjil memiliki panjang 5. Akhirnya,
kapan G adalah ekspansi lubang yang aneh, kami

membuktikan χ (G) ≤ ⌈ ω (G)2+ ∆ ( G) + 1 ⌉ + 1.

1. Perkenalan
Di sini kami menganggap grafik sederhana dan tidak berarah. Untuk istilah-istilah yang tidak didefinisikan, kami
mengacu pada Bondy dan Murty [2].
Bilangan kromatik dari suatu grafik G, dilambangkan dengan χ (G), adalah jumlah
warna minimum yang diperlukan untuk mewarnai grafik dengan benar, yaitu mewarnai
simpul G sehingga tidak ada dua simpul yang berdekatan menerima warna yang sama;
ukuran klik terbesar (kumpulan independen) di G disebut nomor klik
( nomor kemerdekaan) dari G, dan dilambangkan dengan ω (G) (α (G)); tingkat maksimum G, dilambangkan
∆ ( G) adalah jumlah maksimum tetangga dari sebuah simpul di atas semua simpul dari G.

Membatasi bilangan kromatik dari suatu grafik dalam kaitannya dengan parameter
grafik lainnya menarik banyak perhatian di masa lalu. Misalnya, hal itu sangat diketahui
untuk grafik apa pun G kita punya ω (G) ≤ χ (G) ≤ ∆ ( G) + 1. Batas atas ini
∗ email: jean-luc.fouquet@univ-orleans.fr
† email: jean-marie.vanherpe@univ-orleans.fr

1
dikurangi menjadi ∆ ( G) oleh Brooks [3] pada tahun 1941 untuk grafik terhubung yang bukan
grafik lengkap maupun siklus ganjil.
Pada tahun 1998 Reed [9] menyatakan Conjecture berikut juga dikenal sebagai Dugaan Reed:

Dugaan 1 [ 9] Untuk grafik apa pun G, χ (G) ≤ ⌈ ω (G) + ∆ ( G) + 1 2⌉.

Dugaan ini telah dinyatakan benar untuk beberapa batasan grafik pa-
rameters. Oleh karena itu, dugaan 1 berlaku saat χ (G)> ⌈ | V (G) | 2 ⌉ ( lihat [8]), ketika
χ (G) ≤ ω (G) + 2 [ 5], ketika α (G) = 2 [ 6, 7] atau kapan ∆ ( G) ≥ | V (G) | - α (G) - 4
(lihat [7]).
Beberapa kelas grafik juga memverifikasi Konjektur 1. Itulah kasus sepele untuk grafik
sempurna (grafik G dikatakan sempurna jika χ (H) = ω (H) untuk setiap subgraf yang
diinduksi H dari G), untuk grafik dengan komplemen terputus [8] untuk grafik yang hampir
terbelah (grafik yang hampir terbagi adalah grafik yang dapat dipartisi menjadi himpunan
independen maksimum dan grafik yang memiliki nomor independen paling banyak 2) atau
kelas tertentu dari grafik segitiga bebas [7] dan untuk kelas yang ditentukan
dengan konfigurasi terlarang sedemikian rupa sehingga ( 2 K 2, C 4) - grafik bebas, grafik bebas
lubang ganjil [1] atau beberapa kelas tertentu P. 5- grafik gratis [1].

Operasi terkenal komposisi grafik, juga disebut ekspansi di [1] diartikan sebagai
berikut:
Diberikan grafik H di n sudut v 0. . . v n - 1 dan keluarga grafik G 0. . . G n - 1,
sebuah ekspansi dari H, dilambangkan HG 0. . . G n - 1) diperoleh dari H dengan mengganti setiap simpul v saya dari H dengan

G saya untuk i = 0. . . n - 1 dan bergabung dengan sebuah simpul x di G saya

ke titik sudut y dari G j jika dan hanya jika v saya dan v j berbatasan dengan H. Grafik G saya,
i = 0. . . n - 1 dikatakan sebagai komponen dari ekspansi yang terkait dengan v saya.

Dalam [1], Aravind dkk membuktikan bahwa Konjektur 1 berlaku untuk penuh ekspansi
dan independen ekspansi lubang ganjil, yaitu ekspansi HG 1. . . G n) dari
lubang aneh di mana semua G saya bisa berupa grafik lengkap atau grafik tak bertepi. Selain
itu, mereka meminta pembuktian Konjektur 1 untuk perluasan grafik kapan pun
setiap komponen dari strategi ekspansi Konjektur 1.
Dalam makalah ini, kami mempertimbangkan Konjektur 1 untuk ekspansi grafik
bipartit, yaitu ekspansi bipartit dan ekspansi lubang ganjil. Kami menggunakan algoritma
pewarnaan dari ekspansi bipartit yang kami perpanjang ke ekspansi lubang ganjil, ini
memungkinkan kami untuk menghitung bilangan kromatik dari grafik tersebut. Kami
membuktikan bahwa Konjektur 1 berlaku untuk ekspansi bipartit (Teorema 9).
Selain itu, Konjektur 1 berlaku untuk ekspansi lubang ganjil ketika bilangan kromatik minimum dari
komponen genap (Korolary 17), ketika beberapa komponen muai memiliki bilangan kromatik. 1 ( Teorema
18), atau ketika sebuah komponen menginduksi graf bipartit (Teorema 19). Begitu pula halnya jika
semua komponen mempunyai bilangan kromatik yang sama (Teorema 20), bila komponen-komponen
itu paling banyak bilangan kromatiknya. 4 ( Teorema 23), dan bila lubang ganjil memiliki panjang 5 ( Teorema
25). Selain itu, jika G adalah ekspansi lubang ganjil yang kita miliki

χ (G) ≤ ⌈ ω (G) + ∆ ( G) 2+ 1 ⌉ + 1 ( Teorema 26).

Hasil ini meningkatkan hasil Aravind dkk pada ekspansi penuh dan independen
dari lubang ganjil.
Bagian ini diakhiri dengan beberapa notasi dan hasil pendahuluan. Bagian 2
dikhususkan untuk mewarnai ekspansi bipartit dan konsekuensinya

2
pada Konjektur 1 untuk grafik semacam itu sementara di Bagian 3 kami mempertimbangkan
pewarnaan dari ekspansi lubang ganjil dan implikasinya pada Konjektur 1 dibahas dalam Bagian
4.

1.1 Notasi dan hasil awal

Diberikan grafik G dan X bagian dari himpunan puncaknya, kami nyatakan G [X] subgraf
dari G disebabkan oleh X. Derajat sebuah simpul v dalam grafik G dilambangkan d G ( v) atau
d (v) ketika tidak ada kebingungan yang mungkin terjadi. Untuk ekspansi HG 0. . . G n - 1) dari beberapa
grafik H, kita akan mengasumsikan sebagai berikut bahwa simpul dari H berbobot
dengan nomor kromatik dari komponen terkaitnya sementara tepi
H ditimbang dengan jumlah bobot titik akhirnya. Apalagi untuk
i = 0,. . . n - 1, kami akan menunjukkan χ saya sebagai bilangan kromatik G saya, sementara V. saya adalah untuk
himpunan puncak G saya, ∆ saya adalah derajat maksimum G saya, dan ω saya nomor kliknya.

Lemma 2 Membiarkan H menjadi subgraf yang diinduksi dari beberapa grafik G seperti yang

χ (H) = χ (G). Jika χ (H) ≤ ⌈ ω (H) + ∆ ( H) + 1 ⌉2 kemudian χ (G) ≤ ⌈ ω (G) + ∆ ( G) + 1 ⌉.2

Bukti Sejak H adalah subgraf terinduksi dari G, ω (H) ≤ ω (G) dan ∆ ( H) ≤ ∆ ( G).
Jadi χ (G) = χ (H) ≤ ⌈ ω (H) + ∆ ( H) + 1 ⌉ ≤2 ⌈ ω (G) + ∆ ( G) + 1 ⌉. 2

Teorema 3 [ 8] Jika G kemudian diputuskan χ (G) ≤ ⌈ ω (G) + ∆ ( G) + 1 ⌉2

Lemma 4 Membiarkan G = H (G 0. . . G n - 1) menjadi ekspansi lubang ganjil yang merupakan contoh

kontra minimum dari Konjektur 1 (jika ada). Untuk saya ∈ { 0. . . n}, G saya terhubung.

Bukti Tanpa kehilangan keumuman menganggap bahwa subgraph disebabkan oleh G 0 tidak
terhubung. Membiarkan X 1 dan X 2 menjadi dua bagian dari V (G 0) menginduksi komponen yang
terhubung dan anggaplah yang paling kita butuhkan χ j warna ( j = 1, 2) mewarnai X j
dengan χ 1 ≤ χ 2. Membiarkan G ′ menjadi subgraf yang diperoleh dari G dengan menghapus X 1. Sejak
′) + ω (G ′
)+1 ⌉. Kita
G ′ memuaskan Konjektur 1 dengan hipotesis, kami punya χ (G ′) ≤ ⌈ ∆ ( G 2
kemudian dapat mewarnai simpul dari X 1 dengan menggunakan warna yang muncul di X 2 sejak
χ 1 ≤ χ 2. Sejak ω (G) ≥ ω (G ′) dan ∆ ( G) ≥ ∆ ( G ′), kita punya
′) + ∆ ( G ′
) + 1 ⌉ ≤ ⌈ ω (G) + ∆ ( G) + 1 ⌉, sebuah kontradiksi.
χ (G) = χ (G ′) ≤ ⌈ ω (G 2 2

2 Pewarnaan ekspansi bipartit

Notasi 5 Membiarkan H menjadi grafik bipartit dengan n sudut: v 0,. . . , v n - 1 dan
HG 0. . . G n - 1) menjadi perluasan H. Tanpa kehilangan keumuman yang kami asumsikan
bahwa v 0 dan v 1 berdekatan dan sedemikian rupa sehingga tepinya v 0 v 1 memiliki bobot maksimum dalam H.

Membiarkan Γ 0 menjadi satu set χ 0 warna dan Γ 1 menjadi satu set χ 1 warna lain. Indeks tertentu saya ∈ { 0,. . . n - 1} akan
memiliki lebih disukai indeks dalam { 0, 1}, mengatakan p (i),
didefinisikan sebagai berikut: p (i) = 0 kapanpun v saya dan v 0 adalah simpul dari kelas yang sama dari
bipartisi jika tidak p (i) akan didefinisikan menjadi 1. Selain itu, kami mendefinisikan
indeks p ′ ( saya) seperti yang { p (i), hal ′ ( i)} = { 0, 1}.

3
 Kapan HG 0. . . G n - 1) adalah ekspansi bipartit, menurut notasi di atas, G saya ( 0 ≤ saya ≤ n
- 1) akan diwarnai dengan lebih disukai menggunakan kumpulan warna
Γ p (i).
Lebih tepatnya G saya akan diwarnai dengan menggunakan Min (χ saya, χ p (i)) warna Γ p (i) dan
Max ( 0, χ saya - χ p (i)) warna Γ p ′ ( i) ( lihat Teorema 6).

Teorema 6 Membiarkan HG 0. . . G n - 1) menjadi ekspansi bipartit. Untuk saya ∈

{ 0. . . n - 1},

jika χ saya ≤ χ p (i) kemudian G saya bisa diwarnai dengan menggunakan χ saya warna Γ p (i)

jika tidak G saya bisa diwarnai dengan menggunakan χ p (i) warna Γ p (i) bersama dengan
χ saya - χ p (i) warna Γ p ′ ( saya).

Bukti Mari kita mewarnai simpul dari G 0 dengan χ 0 warna Γ 0. Dalam

dengan cara yang sama kita mewarnai simpul dari G 1 dengan menggunakan χ 1 warna Γ 1 ( ingat itu
Γ 0 ∩ Γ 1 = ∅).
Untuk saya ∈ { 2. . . n - 1}, kami mewarnai grafik G saya sebagai berikut: kapan χ saya ≤ χ p (i) kita bisa
menggunakan χ saya warna pertama dalam Γ p (i) mewarnai G saya; dan kapan χ i> χ p (i) kami mewarnai simpul
dari G saya dengan menggunakan χ p (i) warna Γ p (i) dan χ saya - χ p (i) warna terakhir Γ p ′ ( saya).

Kami mengklaim bahwa pewarnaan yang dihasilkan adalah pewarnaan yang tepat HG 0,. . . , G n - 1).
Memang biarkan v saya v j menjadi tepi H. Marilah kita mengomentari dulu bahwa kita tidak punya
χ i> χ p (i) dan χ j> χ p (j) sejak χ i + χ j ≤ χ 0 + χ 1 dengan hipotesis, terlebih lagi, sejak v saya dan v j berdekatan
yang kita miliki p (i) = p ′ ( j) dan p (j) = p ′ ( saya).
kasus 1 χ saya ≤ χ p (i) dan χ j ≤ χ p (j)
Warna yang digunakan dalam G saya hanya warna Γ p (i) dan dari G j hanya warna Γ p (j) = Γ
p ′ ( saya) dan kedua set warna ini saling terpisah.

kasus 2 χ saya ≤ χ p (i) dan χ j> χ p (j)

Warna yang digunakan dalam pewarnaan G saya hanya χ saya warna pertama Γ p (i). Untuk
mewarnai G j, kami menggunakan semua χ p (j) warna Γ p (j) dan kita perlu menggunakan yang
terakhir χ j - χ p (j) warna Γ p ′ ( j). Sejak χ i + χ j ≤ χ 0 + χ 1 = χ p (j) + χ p (i), kita punya
χ j - χ p (j) ≤ χ p (i) - χ saya. Oleh karena itu, kumpulan warna Γ p (i) digunakan untuk mencapai pewarnaan G j adalah
perpisahan dari kumpulan warna yang digunakan dalam G saya.
kasus 3 χ i> χ p (i) dan χ j ≤ χ p (j) Argumen yang sama berhasil.

Dari Teorema 6 dan menurut Notasi 5, sejak χ (H) ≥ χ 0 + χ 1, kita punya:

Akibat wajar 7 Membiarkan G = H (G 0. . . G n - 1) menjadi ekspansi bipartit, χ (G)) = χ 0 +

χ 1.

Catatan 8 Mari kita tegaskan bahwa pewarnaan yang diberikan dalam Teorema 6 memiliki sifat sebagai
berikut: | Γ i | = χ saya untuk saya ∈ { 0. . . n - 1}.

Teorema 9 Setiap perluasan dari graf bipartit memenuhi dugaan 1.

Bukti Membiarkan HG 0. . . G n - 1) menjadi perluasan dari grafik bipartit H. Menurut Notasi

5 dan Teorema 3, subgraf diinduksi oleh V (G 0) ∪ V (G 1),
mengatakan G ′, veri fi es Conjecture 1. Selain itu χ (G ′) = χ 0 + χ 1 dan oleh Corollary 7
χ (G) = χ (G ′). Hasilnya mengikuti dari Lemma 2.

4
3 Pewarnaan ekspansi lubang ganjil
Menurut Teorema 3, perluasan dari segitiga verifikasi konjektur 1. Berikut ini
C 2 k + 1 menunjukkan panjang lubang ganjil 2 k + 1 ( k ≥ 2) dan semua indeks diambil
modulo 2 k + 1. Selain itu, himpunan puncak C 2 k + 1 aku s { v 0,. . . v 2 k} dan v saya v j adalah keunggulan jika
dan hanya jika j = i + 1.
Teorema 10 di bawah memberikan pewarnaan yang tepat untuk ekspansi lubang ganjil.

Teorema 10 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil. Sebagai-

Asumsikan bahwa tepi v 0 v 1 memiliki bobot maksimum dalam H.
Membiarkan saya jadilah indeks di { 3. . . 2 k - 1}.

Jika χ 0 + χ 1 ≥ χ saya - 1 + χ i + χ i + 1 kemudian χ (G) ≤ χ 0 + χ 1

lain jika χ saya - 1> χ p (i - 1) dan χ i + 1> χ p (i + 1) kemudian χ (G) ≤ χ 0 + χ 1 + ⌊ χ i + 1 2⌋

lain χ (G) ≤ χ 0 + χ 1 + ⌊ χ saya - 1+ χ i + χ i + 1 - χ 0 - χ 1+ 12⌋.

Bukti
Membiarkan H ′ menjadi graf bipartit yang himpunan puncaknya V (C 2 k + 1) - { v saya}. Sebagai-
mengasumsikan bahwa pewarnaan yang dijelaskan dalam Teorema 6 telah diterapkan pada contoh
pansion H ′ ( G 0, G 1. . . G saya - 1, G i + 1. . . G 2 k). Perhatikan notasi itu p (i) dan
p ′ ( saya) tidak didefinisikan C 2 k + 1 ( G 0. . . G 2 k), namun berikut ini kami akan melakukannya
gunakan notasi ini sebagaimana dimaksud dalam H ′ ( G 0, G 1. . . G saya - 1, G i + 1. . . G 2 k), demikianlah yang kita miliki
p (i - 1) = p ′ ( i + 1) dan p ′ ( saya - 1) = p (i + 1).

Sekarang mari kita pertimbangkan pewarnaan G saya.

Menurut pewarnaan G saya - 1 dan dari G i + 1 empat kasus mungkin terjadi.
Kasus 1: χ saya - 1 ≤ χ p (i - 1) dan χ i + 1 ≤ χ p (i + 1). Pewarnaan G saya - 1 kegunaan χ saya - 1
warna Γ p (i - 1) dan tidak ada di set Γ p ′ ( saya - 1) sedangkan pewarnaan G i + 1 kebutuhan saja χ i + 1
warna dalam Γ p (i + 1); akibatnya ada χ 0 + χ 1 - χ saya - 1 - χ i + 1 warna bebas masuk Γ 0 ∪ Γ 1 untuk
pewarnaan G saya.
Kasus 2: χ saya - 1 ≤ χ p (i - 1) dan χ i + 1> χ p (i + 1). Kami memiliki pewarnaan yang sama untuk G saya - 1 seperti
dalam Kasus 1. Tapi subgraf G i + 1 diwarnai dengan semua warna
Γ p (i + 1) bersama dengan χ i + 1 - χ p (i + 1) warna Γ p ′ ( i + 1), sekali lagi ada di
Γ p ′ ( i + 1) paling sedikit χ p ′ ( i + 1) - χ saya - 1 - ( χ i + 1 - χ p (i + 1)) warna gratis untuk pewarnaan
G saya.

Kasus 3: χ saya - 1> χ p (i - 1) dan χ i + 1 ≤ χ p (i + 1). Kami mewarnai G saya - 1 dengan χ p (i - 1)

warna Γ p (i - 1) dan dengan χ saya - 1 - χ p (i - 1) warna Γ p ′ ( saya - 1). Subgraf G i + 1
diwarnai dengan χ i + 1 warna dalam Γ p (i + 1). Jadi ada χ p ′ ( saya - 1) - χ i + 1 -
( χ saya - 1 - χ p (i - 1)) warna yang tidak digunakan dalam Γ p ′ ( saya - 1).

Kasus 4: χ saya - 1> χ p (i - 1) dan χ i + 1> χ p (i + 1). Pada kasus ini G saya - 1] dapat diwarnai dengan
semua warna Γ p (i - 1) dan χ saya - 1 - χ p (i - 1) warna Γ p ′ ( saya - 1). Apalagi pewarnaan G i + 1 dilakukan
dengan warna Γ p (i + 1) dan χ i + 1 - χ p (i + 1) warna tambahan dari Γ p ′ ( i + 1). Semua warna Γ 0 ∪ Γ 1 digunakan
dalam pewarnaan ini, tapi amati saja χ saya < Min (χ 0, χ 1).

Misalkan dulu χ 0 + χ 1 ≥ χ saya - 1 + χ i + χ i + 1.

Dalam situasi ini Kasus 4 tidak dapat terjadi dan ada cukup warna bebas
Γ 0 ∪ Γ 1 untuk pewarnaan G saya. Karenanya χ (G) ≤ χ 0 + χ 1.

5
Dari sekarang χ 0 + χ 1 < χ saya - 1 + χ i + χ i + 1.

Asumsikan sekarang χ saya - 1> χ p (i - 1) dan χ i + 1> χ p (i + 1). Ingat itu χ saya < χ 0 dan
χ saya < χ 1. Membiarkan a = ⌊ χ saya
2⌋ dan Γ menjadi satu set Sebuah warna tambahan. Pewarnaan
Gi - 1 kegunaan χ p (i - 1) warna Γ p (i - 1), mari gunakan ganti Sebuah dari warna-warna tersebut dengan warna Γ.
Kami juga mengganti Sebuah warna Γ p (i + 1) dengan warna yang sama Γ. Jadi
2 Sebuah warna tersisa untuk pewarnaan G saya, itu adalah χ saya atau χ saya - 1 menurut paritas χ
saya. Karenanya dalam hal ini seluruh grafik dapat diwarnai paling banyak

| Γ 0 | + | Γ 1 | + a + 1 warna, itu χ (G) ≤ χ 0 + χ 1 + ⌊ χ i + 1 2 ⌋.

Akhirnya, asumsikan χ saya - 1 ≤ χ p (i - 1) atau χ i + 1 ≤ χ p (i + 1). Ingatlah bahwa ada

χ 0 + χ 1 - χ saya - 1 - χ i + 1 warna bebas masuk Γ 0 ∪ Γ 1 untuk pewarnaan G saya. Sejak
χ 0 + χ 1 ≥ χ i + χ saya - 1 jelas itu χ i + 1 ≥ χ saya - 1+ χ i + χi + 1 - χ 0 - χ 1. Demikian pula
2
χ saya - 1 ≥ χ saya - 1+ χ i + χi + 1 - 2χ 0 - χ 1. Mari kita nyatakan a = ⌊ χ saya - 1+ χ i + χ i + 1 - χ 0 - χ 1 ⌋ dan
2
Γ menjadi satu set Sebuah warna
tambahan. Kami mengganti, dalam pewarnaan G saya - 1, sejumlah Sebuah ✿✿✿✿✿✿✿✿✿✿✿
warna Γ p (i - 1) dengan warna Γ sebaik Sebuah warna Γ p (i + 1) dalam pewarnaan G i + 1. Oleh
karena itu kami punya 2 Sebuah lebih banyak warna untuk pewarnaan G saya. Oleh
karena itu, seluruh grafik dapat diwarnai dengan warna Γ 0 ∪ Γ 1 ∪ Γ dan mungkin warna
tambahan menurut paritas χ i + 1 + χ i + χ saya - 1 - χ 0 - χ 1. Jadi dalam kasus ini χ (G) ≤ χ 0 + χ 1 + ⌊ χ saya
- 1+ χ i + χ l + 1 - χ 0 - χ 1+ 1 ⌋.
2

Teorema 11 memberikan bilangan kromatik untuk ekspansi lubang ganjil.

Teorema 11 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil. Kami

berasumsi bahwa tepi v 0 v 1 memiliki bobot maksimum dalam C 2 k + 1.

Membiarkan l menjadi indeks seperti itu χ l - 1 + χ l + χ l + 1 = Min {χ saya - 1 + χ i + χ i + 1}

3 ≤ saya ≤ 2 k - 1

Jika χ 0 + χ 1 ≥ χ l - 1 + χ l + χ l + 1 kemudian χ (G) = χ 0 + χ 1

lain χ (G) = χ 0 + χ 1 + ⌊ χ l - 1+ χ l + χ l + 1 - χ 0 - χ 1+ 1 ⌋.2

Bukti Sejak χ (G) ≥ χ 0 + χ 1, dengan Teorema 10 kita dapat berasumsi bahwa χ 0 + χ 1 <
χ l - 1 + χ l + χ l + 1.
Tambahan χ l - 1 ≤ χ p (l - 1) atau χ l + 1> χ p (l + 1). Kalau tidak, sejak χ l - 1>
χ p (l - 1) kita punya l - 1> 2 lalu χ l - 2 < χ p (l - 2) = χ p (l + 1) < χ l + 1. Itu mengikuti
bahwa χ l + χ l - 1 + χ l - 2 < χ l + 1 + χ l + χ l - 1, kontradiksi dengan pilihan indeks l.

Oleh karena itu dengan Teorema 10 yang kita miliki χ (G) ≤ χ 0+ χ 1+ ⌊ χ l - 1+ χ l + χ l + 1 - 2χ 0 - χ 1+ 1 ⌋ dan ada pewarnaan G
menggunakan warna dalam Γ 0 ∪ Γ 1 ∪ Γ dimana Γ 0, Γ 1 dan Γ adalah kumpulan warna yang terputus-putus
sedemikian rupa sehingga | Γ 0 | = χ 0, | Γ 1 | = χ 1 dan | Γ | = ⌊ χ l - 1+ χ l + χ l + 1 - χ 0 - χ 1+ 1 ⌋. 2
Sejak penjumlahan χ l + 1 + χ l + χ l - 1 Minimal, Teorema 10 tidak dapat memberikan pewarnaan dengan menggunakan
lebih sedikit warna.

Asumsikan sekarang χ (G) <| Γ 0 | + | Γ 1 | + | Γ |. Kita bisa mengira itu optimal

pewarnaan G menggunakan set Γ 0 ∪ Γ 1 ∪ Γ ′ sebagai kumpulan warna dimana Γ ′ ∩ ( Γ 0 ∪ Γ 1) = ∅
dan | Γ ′ | <| Γ |. Dalam pewarnaan seperti itu jumlah warna yang tidak digunakan untuk pewarnaan
dari X l + 1 dan X l - 1 paling banyak χ 0 + χ 1 + | Γ ′ | - χ l + 1 - χ l - 1.

6
 Jadi χ l ≤ χ 0 + χ 1 + | Γ ′ | - χ l + 1 - χ l - 1 lalu

χl+χl+1+χl-1- χ0- χ1+1

χl+χl+1+χl-1- χ0- χ1≤ | Γ′|< ⌊ ⌋,
2
kontradiksi dengan fakta itu χ l + χ l + 1+ χ l - 1 - χ 0 - χ 1 adalah bilangan bulat positif.

4 Aplikasi
Dalam [1] Aravind et al mengamati bahwa ekspansi lengkap atau independen dari lubang
ganjil memenuhi Konjektur 1. Kami memberikan perbaikan di bawah ini dari hasil ini.

Akibat wajar 12 Konjektur 1 berlaku untuk ekspansi lubang ganjil ketika, dalam kondisi
Teorema 10, kita memilikinya χ (A) = ω (A) untuk SEBUAH ∈ { G 0, G 1, G l}.

Bukti Dengan Teorema 11 kita tahu itu χ (G) ≤ χ 0+ χ 1+ χ l - 1+ χ l + χ l + 1+ 1. Oleh

2
asumsi yang kita miliki χ 0 + χ 1 = ω (G 0) + ω (G 1) ≤ ω (G), apalagi jika v adalah puncak dari
klik maksimum di G aku, d (v) ≥ ω (G l) - 1 + | V. l + 1 | + | V. l - 1 | kemudian
∆ ≥ χ l + χ l + 1 + χ l - 1 - 1. Hasilnya mengikuti.

Akibat wajar 13 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil. Membiarkan

p = min χ saya. Asumsikan bahwa tepi v saya v i + 1 memiliki bobot maksimum dalam C 2 k + 1 untuk
0 ≤ saya ≤ 2 k

beberapa saya ∈ { 0,. . . 2 k}. Kemudian χ (G) ≤ χ i + χ i + 1 + ⌊ p + 1 2 ⌋.

Bukti
Dengan Teorema 10, kita dapat berasumsi j ∈ { i + 3, i + 4. . . saya - 2}

χ j - 1 + χ j + χ j + 1 - χ saya - χ i + 1 + 1
χ (G) ≤ χ i + χ i + 1 + ⌊ ⌋. (1)
2

Apalagi ada indeks l ∈ { i + 2,. . . saya - 1} seperti yang χ l = p, jika tidak

χ i = p atau χ i + 1 = p. Misalkan tanpa kehilangan keumuman χ i + 1 = p. Tapi sekarang, sejak
itu χ saya - 1> χ i + 1 kita punya χ saya - 1 + χ i> χ i + χ i + 1, kontradiksi, sejak tepi v saya v i + 1 memiliki bobot
maksimum dalam C 2 k + 1.
Jika l ≥ i + 4, kami menerapkan (1) dengan j = l - 1, sejak χ l - 1 + χ l - 2 ≤ χ i + χ i + 1 kita
Dapatkan χ (G) ≤ χ i + χ i + 1 + ⌊ χ l - 2+ χ l - 1+ χ l - χ saya2- χ i + 1+ 1 ⌋ ≤ χ i + χ i + 1 + ⌊ χ l + 1 ⌋. 2
Jika l = i + 2 atau l = i + 3, kami menerapkan (1) dengan j = l + 1, sejak χ l + 1+ χ l + 2 ≤ χ i + χ i + 1
χl+ 1
kita mendapatkan χ (G) ≤ χ i + χ i + 1 + ⌊ χ l + 2+ χ l + 1+ χ2 l - χ saya - χ i + 1+ 1 ⌋ ≤ χ i + χ i + 1 + ⌊ 2 ⌋. Di
kedua kasus tersebut, berikut ini χ (G) ≤ χ i + χ i + 1 + ⌊ p + 1 2 ⌋.

Akibat wajar 14 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil. Membiarkan

v saya v i + 1 menjadi tepi dengan bobot maksimal C 2 k + 1. Asumsikan bahwa χ (G) = χ i + χ i + 1 +
q + 1 untuk beberapa bilangan bulat q ≥ 0. Jika G [V saya ∪ V. i + 1] memiliki simpul dengan derajat maksimum dalam

V. saya ( resp. V. i + 1) maka salah satu dari Konjektur 1 berlaku G atau V. saya - 1 ( resp. V. i + 2) menginduksi
grafik paling banyak 2 q + 1 sudut.

7
Bukti Asumsikan bahwa G adalah contoh tandingan untuk Konjektur 1. Demi kenyamanan
kami perhatikan G ′ = G [V saya ∪ V. i + 1].

Membiarkan v menjadi puncak dengan derajat maksimum di G ′, seandainya v ∈ V. saya dan V. saya - 1
memiliki setidaknya 2 q + 2 sudut.
Kita punya ∆ ( G) ≥ d G ′ ( v) + | V saya - 1 | ≥ ∆ ( G ′) + 2 q + 2 dan ω (G) ≥ ω (G ′). Jadi
⌈ ω (G) + ∆ (2G) + 1 ⌉ ≥ ⌈ ω (G ′) + ∆ ( G ′) + 1 + 2 q2+ 2 ⌉ = ⌈ ω (G ′) + ∆ ( G ′) + 1 2
⌉ + q + 1.
Sejak Teorema 3, G ′ veri fi es Conjecture 1, ⌈ ω (G ′) + ∆ ( G ′) + 1 ⌉ ≥ χ2 i + χ i + 1.
Oleh karena itu oleh Corollary 13, ⌈ ω2(G) + ∆ ( G) + 1 ⌉ ≥ χ i + χ i + 1 + q + 1 = χ (G), sebuah kontradiksi.

Akibat wajar 15 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil dan biarkan p = min
χ saya. Jika tepi v saya v i + 1 memiliki bobot maksimum dalam C 2 k + 1 lalu Con-
0 ≤ saya ≤ 2 k

jecture 1 berlaku untuk G atau χ (G) = χ i + χ i + 1 + ⌊ p + 1 2 ⌋.

Bukti Kami tahu dengan Corollary 13 itu χ (G) ≤ χ i + χ i + 1 + ⌊ p + 1 2 ⌋. Asumsikan bahwa

G adalah contoh kontra untuk Konjektur 1 dan χ (G) 6 = χ i + χ i + 1 + ⌊ p + 1 2 ⌋. Jadi,
kita punya χ (G) ≤ χ i + χ i + 1 + ⌊ p 2 ⌋.
Asumsikan tanpa kehilangan keumuman itu v ∈ V. i + 1 adalah puncak dengan derajat maksimum
dalam G ′ = G [V saya ∪ V. i + 1]. Dengan Teorema 3, G ′ Kepuasan Konjektur 1.
′) + ∆(G ′
)+1 ⌉ ≥ χ i + χ i + 1 = χ (G ′). Sejak G i + 2 memiliki setidaknya p
Karenanya ⌈ ω (G
2
simpul, kita punya ∆ ( G) ≥ d (v) ≥ | V. i | + ∆ i + 1 + p ≥ ∆ ( G ′) + p, yang mengarah ke
′) + ∆ ( G ′) + p + 1 ⌉ ≥ ⌈ ω (G ′) + ∆ ( G ′) + 1 ⌉ + ⌊ p

⌈ ω (G) + ∆ (2G) + 1 ⌉ ≥ ⌈ ω (G 2 2 2 ⌋.
Karenanya ⌈ ω (G) 2+ ∆ ( G) + 1 ⌉ ≥ χ (G), sebuah kontradiksi.

Teorema 16 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil dengan panjang 2 k + 1

dan biarkan p = min χ saya. Membiarkan v saya v i + 1 menjadi tepi berat maksimal
0 ≤ saya ≤ 2 k

di C 2 k + 1 dan asumsikan itu v ∈ V. i + 1 adalah simpul dengan derajat maksimum dalam G ′ =

G [V saya ∪ V. i + 1]. Jika G tidak memenuhi Konjektur 1 kemudian V. i + 2 menginduksi grafik lengkap
pada p simpul dan v i + 3 v i + 4 adalah tepi dengan bobot maksimal dalam C 2 k + 1.

Bukti Asumsikan bahwa G tidak memenuhi Konjektur 1 dan V. i + 2 tidak menyebabkan a

grafik lengkap pada p sudut. Oleh akibat wajar 15, kami punya χ (G) = χ i + χ i + 1+ ⌊ p +21⌋.
Kami mungkin berasumsi bahwa | V. i + 2 | ≥ p + 1 jika tidak V. i + 2 akan menyebabkan grafik
lengkap pada p simpul, kontradiksi.
Kita punya ∆ ( G) ≥ d G ′ ( v) + | V i + 2 | ≥ ∆ ( G ′) + p + 1 dan ω (G) ≥ ω (G ′).
′) + ∆ ( G ′) + p + 2 ⌉ ≥ ⌈ ω (G ′) + ∆ ( G ′) + 1 ⌉ + ⌊ p + 1

Karenanya ⌈ ω (G)2 + ∆ ( G) + 1 ⌉ ≥ ⌈ ω (G 2 2 2⌋ =
χ (G), sebuah kontradiksi.
Asumsikan sekarang χ i + 3 + χ i + 4 ≤ χ i + χ i + 1 - 1. Dengan Teorema 11 yang kita miliki
χ (G) ≤ χ i + χ i + 1 + ⌊ χ i + 2+ χ i + 3+ χ 4 - χ saya - χ i + 1+ 1 ⌋2yang mengarah ke χ (G) ≤ χ i +
χi+1+⌊p 2 ⌋. Bahkan, ∆ ( G) ≥ d G ′ ( v) + | V ′)i ++p2 +| 1≥⌉∆≥( ⌈Gω′)(G+ p dan ω (G)′) +≥1 ω
′) + ∆ ( G ′) + ∆ ( G ⌉ +(G⌊ ′).p
Karenanya, ⌈ ω (G)2+ ∆ ( G) + 1 ⌉ ≥ ⌈ ω (G 2 2 2 ⌋ ≥ χ (G),
sebuah kontradiksi. Untuk selanjutnya v i + 3 v i + 4 adalah tepi dengan bobot maksimum dalam C 2 k + 1
seperti yang diklaim.

8
 Akibat wajar 17 Membiarkan G = C 2 k + 1 ( G 0. . . G 2 k) menjadi perluasan lubang ganjil. Membiarkan
p = min χ saya. Jika p bahkan saat itu Konjektur 1 berlaku G.
0 ≤ saya ≤ 2 k

Bukti Mari kita tulis C 2 k + 1 = v 0. . . v 2 k. Misalkan ujungnya v saya v i + 1 memiliki bobot maksimum
dalam C 2 k + 1. Membiarkan G ′ = G [V saya ∪ V. i + 1] dan v menjadi puncak dari maxi-
gelar ibu di G ′. Asumsikan tanpa kehilangan keaslian v ∈ V. i + 1. Sejak p aku s
bahkan, ⌊ p2+⌋1 =
⌊ p 2 ⌋ dan dari Corollary 15 kami memiliki: χ (G) = χ i + χ i + 1 + ⌊ p 2 ⌋.
Selain itu, dengan Teorema 16, V. i + 2 menginduksi grafik lengkap pada p sudut. Jadi, ∆ ( G)
≥ d G ′ ( v) + | V i + 2 | ≥ ∆ ( G ′) + p. Karena itu, ⌈ ω (G) + ∆ ( G) + 1 ⌉ ≥ 2
′) + ∆ ( G ′) + p ⌉ ≥ ⌈ ω (G ′) + ∆ ( G ′) + 1 ⌉ + ⌊ p

⌈ ω (G 2 2 2 ⌋ = χ (G), sebuah kontradiksi.

Teorema 18 Jika G = C 2 k + 1 ( G 0. . . G 2 k) adalah perluasan lubang ganjil sedemikian rupa χ i = 1 untuk

beberapa saya ∈ { 0. . . 2 k} maka Konjektur 1 berlaku G.

Bukti Seandainya G adalah contoh tandingan untuk Konjektur 1.

Asumsikan, tanpa kehilangan keumuman itu v 0 v 1 memiliki bobot maksimal. Dengan
Corollary 13 yang kita miliki χ (G) ≤ χ 0 + χ 1 + 1. Jika χ (G) = χ 0 + χ 1 kemudian G satisfes
Conjecture 1 by Lemma 2, sebuah kontradiksi. Karenanya χ (G) = χ 0 + χ 1 + 1 dan oleh
Teorema 16 kita dapat berasumsi demikian V. 2 k direduksi menjadi satu simpul v.
Kami mempertimbangkan pewarnaan optimal dari ekspansi bipartit G - v, misalnya
pewarnaan membutuhkan dengan tepat χ 0 + χ 1 warna dan kita dapat mengasumsikan bahwa
pewarnaan optimal ini diperoleh melalui algoritme yang dijelaskan di bagian sebelumnya
(perluasan grafik bipartit). Kami menunjukkan Γ saya kumpulan warna yang digunakan untuk
pewarnaan G saya, i = 0. . . 2 k - 1. Kapan saya genap, 0 adalah indeks yang disukai untuk pewarnaan G
saya dan, 1 adalah indeks pilihannya saat saya aneh. Mari kita katakan itu,
untuk pewarnaan ini, kapan saya ∈ { 0. . . 2 k}, Γ saya ∩ Γ i + 1 = ∅, Γ saya ⊆ Γ 0 ∪ Γ 1, dan | Γ i | = χ saya
(lihat Catatan 8). Kami mendapatkan pewarnaan optimal dari seluruh grafik G dengan memberikan a
warna baru ke puncak v.

Klaim 1 v 2 k - 1 v 2 k - 2 adalah tepi dengan bobot maksimum, terlebih lagi Γ 1 ⊆ Γ 2 k - 1 dan

Γ 2 k - 2 ⊆ Γ 0.

Bukti Seharusnya χ 2 k - 1 < χ 1. Sejak | Γ 2 k - 1 | = χ 2 k - 1, beberapa warna Sebuah dari Γ 1 tidak muncul di
Γ 2 k - 1. Warna ini bisa diberikan v, sebuah kontradiksi. Karenanya,
χ 2 k - 1 ≥ χ 1, Γ 1 ⊆ Γ 2 k - 1 dan, akibatnya, Γ 2 k - 2 ⊆ Γ 0.
Jika χ 2 k - 2 < χ 0 lalu beberapa warna Sebuah ∈ Γ 0 \ Γ 2 k - 2 tidak muncul di Γ 2 k - 1.
Pilih warna apa saja b ∈ Γ 1 dan mengubah warna simpul dari G 2 k - 1, dengan warna itu, dalam Sebuah. Karenanya
b sekarang tersedia untuk diwarnai v, sebuah kontradiksi.
Itu mengikuti χ 2 k - 1 + χ 2 k - 2 ≥ χ 0 + χ 1, itulah ujungnya v 2 k - 1 v 2 k - 2 memiliki bobot maksimal.

Klaim 2 Membiarkan Sebuah menjadi warna Γ 2 k - 1 ∩ Γ 1 dan b menjadi warna Γ 2 k - 2. Kemudian

subgraf G ab dari G diinduksi oleh dua warna ini terhubung.

Bukti Mari kita perhatikan bahwa, dengan definisi perluasan lubang, itu
cukup untuk membuktikannya G ab berisi simpul warna b dari G 0. Anggaplah sebaliknya
G ab tidak terhubung. Yaitu, himpunan simpul yang diwarnai dengan b di G 0 tidak
terkandung dalam komponen terhubung dari G ab mengandung

9
simpul warna Sebuah di G 2 k - 1. Dengan demikian kita dapat menukar dua warna tersebut Sebuah dan b
pada komponen yang berisi simpul warna Sebuah di G 2 k - 1. Sejak Sebuah tidak lagi
muncul di sekitar v, kita bisa memberi warna ini v dan kami mendapatkan
Sebuah χ 0 + χ 1 pewarnaan G, sebuah kontradiksi.

Klaim 3 Untuk apapun saya ( 0 ≤ saya ≤ 2 k - 1), Γ saya ⊆ Γ 0 kapan saya adalah genap dan Γ 1 ⊆ Γ saya kapan
saya aneh.

Bukti Membiarkan Sebuah warna apa saja Γ 2 k - 1 ∩ Γ 1 dan b warna apa saja Γ 2 k - 2. Sejak oleh Klaim 2, G
ab terhubung, jalur terpendek dalam subgraf ini bergabung dengan simpul di
G 0 ke simpul di G 2 k - 1 harus mengandung tepi di antara G saya dan G i + 1 untuk indeks apa pun saya ( 0 ≤ saya ≤ 2 k - 2).
Karenanya, kapan saya adalah genap G saya berisi simpul yang diwarnai dengan b ( 0 ≤ saya ≤ 2 k - 2) sedangkan
untuk saya aneh G saya berisi simpul yang diwarnai dengan Sebuah
( 1 ≤ saya ≤ 2 k - 1). Karena, dengan Klaim 1, Γ 1 ⊆ Γ 2 k - 1 dan Γ 2 k - 2 ⊆ Γ 0, klaim berikut.

Klaim 4 Untuk indeks genap apa pun saya ( 2 ≤ saya ≤ 2 k - 2), Γ saya ⊆ Γ saya - 2.

Bukti Asumsikan bahwa beberapa warna Sebuah dari Γ saya tidak muncul di Γ saya - 2 dan biarkan b warna apa
saja Γ 1 ∩ Γ 2 k - 1. Membiarkan G ab menjadi subgraf dari G diinduksi oleh dua warna ini dan biarkan Q menjadi
komponen yang terhubung dari G ab mengandung simpul yang diwarnai dengan b di G 2 k - 1. Sejak Γ saya - 2 ⊆ Γ 0
dengan Klaim 3 dan Sebuah 6 ∈ Γ saya - 2, Q tidak berisi simpul apa pun di Γ saya - 2. Karenanya Q tidak
mengandung simpul yang diwarnai dengan Sebuah di G 0
dan G ab tidak terhubung, kontradiksi dengan Klaim 2.

Klaim 5 Untuk indeks ganjil saya ( 1 ≤ saya ≤ 2 k - 1), v saya - 1 v saya adalah keunggulan dengan bobot maksimum.

Bukti Sejak Γ 1 ⊆ Γ saya dan Γ saya - 1 ⊆ Γ 0 dengan Klaim 3, mari kita buktikan itu Γ 0 - Γ saya - 1 ⊆ Γ saya.
Asumsikan bahwa beberapa warna Sebuah ∈ Γ 0 - Γ saya - 1 tidak muncul di Γ saya. Membiarkan b warna
apa saja Γ 2 k - 2 ( ingat itu Γ 2 k - 2 ⊆ Γ 0 dengan Klaim 1) dan biarkan G ab menjadi subgraf yang diinduksi
oleh dua warna ini. Sejak Sebuah tidak muncul di Γ saya ∪ Γ saya - 1 tetapi muncul di Γ 2 k - 1 dengan Klaim
1, komponen yang terhubung Q dari G ab mengandung simpul warna Sebuah di G 2 k - 1 berbeda dari
komponen yang mengandung simpul dari
warna Sebuah di G 0.

Sekarang mari kita bertukar warna Sebuah dan b di Q. Dalam pewarnaan baru ini G, membiarkan
Q ′ menjadi komponen terhubung dari subgraf yang diinduksi oleh warna Sebuah dan c
dimana c ada warna apa saja Γ 1. Sejak Sebuah selalu kurang dalam rangkaian warna Γ saya sebagai
serta di Γ saya - 1, Q ′ tidak mengandung simpul yang diwarnai dengan Sebuah di G 0. Dengan demikian kita
dapat melanjutkan ke pertukaran warna baru Sebuah dan c di Q ′. Warna / ca sekarang ✿
tersedia untuk mewarnai v, sebuah kontradiksi.
Tapi sekarang, sejak itu χ i = | Γ i | = | Γ 1 | + | Γ 0 | - | Γ saya - 1 | dan χ saya - 1 = | Γ saya - 1 |, kita punya
χ i + χ saya - 1 = χ 0+ χ 1, dengan kata lain v saya - 1 v saya adalah keunggulan dengan bobot maksimum.

Klaim 6 Untuk indeks ganjil apa pun saya ( 1 ≤ saya ≤ 2 k - 3), Γ saya ⊆ Γ i + 2.

10
 Bukti Jelas berdasarkan Klaim 5 dan 4.

Klaim 7 Untuk indeks apa pun saya ( 0 ≤ saya ≤ 2 k - 1), G saya memiliki setidaknya dua simpul

Bukti Anggaplah sebaliknya G saya direduksi menjadi satu titik untuk beberapa
saya ∈ { 0,. . . 2 k - 1}.
Jika saya bahkan kemudian, dengan Klaim 5, v saya v i + 1 memiliki bobot maksimum dan simpul unik di G
saya memiliki gelar maksimal dalam G [V saya ∪ V. i + 1]. Akibatnya, dengan Teorema
16, G saya - 1 direduksi menjadi satu simpul. Tapi sekarang, dengan Klaim 6, Γ 1 ⊆ Γ saya - 1, itu
berarti χ 1 = 1 sejak | Γ saya - 1 | = 1. Dengan Klaim 4, | Γ i + 2 | = | Γ i + 4 | =. . . | Γ 2 k - 2 | = 1.
Tambahan, v 0 v 2 k memiliki bobot maksimum, sebagai berikut | V. 2 k - 1 | = 1. Mari kita atur
Γ 2 k - 2 = { Sebuah} dan Γ 2 k - 1 = Γ 1 = { b}, tentu saja Sebuah ∈ Γ 0.
Kami mengklaim itu Γ 0 = { Sebuah}. Asumsikan, sebaliknya, dalam Γ 0 ada warna,
mengatakan c, berbeda dari Sebuah. Subgraf G bc diinduksi oleh simpul dari G diwarnai dengan b dan
c tidak terhubung sejak c ∈ / Γ 2 k - 2. Dalam kondisi seperti ini, kami bisa
bertukar warna b dan c pada komponen G bc yang berisi simpul dari
V. 0 dan gunakan warnanya c untuk pewarnaan puncak v, sebuah kontradiksi.
Oleh karena itu, | Γ 0 | = 1 = χ 0 dan χ 0 + χ 1 = 2. Dengan kata lain untuk 0 ≤ saya ≤ 2 k, V saya adalah
satu set stabil dan G adalah ekspansi kosong dari lubang ganjil, kontradiksi (lihat [1]).

Kapan saya aneh, ujungnya v saya v saya - 1 memiliki bobot maksimum Γ 2 k + 1 dengan Klaim
5, G i + 1 direduksi menjadi satu titik dengan Teorema 16 dan alasan di atas berlaku.

Untuk mengakhiri bukti kami, asumsikan dulu k ≥ 3. Sebuah pinggir v saya v saya - 1 dengan saya makhluk aneh

berat maksimum dalam H dengan Klaim 5, salah satu G i + 1 atau G saya - 2 harus direduksi menjadi
satu titik dengan Teorema 16, sebuah kontradiksi dengan Klaim 7.
Karenanya mulai sekarang k = 2. Membiarkan G ′ = G [V 0 ∪ V. 1]. Dengan Klaim 7, | V. i | ≥ 2 untuk
i = 0. . . 4. Bahkan, ∆ 1 ≥ 1, jika tidak tepi v 0 v 4 akan memiliki bobot maksimum C 2 k + 1 dan | V.
3 | = 1 dengan Teorema 16, kontradiksi dengan Klaim 7.

Asumsikan bahwa | V. 2 | ≥ | V. 1 | dan biarkan w menjadi puncak dengan derajat maksimum di G 1.

Kita punya

∆ ≥ d (w) ≥ | V. 0 | + | V. 2 | + ∆ 1 ≥ | V. 0 | + | V. 2 | + 1 ≥ ∆ 0 + | V. 1 | + 2 = ∆ ( G ′) + 2.

Karena itu ⌈ ω (G) + ∆ ( G) + 1 ⌉2 ≥ ⌈ ω (G ′) + ∆ ( G ′) + 1 ⌉ + 1 dan

2
dengan Teorema 3,
⌈ ω (G ′) + ∆ ( G2 ′) + 1 ⌉ + 1 ≥ χ 0 + χ 1. Karenanya ⌈ ω (G) + ∆ ( G) + 1 ⌉2≥ χ 0 + χ 1 + 1, kontradiksi sejak χ 0 + χ 1 + 1 tepatnya
adalah bilangan kromatik G.
Oleh karena itu kita harus menganggap bahwa | V. 2 | <| V. 1 |. Sejak v 2 v 3 adalah tepi
dengan bobot maksimum dalam C 2 k + 1 dengan v di lingkungan G 4 dalam ekspansi, kita bisa
memilih tepi ini sebagai tepi v 0 v 1. Dengan alasan yang sama kita harus mendapatkan itu | V. 1
| <| V. 2 |, sebuah kontradiksi.

Teorema 19 Jika G = C 2 k + 1 ( G 0. . . G 2 k) merupakan perluasan dari lubang ganjil tersebut

bahwa G saya menginduksi grafik bipartit untuk beberapa orang saya ∈ { 0. . . 2 k} maka Konjektur 1 berlaku G.

11
Bukti Asumsikan bahwa G adalah contoh tandingan untuk Dugaan 1. Secara wajar
13, χ (G) ≤ χ i + χ i + 1 + 1 kapan v saya v i + 1 adalah keunggulan dengan bobot maksimum. Kapan
χ (G) = χ i + χ i + 1, kami memiliki kontradiksi dengan Lemma 2. When χ (G) =
χ i + χ i + 1 + 1, satu komponen dari G harus direduksi menjadi satu titik sudut dengan Corollary
14, sebuah kontradiksi dengan Teorema 18.

Teorema 20 Jika G = C 2 k + 1 ( G 0. . . G 2 k) adalah perluasan lubang ganjil sedemikian rupa χ i = q ≥ 1 untuk

semua saya ∈ { 0. . . 2 k} maka Konjektur 1 berlaku G.

Bukti Anggaplah sebaliknya G adalah contoh tandingan untuk Konjektur 1.

Karena setiap sisi H memiliki bobot maksimal, untuk setiap saya ∈ { 0. . . 2 k} V saya - 2 atau V. i + 1
menginduksi grafik lengkap dengan tepat q simpul, dengan hipotesis dan Teorema
16. Oleh karena itu, tidak sulit untuk melihat bahwa setidaknya ada dua komponen, misalnya V. 0 dan V. 1,
isomorfik untuk K q. Kami memiliki demikian ω ≥ 2 q dan ∆ ≥ 3 q - 1 ( sebuah simpul di V. 1 memiliki
q tetangga di V. 0, q - 1 di V. 1 dan setidaknya q tetangga di V. 2) yang mengarah ke

ω (G) + ∆ ( G) + 1 5q
⌈ ⌉ ≥ ⌈ ⌉.
2 2
Dengan Teorema 11 yang kita miliki χ (G) ≤ ⌈ 5 q
2 ⌉, sebuah kontradiksi.

Teorema 21 Jika G = C 2 k + 1 ( G 0. . . G 2 k) adalah perluasan lubang ganjil sedemikian rupa χ saya ≤ 3 untuk
semua saya ∈ { 0. . . 2 k} maka Konjektur 1 berlaku G.

Bukti Asumsikan bahwa G adalah contoh kontra untuk Konjektur 1. Jika beberapa komponen
paling banyak memiliki bilangan kromatik 2, kami memiliki kontradiksi dengan Teorema
19. Oleh karena itu, kita harus menganggap bahwa setiap komponen memiliki bilangan kromatik 3, kontradiksi
dengan Teorema 20

Lemma berikut akan berguna dalam teorema berikutnya. Buktinya standar dan
diserahkan kepada pembaca.

Lemma 22 Membiarkan K menjadi grafik dengan bilangan kromatik 4.

• jika K memiliki 5 simpul kemudian K berisi a K 4

• jika ω (K) = 2 kemudian K memiliki setidaknya 8 sudut.

Teorema 23 Jika G = C 2 k + 1 ( G 0. . . G 2 k) adalah perluasan lubang ganjil sedemikian rupa χ saya ≤ 4 untuk
semua saya ∈ { 0. . . 2 k} maka Konjektur 1 berlaku G.

Bukti Asumsikan bahwa G adalah contoh kontra untuk Konjektur 1. Jika beberapa komponen paling
banyak memiliki bilangan kromatik 2, kita memiliki kontradiksi dengan Teorema 19. Oleh karena itu kita
harus menganggap bahwa setiap komponen memiliki bilangan kromatik 3 atau 4. Jika tidak ada
komponen yang memiliki nomor kromatik 4, Kami memiliki kontradiksi dengan Teorema 20 serta jika
setiap komponen memiliki bilangan kromatik 4. Karenanya kita dapat mengandaikan bahwa setidaknya
satu komponen memiliki bilangan kromatik 3 dan setidaknya satu komponen
memiliki nomor berwarna 4. Kekuatan ini segera χ 0 + χ 1 = 7 atau 8. Marilah kita juga mengomentari
itu ω ≥ 4.
Kita punya χ (G) = 9 atau χ (G) = 10 dan, tentu saja, ⌈ ω (G) + ∆ ( G) +2 1 ⌉ ≥ 9 sesegera ω (G) + ∆
( G) ≥ 16 dan ⌈ ω (G) + ∆ ( G) + 1 ⌉ ≥ 10 sesegera
2
ω (G) + ∆ ( G) ≥ 18.

12
Klaim 1 Setiap komponen memiliki paling banyak 7 sudut

Bukti Anggaplah sebaliknya bahwa beberapa komponen V. saya memiliki setidaknya 8 sudut. Jika ∆ i + 1
≥ 3 kemudian ∆ ≥ 14. Karenanya ω (G) + ∆ ( G) ≥ 18 dan dugaan Reed
bertahan untuk G, sebuah kontradiksi. Jika ∆ i + 1 ≤ 2 kemudian V. i + 1 harus isomorfik ke segitiga oleh
Teorema Brook. Kami memiliki demikian ω (G) ≥ 5 dan ∆ ( G) ≥ 13 dan
Dugaan Reed berlaku G, sebuah kontradiksi.

Mulai saat ini, kita dapat mempertimbangkan bahwa setiap komponen memiliki paling banyak 7 simpul dan
karenanya, menurut Lemma 22, apa saja 4 - komponen berwarna mengandung segitiga.

Klaim 2 Tidak ada dua komponen dengan nomor kromatik 4 berturut-turut

Bukti Asumsikan sebaliknya bahwa untuk dua komponen yang berurutan, V. saya dan
V. i + 1, seperti itu χ i = 4 dan χ i + 1 = 4. Jika kedua komponen ini isomorfik
ke a K 4 maka setiap simpul dalam komponen ini memiliki setidaknya derajat 10. Sejak klik
maksimal G dalam hal ini memiliki setidaknya 8 simpul, kita punya ω + ∆ ≥ 18.
Jika hanya satu komponen yang isomorfik ke a K 4 ( tanpa kehilangan keumuman mengatakan
itu V. saya menginduksi a K 4), kemudian ∆ i + 1 ≥ 4 oleh teorema Brook dan simpul dari
gelar maksimum dalam V. i + 1 memiliki setidaknya 11 tetangga. Sejak klik maksimal
G dalam hal ini memiliki setidaknya 7 simpul, kita punya ω + ∆ ≥ 18.
Jika tidak ada komponen yang isomorfik ke a K 4 kemudian ∆ saya dan ∆ i + 1 lebih besar dari
4 oleh teorema Brook. Bahkan V. saya dan V. i + 1 mengandung setidaknya 5 simpul masing-masing.
Titik sudut dengan derajat maksimum dalam X saya memiliki setidaknya 12 tetangga. Sejak
klik maksimal G dalam hal ini memiliki setidaknya 6 simpul, kita punya ω + ∆ ≥ 18.
Dalam setiap kasus kami memiliki kontradiksi sejak itu G memuaskan dugaan Reed.

Dengan demikian kita dapat menganggap bahwa tidak ada dua komponen yang berurutan yang memiliki
bilangan kromatik 4. Dalam hal ini kita bisa berkomentar χ (G) = 9. Untuk mengakhiri pembuktian kami, maka
cukuplah untuk menunjukkan itu ω (G) + ∆ ( G) ≥ 16.
Tanpa kehilangan keumuman, asumsikan itu χ 0 = 4. Dengan Klaim 2 yang kami miliki χ 2 p = 3
dan χ 1 = 3.
Jika V. 0 menginduksi a K 4 lalu baiklah V. 2 p atau V. 1 mengandung segitiga dan karenanya ω ≥ 7
atau tidak memiliki segitiga dan V. 2 p dan V. 1 mengandung setidaknya 4 simpul masing-masing. Dalam kasus
pertama sebuah simpul di V. 0 memiliki setidaknya 9 tetangga dan ω (G) + ∆ ( G) ≥ 16. Dalam
kasus kedua yang kami miliki ω (G) ≥ 5 dan simpul di V. 0 memiliki setidaknya 11 tetangga. Kami
mengerti ω (G) + ∆ ( G) ≥ 16.
Asumsikan sekarang V. 0 tidak menyebabkan a K 4 kemudian ∆ 0 ≥ 4 oleh teorema Brook. Jika V. 2 p atau V.
1 mengandung segitiga ω ≥ 6 dan simpul dengan derajat maksimum dalam
V. 0 memiliki setidaknya 10 tetangga. Kami mengerti ω (G) + ∆ ( G) ≥ 16.
Jika V. 2 p dan V. 1 tidak mengandung segitiga, setidaknya dua set ini harus memiliki 4 sudut
oleh teorema Brook dan titik dengan derajat maksimum dalam V. 0 memiliki setidaknya 12
sudut. Sejak ω ≥ 5 dalam hal ini, kita mengerti ω (G) + ∆ ( G) ≥ 17.
Dalam setiap kasus kami memiliki kontradiksi sejak itu G memuaskan dugaan Reed.

Klaim 1 dalam bukti Teorema 23 menunjukkan bahwa dugaan Reed berlaku

asimtotik untuk perluasan siklus ganjil.

13
Teorema 24 Untuk setiap k ≥ 1 dan setiap p ≥ 1, setiap ekspansi dari siklus ganjil
C 2 k + 1 dimana setiap komponen memiliki nomor kromatik paling banyak p dan setidaknya
(2 k + 1) (5 p - 9) + 1 simpul kepuasan Konjektur 1.

Bukti Dengan Teorema 23, kita bisa mengira itu p ≥ 5. Apalagi menurut Teorema
19, kita dapat mengandaikan bahwa setiap komponen memiliki paling sedikit nomor kromatik 3 dan
karenanya tingkat maksimum setiap komponen harus paling tidak 2. Membiarkan G =
C 2 k + 1 ( G 0, G 1. . . G 2 k) dan asumsikan itu χ saya ≤ p (i = 0. . . 2 k). Oleh akibat wajar 13
kita punya χ (G) ≤ ⌈ 5 p 2 ⌉.
Misalkan beberapa komponen V. saya ( i = 0. . . 2 k) berisi setidaknya 5 p - 9 sudut.
Kemudian simpul masuk V. i + 1 memiliki gelar setidaknya 5 p - 4. Sejak jelas ω (G) ≥ 4
kami memiliki demikian ⌈ 2ω (G) + ∆ ( G) + 1 ⌉ ≥ ⌈ 5 p2 +⌉.1 Karenanya G kepuasan Konjektur 1 dan
hasil berikut.

Teorema 25 Jika G adalah C 5- ekspansi maka Konjektur 1 berlaku G.

Bukti Membiarkan G = C 5 ( G 0, G 1, G 2, G 3, G 4) dan berasumsi dengan kontradiksi itu G

tidak memenuhi dugaan 1. Biarkan p = min χ (G saya) i = 0,. . . , 4, dengan Teorema 19 yang kita miliki p
≥ 3.
Kami mengira begitu χ (G 0) + χ (G 1) maksimum di antara pasangan komponen yang berurutan G
dan kami menunjukkan G ′ = G [V 0 ∪ V. 1]. Dengan Teorema 16, G 4 atau G 2
menginduksi grafik lengkap pada p sudut. Kami berasumsi bahwa G 4 adalah komponen ini
dan ada titik puncak di V. 0 yang gelar di G ′ maksimal. Selain itu, Teorema 16 menyiratkan hal
itu χ 2 + χ 3 = χ 0 + χ 1.
Oleh akibat wajar 15 yang kita miliki χ (G) = χ 0 + χ 1 + ⌊ p + 1 2 ⌋.
Kami sekarang mengklaim bahwa | V. 2 | <| V. 1 | atau G 1 isomorfik ke a C 2 s + 1 dengan s ≥ 2
(dan selanjutnya p = 3). Anggaplah sebaliknya bahwa | V. 2 | ≥ | V. 1 |. Membiarkan w menjadi
sebuah simpul dengan derajat maksimum dalam G 1. Dengan Teorema 3 yang kita miliki χ (G 0) + χ (G 1) ≤
′) + ∆(G ′) + 1 ⌋. Sejak d (w) = ∆ ( G 1) + | V. 0 | + | V. 2 | ≥ ∆ ( G ′) + ∆ ( G 1) + 1 kita punya
⌈ ω (G 2
∆ ( G) ≥ ∆ ( G ′) + ∆ ( G 1) + 1. Dengan Teorema Brook [3] yang kita miliki χ (G 1) ≤ ∆ ( G 1)
atau G 1 adalah siklus tanpa nada yang aneh. Kapan χ (G 1) ≤ ∆ ( G 1), kita mendapatkan

ω (G) + ∆ ( G) + 1 ω (G ′) + ∆ ( G ′) + p + 1 + 1
⌈ ⌉≥⌈ ⌉. (2)
2 2
Yang mengarah ke ⌈ ω (G) +2∆ ( G) + 1 ⌉ ≥ χ (G 0) + χ (G 1) + ⌊ p + 1 2 ⌋ = χ (G), sebuah kontradik-
tion.
Jika G 1 isomorfik ke a C 2 s + 1 dengan s ≥ 2 kita punya ω (G ′) = ω (G 0) + 2,
ω (G) ≥ ω (G 0) + 3 dan ∆ ( G) ≥ ∆ ( G ′) + 3. Karenanya

ω (G) + ∆ ( G) + 1 ω (G ′) + 1 + ∆ ( G ′) + 3 + 1
⌈ ⌋≥⌈ ⌋. (3)
2 2

Yang mengarah ke ⌈ ω (G) +2∆ ( G) + 1 ⌋ ≥ χ (G 0) + χ (G 1) + 2 ≥ χ (G), sebuah kontradiksi.

Jika G [V 2 ∪ V. 3] berisi simpul dengan derajat maksimum dalam V. 2, dengan Teorema 16,
G 1 adalah grafik lengkap pada p simpul, kontradiksi dengan | V. 2 | <| V. 1 |. Oleh karena itu titik
dengan derajat maksimum dalam G [V 2 ∪ V. 3] harus berupa simpul dari G 3. Dengan penerapan
teknik di atas kita dapat membuktikan bahwa | V. 1 | <| V. 2 | atau G 2 bersifat isomorfik
ke a C 2 s + 1 dengan s ≥ 2. Dalam kasus pertama, kami mendapatkan kontradiksi dengan | V. 2 | <| V. 1 |.
Dalam kasus terakhir, kita dapat menyimpulkan seperti di atas.

14
Teorema 26 Jika G = C 2 k + 1 ( G 0. . . G 2 k) adalah perluasan dari lubang ganjil
χ (G) ≤ ⌈ ω (G) + ∆ ( G) 2+ 1 ⌉ + 1.

Bukti Kami mempertimbangkan pewarnaan yang optimal G. Mari kita tunjukkan p = min χ saya.
0 ≤ saya ≤ 2 k

Jika p bahkan kita punya χ (G) ≤ ⌈ ω (G) + ∆2 ( G) + 1 ⌉ ( Akibat wajar 17). Akibatnya, berikut ini,
kami anggap itu p aneh.
Membiarkan j ∈ { 0,. . . 2 k} seperti yang χ j = p. Kami memilih beberapa warna yang digunakan untuk
pewarnaan G j, mengatakan c j dan kami menunjukkan S j sebagai himpunan simpul dari G j makhluk
diwarnai dengan c j.
Kami mengatur j G
= G [V j - S j] dan untuk saya 6 = j kami mengatur G ′
′
i = G saya.
G′=C2k+1( G′ 0,. . . G′ 2 k) adalah ekspansi ganjil sehingga chro- minimum
jumlah komponen matic nya adalah p - 1. Sejak p - 1 bahkan, sekali lagi oleh akibat wajar
17, kami punya χ (G ′) ≤ ⌈ ω (G ′) + ∆ ( 2G ′) + 1 ⌉ dan akibatnya χ (G ′) ≤ ⌈ ω (G) + ∆ ( G) + 1 ⌉. 2
Namun sekarang, diberi pewarnaan yang optimal G ′, kita bisa mendapatkan warna yang optimal-
ing dari G dengan hanya satu warna tambahan (untuk simpul dari S j). Di lain
kata-kata, χ (G) ≤ χ (G ′) + 1. Hasilnya mengikuti.

Dalam makalah selanjutnya [4], kita akan menggunakan hasil di atas untuk memperluas sejumlah hasil
yang diberikan dalam [1].

Referensi
[1] NR Aravind, T. Karthick, dan CR Subramanian. Terikat χ dalam istilah
dari ω dan ∆ untuk beberapa kelas grafik. Matematika Diskrit, 311: 911–920,
2011.

[2] JA Bondy dan USR Murty. Teori grafik, volume 244 dari Teks Lulusan
di Matematika. Springer, 2008.

[3] R. Brooks. Saat mewarnai simpul-simpul jaringan. Proc. dari Cambridge Phil.
Soc., halaman 194–197, 1941.

[4] J.-L. Fouquet dan J.-M. Vanherpe. Dugaan Reed untuk grafik dengan sedikit
P. 5 's, 2012. Pracetak.

[5] D. Gernet dan L. Rabern. Sistem terkomputerisasi untuk teori grafik, ilusi-
dibatasi oleh bukti parsial untuk masalah pewarnaan grafik. Catatan Teori Grafik
New York LV, halaman 14–24, 2008.

[6] Raja AD. Grafik bebas cakar dan dua dugaan ω, ∆, dan χ. PhD
tesis, Universitas McGill, 2009.

[7] A. Kohl dan I. Schiermeyer. Beberapa hasil dari dugaan Reed tentang ω, δ
dan χ dengan hormat α. Matematika Diskrit, 310 (9): 1429–1438, 2010.

[8] L. Rabern. Catatan tentang dugaan Reed. Jurnal SIAM tentang Matematika Diskrit-
ematik, 22: 820–827, 2008.

[9] B. Buluh. χ, ω dan δ. Jurnal Teori Grafik, 27: 177–212, 1998.

15