Documente Academic
Documente Profesional
Documente Cultură
γ ( G ) =min max g( x )
Deci avem g [ x∈ X ] .
Propoziţia 1 (Kőning)
Un graf neorientat are numărul cromatic 2 dacă şi numai dacă nu are cicluri
de lungime impară.
Demonstraţie
Dacă G nu conţine cicluri de lungime impară din propoziţia 5, rezultă că
γ ( G ) =2 .
proprietatea 6 şi deci γ ( G ) ≥3 .
............................................................................................... .
k −1
X K {U X̄ i ¿
X k ( k=2,3 , . .. p−1 ) include pe i =1 completat succesiv cu vârfurile:
K −1 k−1
x ∈ X K+1 {U X̄ i ¿ X K − U X̄ i
α) i=1 neadiacente cu cele din i=1
K −1 k −1
x ∈ X K+2 {U X̄ i ¿ X K {U X̄ i ¿
β) i =1 neadiacente cu cele din i =1 şi cu cele din α).
p−1
X p {U X̄ i ¿
X̄ p conţine pe i =1
Fie r cel mai mare indice al submulţimii X̄ i nevide, astfel obţinute
Exemplu Graful de mai jos este 4-cromatic, vârfurile sale fiind colorate în alb
(a), roşu (r), verde (v) şi negru (n).
X̄ 1 ={ x 3 , x 10 , x 4 , x 5 }
Obţinem
X̄ 2 ={ x 1 , x 6 , x11 }
X̄ 3 ={ x 12 , x 2 , x 7 , x8 }
X̄ 4 ={ x 9 }
Cum în graf există cicluri de lungime impară, înseamnă că, pentru mulţimea
vârfurilor sale, funcţiile lui Grundy nu pot lua mai puţin 3 valori, rezultă γ ( G ) =3 .
Clasa cromatică a unui graf neorientat este cel mai mic număr de culori ce
pot fi atribuite muchiilor sale astfel încât orice muchii adiacente să fie colorate
diferit.
Fie G1,3 subgraful ale cărui vârfuri sunt colorate cu c1 şi cu c3. Dacă a1 şi a3
aparţin unor componente diferite ale lui G1,3 permutăm între ele culorile c1 şi c3 în
componenta ce conţine pe a, deci a1 va fi colorată în 3 şi deci lui xi se poate da
culoarea lui c1.
Din propoziţia de mai sus rezultă doar că toate grafurile planare conexe au
γ ( G ) ≤5 , dar nu şi γ ( G ) =5 .
∑ p ( x ) ≡0
ca de-a lungul conturului μ al oeicărei feţe să avem: x ∈μ mod 3
(*)
Demonstraţie
Demonstraţie 1)⇒2 )
Fie c i ( i=1,4 ) cele patru culori ale feţelor 1, 2, 3, culorile pe care le vom
folosi pentru muchii. Colorăm cu 1 muchiile ce separă pe c1 de c2 şi pe cele dintre
c3 şi c4. Apoi folosim: