Pada Validitas Reed dugaan untuk {P 5, Bendera C} - bebas Grafik

Medha Dhurandhar

Abstrak: Di sini kita membuktikan bahwa Reed dugaan berlaku untuk {P 5, Bendera C} - grafik gratis di mana Flag C adalah komplemen dari grafik
Bendera. Beberapa hasil yang dikenal ikuti sebagai akibat wajar untuk hasil kami. Dugaan Reed masih terbuka pada umumnya.

Pengantar:
Kami menganggap sini grafik sederhana dan tidak diarahkan. Untuk istilah yang tidak didefinisikan di sini kita sebut Bondy dan Murty
[1]. Pada tahun 1998, Reed mengusulkan dugaan berikut ini yang memberikan, untuk setiap graf G, sebuah atas menuju bilangan
kromatik nya • ( G) dalam hal jumlah klik • ( G) dan tingkat maksimum • ( G).

• • • • 1
Reed Dugaan [2]: Untuk grafik setiap G, • ( G) • • •.
2
Dalam [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] itu adalah menunjukkan bahwa Reed dugaan berlaku untuk beberapa kelas graf
didefinisikan oleh konfigurasi dilarang:
• (P 5, P 2 ∪ P 3, Rumah, Dart) grafik -gratis,
• (P 5, Layang-layang, Bull, (K 3 ∪ K 1) + K 1) - grafik bebas,
• (P 5, C4) grafik -gratis,
• (Chair, House, Bull, K 1 + C 4) - grafik bebas,
• (Chair, House, Bull, Dart) grafik -gratis.
• 3K 1- grafik bebas
• {2K 2, C 4} - grafik bebas
• grafik Quasiline
• K 1,3- Gratis
• grafik garis Generalized
• Grafik dengan χ ≤ ω + 2
• Planar dan grafik toroidal
• grafik decomposable
• grafik yang sempurna
• grafik garis dari Multigraphs
• Grafik dengan melengkapi terputus
( GV) V (G) • - (G) + 3
• Grafik G dengan χ (G)> • 2 • dan grafik G dengan Δ (G)> • •
2
• Grafik G dengan Δ (G) ≥ | V (G) | - 7, dan grafik G dengan Δ (G) ≥ | V (G) | - α (G) - 4

notasi: Untuk graf G, V (G), E (G), • ( G), • ( G), • ( G) menyatakan himpunan titik, himpunan sisi, tingkat maksimum, ukuran kelompok
maksimum, jumlah kromatik masing-masing. Untukmu • V (G), N (u) = {v • V (G) / uv • E (G)}, dan
) ( u N = N (u) • ( u). Jika S • V (G), kemudian <S> menunjukkan subgraf dari G yang disebabkan oleh S.

Juga untuk u • V (G), deg u menunjukkan tingkat u di G. Jika C adalah beberapa mewarnai G dan jika simpul u dari G berwarna m C,
maka u disebut m-simpul. Semua grafik dianggap selanjutnya sederhana.

Flag = dan Bendera C =

Gambar 1

Makalah ini membuktikan bahwa Reed dugaan berlaku untuk {P 5, Bendera C} - grafik bebas.

catatan: Seperti G adalah P 5- bebas, hanya aneh, siklus chordless di G adalah C 5.

• • • • 1
Dalil: Jika G adalah {P 5, Bendera C} - gratis, maka • ( G) • • •.
2
 • • • • 1
Bukti: Misalkan G menjadi terkecil {P 5, Bendera C} - Grafik gratis dengan • ( G)> • • . Mari u • V (G). kemudian dengan
2
• ( • ) • G•u G
( • u )• 1 • • • • 1
minimalitas, • ( G) -1 • • ( gu) • • • • • • < • ( G). Jadi • ( Gu) =
2 2
• • • • 1
• (G) -1 = • • • u • V (G). Mari C menjadi • ( G) -coloring dari G dan R = {x • N (u) / x menerima
2
• • • • 1
warna yang unik dari C di <N (u)>}. Kemudian • • deg u • | R | + 2 ( • • - | R |) dan | R | • • ( G) 1. saya
2
Selanjutnya biarkan R = S • T di mana S = {x • R / xy • MISALNYA) • y • Rx} dan T = RS. Juga membiarkan T '= {x' • V (G) -

) / • x, y • T dengan xy • E (G), x'x • E (G) dan x', y memiliki warna yang sama}. Selanjutnya biarkan S 1 = { w •
(uN

ST / • y • T' dengan wy • E (G)} dan S 1 '= {X • V (G) - ) / untuk beberapa •• vertex y • S 1 dan z • T' st
(uN

yz • E (G), x adalah •• vertex dari z}. Kita punya

• • | T | • 2 ( lain | T | = 0 dan oleh Aku, < R> • K • ( G) +1) dan | S 1 | > 0 • | S 1 '| > 0.
• • Jika t, t' • T st tt' • E (G) dan t, t 'memiliki warna j, i resply, maka t (t') memiliki unik i-vertex (jvertex).

Sejak t (t ') adalah unik j (i) -vertex dari u, • jalan ji katakanlah P = {t, V, W, t '}. Mari jika mungkin t memiliki lain i-vertex V'. Kemudian
jika V'W • E (G), <W, t 'u, t, V'> = P 5, dan jika V'W • E (G), <V, W V', t, u> = Flag C,
kontradiksi dalam kedua kasus.
• • Jika t, t', t” • T st tt', tt” • E (G), dan t memiliki warna i, maka t', t”memiliki kesamaan, unik i-vertex.
Mari t', t”memiliki warna j, k resply. Oleh 2, masing-masing t', t”memiliki unik i-titik katakanlah A, B resply. Mari jika mungkin A • B dan P
= {t, V, A, t '}, M = {t, W, B, t”} menjadi ij, jalur ik. Kemudian t't” • E (G) (yang lain <A, t', u, t”, B> = P 5). Tapi kemudian jika t'W • E (G), <t',
t”, B, W, t> = Flag C dan jika t'W • E (G) <t, W, B, t”, t '> = P 5, kontradiksi dalam kedua kasus.

• • <S 1 ' • T '> selesai.

Pertama kita membuktikan bahwa <T '> selesai. Biarkan jika mungkin • a 'b' • T 'st A'B' • MISALNYA). Kemudian dengan definisi T' • A, B, C, D • T
st A, '; B, b' memiliki warna yang sama dan AC, BD • MISALNYA). jelas AB •
E (G) (lain dengan 3, Ba 'Ab' • E (G) dan <b 'A, u, B, sebuah'> = P 5). juga AD • E (G) (yang lain a'd', a'D • E (G) dan <a 'd', b', D, u> = Flag C). Demikian
pula SM • MISALNYA). sekarang A'B • E (G) (yang lain a'D • E (G) karena kalau tidak <D, A, B, C, '> = Bendera C atau P 5 tergantung pada apakah CD • E
(G) atau • MISALNYA). Juga <a 'd', b', D, u> = Flag C jika a'd' • E (G) dan <B, d 'b', D, sebuah '> = P 5 jika a'd' • MISALNYA)) • iklan • E (G) (yang lain
<u, B, sebuah 'D, b'> = Bendera C). Tapi kemudian <a 'B, u, D, b'> = P 5, kontradiksi.

Lanjut kami membuktikan bahwa st' • MISALNYA) • s • S 1 'T' • T'. Biarkan jika mungkin • s' • S 1 'Dan' • T 'st s'a' •
MISALNYA). Oleh SAYA, • A, B • T st AB • E (G) dan {A, b 'a', B} adalah jalan bi-warna. Juga s'b' • E (G) (yang lain <s', b 'a', B, u> = Flag C atau P 5
menurut apakah s'B • E (G) atau • MISALNYA)). Sekarang dengan definisi mari • S menjadi •• vertex dan c' • T 'menjadi st sc' • E (G) dan
s'adalah •• vertex dari c'. Sebagai <T '> selesai, ca', cb'
• MISALNYA). Juga baik s'B dan s'A • E (G) (lain jika s'A, s'B • E (G) kemudian <s', A, u, B, sebuah '> = Bendera C dan jika hanya s'A • E (G),
kemudian <a', B, u, A, s'> = P 5). Sekarang sa' • E (G) (yang lain <u, s, a 'c', s'> = P 5). Demikian pula sb' • MISALNYA) • c'B • E (G) (yang lain <s, B,
sebuah 'c', s'> = P 5) dan juga c'A • MISALNYA). Tapi kemudian <B, u, A, c', s'> = Bendera C), kontradiksi.

Akhirnya kami membuktikan bahwa <S 1 '> Selesai. Biarkan jika mungkin • s 11 ', S 12 ' • S 1 'St s 11 's 12 ' • MISALNYA). sekarang dengan

1, • A, B • T; a 'b' • T' st AB • E (G) dan {A, b 'a', B} adalah jalan bi-warna. Sebagai st' • MISALNYA) • s •
S 1 'T' • T', s 11 'sebagai 12 'sebagai 11 'B', s 12 'B' • MISALNYA). Selanjutnya baik s 11 'B • E (G) atau s 12 'B • E (G) (yang lain <s 11 'B', s 12 ', B, u> = Flag C). WLG biarkan
s 11 'B • MISALNYA). kemudian s 11 'SEBUAH • E (G) (yang lain <B, u, A, b', s 11 '> = P 5) •

s 12 'SEBUAH • E (G) (yang lain <s 11 ', sebagai 12 ', A, u> = Flag C) dan S 12 'B • E (G) (yang lain <B, u, A, a', s 12 '> = P 5). Tapi kemudian <s 11 ', A, u, B, s 12 '>
= P 5, kontradiksi.
 -l

Mari T = S 0 dan T'= S 0 '. Selanjutnya menentukan S l = { x • S- • 1 S m / • y • S l-1 'Dengan xy • E (G)} dan S 1 '= {Z •
• 0
m

V (G) - ) /
(uN untuk beberapa •• simpul x • S l dan y • S l-1 'Xy st • E (G), z adalah •• vertex y}, 1 • l. Oleh
konstruksi setiap warna yang digunakan dalam S l digunakan dalam S l ', L • 0. Misalkan S 0 ', .., S k 'Menjadi urutan seperti yang maksimal.
k-

Maka jelas setiap x • W = S- • 1 S l berbatasan dengan setiap simpul dari • k l 'S. II

• 0l • 0l

Klaim: < W • { • k l 'S}> Selesai.

• 0l

k-

Kami membuktikan Klaim dengan induksi. Oleh 4, hasilnya adalah benar untuk i = 0, 1. Asumsikan bahwa < • 1 l 'S> adalah
• 0l

lengkap. Biarkan jika mungkin • x • S k ', Y • S j 'Xy st • MISALNYA). Biarkan j menjadi seperti indeks terkecil. dengan konstruksi • •• vertex z • S k
dan W • S k-1 ' st zw • E (G), x adalah •• vertex dari w. Sekarang j> 0 (lain dengan wy induksi • E (G), oleh zy konstruksi • E (G) dan <u, z, y,
w, x> = P 5). Biarkan' • S 0 '. Maka dengan definisi • A, B • T dan b' • S 0 'St {A, b', a', B} adalah jalan bi-warna. Sebagai j> 0, xa 'xb' • MISALNYA).
Juga dengan induksi ya 'yb' • MISALNYA). Sekarang kedua xA, yA (xB, yB) • E (G) (yang lain <x, a', y, A, u> = Flag C).

Tapi xA atau xB (yA atau yB) • E (G) (yang lain <B, u, A, b', x> = P 5). WLG biarkan xA • MISALNYA) • yA • E (G) (yang lain <x, a', y, A, u> = Flag C). kemudian
yB • E (G) (yang lain <B, u, A, b', y> = P 5) • xB • E (G) (yang lain <x, b',

y, B, u> = Flag C). Tapi kemudian <x, A, u, B, y> = P 5, kontradiksi. Dengan demikian < • k l 'S> Selesai.
• 0l

oleh karena itu dengan II, itu Klaim memegang.

Tapi kemudian karena setiap warna yang unik yang digunakan dalam <N (u)> digunakan dalam <W • { • k l 'S}>, Oleh Aku, < W • { • k l 'S}> •
• 0l • 0l

K • ( G) +1, kontradiksi.

Hal ini membuktikan Teorema.

• • • • 1
Akibat wajar 1: Jika G adalah {P 5, C 4} - gratis, maka • ( G) • • •.
2
• • • • 1
Akibat wajar 2: Jika G adalah 3K 1- gratis, maka • ( G) • • •.
2
• • • • 1
Akibat wajar 3: Jika G adalah {P 3 • K 1} - gratis, maka • ( G) • • •.
2
• • • • 1
Konsekuensi 4: Jika G adalah {2K 2, C 4} - gratis, maka • ( G) • • •.
2

Referensi
[1] JA Bondy dan USR Murty. Grafik Teori, Volume 244 dari Graduate Teks di Matematika, Springer, 2008.

[2] B. Reed, “ω, Δ, dan χ”, Jurnal Teori Graph, 27: 177-212, 1998. [3] NR Aravind, T. Karthick, dan CR Subramanian,
“Batas • dengan kondisi • dan • untuk beberapa kelas graf”, Matematika, 311: 911-920, 2011.

[4] M. Chudnovsky, N. Robertson, PD Seymour, dan R. Thomas, “The Kuat sempurna Grafik Teorema”, Annals of
Matematika, 164:. 51-229 2006.

[5] JL Fouquet, V. Giakoumakis, F. Maire, dan H. Thuillier, “Pada grafik tanpa P5 dan P5”, Matematika, 146: 33-44,
1995.
[6] JL Fouquet dan JM Vanherpe, “dugaan Reed pada ekspansi lubang”, laporan Teknis,
LIFO 2011.
[7] L. Rabern, “Catatan tentang dugaan Reed”, SIAM Journal di Matematika, 22: 820-827,
2008.

[8] D. Seinsche, “Pada properti dari kelas grafik n-yg berhasil”, Jour. Comb. Teori, Seri B (16): 191-193, 1974.

[9] Ingo Schiermeyer, “jumlah kromatik dari P 5- grafik bebas: dugaan Reed”, Matematika, 2015.

[10] L. Esperet, L. Lemoine, F. Maffray, G. Morel, “Jumlah kromatik dari {P5, K4} grafik-gratis”, Diskrit Matematika. 313:
743-754, 2013.

[11] A. Kohl, I. Schiermeyer, “Sebagian hasil dari dugaan Reed tentang ω, Δ dan χ sehubungan dengan a”, Diskrit Matematika. 310:
1429-1438, 2010.

[12] L. Rabern, “Catatan tentang dugaan Reed”, SIAM J. Diskrit Matematika. 22 (2): 820-827, 2008. [13] AD Raja, B. Reed,
A. Vetta, “Sebuah batas atas untuk jumlah kromatik dari grafik garis”, Eropa J. Comb. 28: 2182-2187, 2007.

[14] A. Kohl, I. Schiermeyer, Beberapa hasil pada dugaan Reed tentang ω, Δ dan χ sehubungan dengan α, Diskrit Matematika. 310,
1429-1438, 2010.