Barevnost grafů MFF UK

Podobné dokumenty
Vybíravost grafů, Nullstellensatz, jádra

Úvod do vybíravosti grafů, Nullstellensatz, polynomiální metoda

Vrcholová barevnost grafu

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

TGH09 - Barvení grafů

1 Seznamová barevnost úplných bipartitních

Teoretická informatika Tomáš Foltýnek Barvení grafů Platónská tělesa

Stromové rozklady. Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom,

1 Nenulové toky. 1.1 Úvod. 1.2 Definice

René Grežďo. Vrcholové barvení grafu

VLASTNOSTI GRAFŮ. Vlastnosti grafů - kap. 3 TI 5 / 1

10 Přednáška ze

Grafy. RNDr. Petra Surynková, Ph.D. Univerzita Karlova v Praze Matematicko-fyzikální fakulta.

H {{u, v} : u,v U u v }

Definice barevnosti grafu, základní vlastnosti. Varinaty problému barvení.

Teorie grafů Jirka Fink

Definice 5.1 Graf G = (V, E) je tvořen množinou vrcholů V a množinou hran, kde

Definice 1 eulerovský Definice 2 poloeulerovský

Výroková a predikátová logika - IV

8 Přednáška z

Jan Březina. 7. března 2017

4 Pojem grafu, ve zkratce

Drsná matematika III 10. demonstrovaná cvičení Kostry grafů

TEORIE GRAFŮ TEORIE GRAFŮ 1

VLASTNOSTI GRAFŮ. Doc. RNDr. Josef Kolář, CSc. Katedra teoretické informatiky, FIT České vysoké učení technické v Praze. BI-GRA, LS 2010/2011, Lekce 5

Minimální kostry. Teorie. Štěpán Šimsa

Vlastnosti regulárních jazyků

Golayův kód 23,12,7 -kód G 23. rozšířený Golayův kód 24,12,8 -kód G 24. ternární Golayův kód 11,6,5 -kód G 11

Diskrétní matematika. DiM /01, zimní semestr 2016/2017

Hledáme efektivní řešení úloh na grafu

Ukážeme si lineární algoritmus, který pro pevné k rozhodne, zda vstupní. stromový rozklad. Poznamenejme, že je-li k součástí vstupu, pak rozhodnout

GRAFY A GRAFOVÉ ALGORITMY

Kreslení grafů na plochy Tomáš Novotný

Učební texty k státní bakalářské zkoušce Matematika Teorie grafů. študenti MFF 15. augusta 2008

Definice 7.2. Nejmenší přirozené číslo k, pro které je graf G k-obarvitelný, se nazývá chromatické číslo (barevnost) grafu G a značí se χ(g).

Teorie grafů. zadání úloh. letní semestr 2008/2009. Poslední aktualizace: 19. května First Prev Next Last Go Back Full Screen Close Quit

Hypergrafové removal lemma a Szemérediho

Kolik existuje různých stromů na pevně dané n-prvkové množině vrcholů?

Graf. Uzly Lokality, servery Osoby fyzické i právní Informatické objekty... atd. Hrany Cesty, propojení Vztahy Informatické závislosti... atd.

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

Teorie grafů(povídání ke třetí sérii)

TGH05 - aplikace DFS, průchod do šířky

TGH05 - aplikace DFS, průchod do šířky

67. ročník matematické olympiády III. kolo kategorie A. Přerov, března 2018

PROBLÉM ČTYŘ BAREV. Lze obarvit jakoukoliv mapu v rovině čtyřmi barvami tak, aby žádné dvě sousedící oblasti neměly stejnou barvu?

1. Toky, řezy a Fordův-Fulkersonův algoritmus

07 Základní pojmy teorie grafů

PŘEDNÁŠKA 2 POSLOUPNOSTI

Kostry. 9. týden. Grafy. Marie Demlová (úpravy Matěj Dostál) 16. dubna 2019

Drsná matematika III 9. přednáška Rovinné grafy: Stromy, konvexní mnohoúhelníky v prostoru a Platónská tělesa

PQ-stromy a rozpoznávání intervalových grafů v lineárním čase

Fakulta elektrotechniky a informatiky Vysoká škola báňská - Technická univerzita Ostrava. Diskrétní matematika 2012/2013.

Kapitola 1. Grafy a podgrafy

Jan Březina. Technical University of Liberec. 30. dubna 2013

Pumping lemma - podstata problému. Automaty a gramatiky(bi-aag) Pumping lemma - problem resolution. Pumping lemma - podstata problému

Kapitola 11. Vzdálenost v grafech Matice sousednosti a počty sledů

Grafy. doc. Mgr. Jiří Dvorský, Ph.D. Katedra informatiky Fakulta elektrotechniky a informatiky VŠB TU Ostrava. Prezentace ke dni 13.

které je z různých pohledů charakterizují. Několik z nich dokážeme v této kapitole.

TGH02 - teorie grafů, základní pojmy

Jan Pavĺık. FSI VUT v Brně

= je prostý orientovaný graf., formálně c ( u, v) 0. dva speciální uzly: zdrojový uzel s a cílový uzel t. Dále budeme bez

5 Orientované grafy, Toky v sítích

10 Podgrafy, isomorfismus grafů

autorovu srdci... Petr Hliněný, FI MU Brno 1 FI: MA010: Průnikové grafy

Příklady z Kombinatoriky a grafů I - LS 2015/2016

Jan Březina. Technical University of Liberec. 21. dubna 2015

8 Rovinnost a kreslení grafů

TGH02 - teorie grafů, základní pojmy

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od podzimu 2014

Kombinatorika a grafy

Další NP-úplné problémy

Výroková a predikátová logika - III

Aplikace 1-VMV ohodnocení grafů. Applications of 1-VMV labelings graphs

Výroková a predikátová logika - II

V ypoˇ cetn ı sloˇ zitost v teorii graf u Martin Doucha

9 Stupně vrcholů, Věta Havla-Hakimiho

Lineární programování

Úvod do teorie grafů

4 Stromy a les. Definice a základní vlastnosti stromů. Kostry grafů a jejich počet.

Obsah prezentace. Základní pojmy v teorii o grafech Úlohy a prohledávání grafů Hledání nejkratších cest

Bipartitní grafy. Karel Klouda c KTI, FIT, ČVUT v Praze 28. března, letní semestr 2010/2011

Hlavolamy a teorie grafů

Hamiltonovské kružnice, stromy, rovinné grafy

Rovinné grafy. Mark Karpilovskij

Výroková a predikátová logika - II

Automaty a gramatiky. Na zopakování X*/~ Roman Barták, KTIML. Iterační (pumping) lemma. Pravidelnost regulárních jazyků

Extrémy funkce dvou proměnných

Zadání a řešení testu z matematiky a zpráva o výsledcích přijímacího řízení do magisterského navazujícího studia od jara 2014

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Teorie grafů. Kostra grafu. Obsah. Radim Farana Podklady pro výuku pro akademický rok 2013/2014

Teorie grafů. Teoretická informatika Tomáš Foltýnek

L(2,1)-ohodnocení grafů

Komplexní analýza. Holomorfní funkce. Martin Bohata. Katedra matematiky FEL ČVUT v Praze

Tento text je stručným shrnutím těch tvrzení Ramseyovy teorie, která zazněla

Regulární výrazy. Definice Množina regulárních výrazů nad abecedou Σ, označovaná RE(Σ), je definována induktivně takto:

zejména Dijkstrův algoritmus pro hledání minimální cesty a hladový algoritmus pro hledání minimální kostry.

Drsná matematika III 9. přednáška Rovinné grafy: Stromy, konvexní mnohoúhelníky v prostoru a Platónská tělesa

Diskrétní matematika. DiM /01, zimní semestr 2018/2019

Přijímací zkouška - matematika

Geometrické vyhledávání

Transkript:

Barevnost grafů Z. Dvořák MFF UK

Plán vztah mezi barevností a maximálním stupněm (Brooksova věta) hranová barevnost (Vizingova věta) příště: vztah mezi barevností a klikovostí, perfektní grafy

Barevnost a maximální stupeň Pozorování χ(g) (G)+1 Důkaz indukcí: je-li V(G) 1, tvrzení je triviální jinak, zvol v V(G) libovolně: z indukce, χ(g v) (G v)+1 (G)+1 sousedi v používají nejvýše různých barev v lze obarvit jednou z barev 1,..., (G)+1.

Barevnost a maximální stupeň Pozorování χ(g) (G)+1 Tento odhad nejde vylepšit bez dalších předpokladů: (K n ) = n 1, χ(k n ) = n (C 2n+1 ) = 2, χ(c 2n+1 ) = 3 Existují jiné (souvislé) protipříklady?

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). Obdobně jako předchozí pozorování: můžeme předpokládat V(G) 2; zvolme v stupně (G) 1 necht G 1,..., G k jsou komponenty G v: G souvislý G i obsahuje u i tž. u i v E(G) deg Gi (u i ) (G) 1 je-li G i regulární, pak χ(g i ) (G i )+1 = deg Gi (u i )+1 není-li regulární, pak χ(g i ) (G i ) z indukce proto χ(g i ) (G) v lze dobarvit jednou z barev 1,..., (G)

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). Jiný důkaz: zvolme kostru T grafu G zakořeníme T ve vrcholu v stupně (G) 1 barvíme od listů (obrácené pořadí průchodu T do hloubky) vrchol u v má deg(u) 1 předbarvených sousedů vrchol v má deg(v) (G) 1 předbarvených sousedů

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). Jiný důkaz: zvolme kostru T grafu G zakořeníme T ve vrcholu v stupně (G) 1 barvíme od listů (obrácené pořadí průchodu T do hloubky) vrchol u v má deg(u) 1 předbarvených sousedů vrchol v má deg(v) (G) 1 předbarvených sousedů

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). Jiný důkaz: zvolme kostru T grafu G zakořeníme T ve vrcholu v stupně (G) 1 barvíme od listů (obrácené pořadí průchodu T do hloubky) vrchol u v má deg(u) 1 předbarvených sousedů vrchol v má deg(v) (G) 1 předbarvených sousedů

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

Neregulární grafy Lemma Je-li G souvislý a ne všechny jeho vrcholy mají stejný stupeň, pak χ(g) (G). v

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). zvolme u, v, w tž. uv, vw E(G), uw E(G) T kostra G {u, w} zakořeněná ve v T = T +{u v, w v} nejprve obarvíme u a w stejnou barvou dále jako minule: u v má deg(u) 1 předbarvených sousedů v má deg(v) předbarvených sousedů, ale u a w mají stejnou barvu

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). zvolme u, v, w tž. uv, vw E(G), uw E(G) T kostra G {u, w} zakořeněná ve v T = T +{u v, w v} nejprve obarvíme u a w stejnou barvou dále jako minule: u v má deg(u) 1 předbarvených sousedů v má deg(v) předbarvených sousedů, ale u a w mají stejnou barvu

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). zvolme u, v, w tž. uv, vw E(G), uw E(G) T kostra G {u, w} zakořeněná ve v T = T +{u v, w v} nejprve obarvíme u a w stejnou barvou dále jako minule: u v má deg(u) 1 předbarvených sousedů v má deg(v) předbarvených sousedů, ale u a w mají stejnou barvu

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

3-souvislé grafy Lemma Je-li G 3-souvislý a není úplný, pak χ(g) (G). u v w

Brooksova věta Věta Je-li G souvislý a není ani úplný ani lichá kružnice, pak χ(g) (G). Důkaz: BÚNO G je -regulární a není 3-souvislý > 3 (jinak G je sudý cyklus nebo cesta délky alespoň 2 a χ(g) = = 2) uvažme nejmenší řez R v G (1 R 2): G = G 1 G 2, V(G 1 G 2 ) = R G 1 R G 2

R = 1 Jestliže R = {v}: obarvi G 1 a G 2 (nejsou -regulární) barvami přepermutuj obarvení tž. obě přiřazují v stejnou barvu v G 1 G 2

R = 1 Jestliže R = {v}: obarvi G 1 a G 2 (nejsou -regulární) barvami přepermutuj obarvení tž. obě přiřazují v stejnou barvu v v G 1 G 2

R = 1 Jestliže R = {v}: obarvi G 1 a G 2 (nejsou -regulární) barvami přepermutuj obarvení tž. obě přiřazují v stejnou barvu v v G 1 G 2

R = 1 Jestliže R = {v}: obarvi G 1 a G 2 (nejsou -regulární) barvami přepermutuj obarvení tž. obě přiřazují v stejnou barvu v v G 1 G 2

R = 1 Jestliže R = {v}: obarvi G 1 a G 2 (nejsou -regulární) barvami přepermutuj obarvení tž. obě přiřazují v stejnou barvu v G 1 G 2

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u G 1 G 2 v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u G 1 G 2 v v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u G 1 G 2 v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u u G 1 G 2 v v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u u G 1 G 2 v v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u u G 1 G 2 v v

R = 2 Jestliže R = {u, v}: jelikož 3, BÚNO deg G1 (u) > 1 a deg G2 (v) > 1 má-li v jediného souseda v v G 2, uvážíme řez {u, v } místo R pak G 1 + uv a G 2 + uv nejsou -regulární χ(g 1 + uv), χ(g 2 + uv) permutace obarvení G 2 + uv, aby odpovídalo obarvení G 1 + uv u G 1 G 2 v

Shrnutí Brooksova věta Je-li G souvislý a není ani úplný ani lichá kružnice, pak χ(g) (G). pravděpodobně nejde zlepšit (popsat nutné a postačující podmínky pro χ(g) (G) 1): příklady složitých grafů s χ(g) = (G) 3-barevnost 4-regulárních grafů je NP-úplná

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol?

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol?

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol? 1.kolo:

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol? 2.kolo:

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol? 3.kolo:

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol? 4.kolo:

Hranová barevnost motivace Organizujeme turnaj pro n hráčů, každý má hrát s každým, kolik potřebujeme minimálně kol? 5.kolo:

Hranová barevnost Definice Obarvení hran je dobré, jestliže žádné dvě hrany incidentní se stejným vrcholem nemají stejnou barvu. Hranová barevnost χ (G) je minimální počet barev dobrého hranového obarvení. χ (K 6 ) 5:

Vlastnosti hranové barevnosti záleží na násobných hranách... budeme uvažovat jen jednoduché grafy χ (G) (G) hrany u jednoho vrcholem mají navzájem různé barvy χ (G) = χ(l(g)), kde L(G) je linegraf G: V(L(G)) = E(G), ef E(L(G)) jestliže e a f jsou incidentní se stejným vrcholem v G 1 2 1 2 4 5 3 5 4 3 z Brooksovy věty: χ (G) (L(G)) 2 (G) 2, jestliže (G) 3

Vlastnosti hranové barevnosti Hranová barevnost je blízká maximálnímu stupni: (G) χ (G) 2 (G) 2 Lze tento vztah vylepšit? Vizingova věta Libovolný graf G bez smyček a násobných hran splňuje χ (G) (G)+1.

Důkaz Vizingovy věty(1) Indukcí: necht e = xy je hrana G, předpokládáme χ (G e) (G e)+1 (G)+1. dobré obarveníϕ : E(G e) {0, 1,..., } hran G e barvy u vrcholu v: barvy nepoužité u v: C(v) = {ϕ(uv) : uv E(G)} N(v) = {0, 1,..., }\C(v) deg(v) < +1, proto N(v) pro každý vrchol v V(G) pokud N(x) N(y), pak e obarvíme barvou z N(x) N(y) Co když N(x) N(y) =?

Důkaz Vizingovy věty(2) 1 N(x), 1 N(y): existuje hrana yz 1 obarvená barvou 1 pokud třeba 0 N(z 1 ) N(y): přebarvi yz 1 barvou 0 obarvi xy barvou 1 z 1 z 1 x y x y Co když N(z 1 ) N(y) =?

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 x y Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 x y Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 x y z 3 Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 z 3 x y z 4 Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 z 3 x y z 4 z 5 Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 z 3 x y z 4 z 5 z 6 Jestliže nejde pokračovat, pak bud chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(3) Dokud to jde, hledáme yz 2,..., yz k tž: ϕ(yz i ) N(z i 1 ) z 1,..., z k jsou navzájem různé z 1 z 2 z 3 x y z 4 z 5 z 7 Jestliže nejde pokračovat, pak bud z 6 chybějící barva u z k chybí i u y, nebo chybějící barva u z k je ϕ(yz m ) pro nějaké m < k.

Důkaz Vizingovy věty(4) Pokud barva c chybí jak u z k, tak u y: přebarvi yz i barvou ϕ(yz i+1 ), pro 1 i < k přebarvi yz k barvou c obarvi xy barvou ϕ(yz 1 ) z 1 z 2 z 1 z 2 z 3 z 3 x y z 4 x y z 4 z 5 z 5 z 6 z 6 z 7 z 7

Důkaz Vizingovy věty(5) Pokud barva c = ϕ(yz m ) pro nějaké m < k chybí u z k : Pokud m > 1, pak pro zjednodušení: odbarvi yz m 1 přebarvi yz i barvou ϕ(yz i+1 ), pro 1 i < m 1 obarvi xy barvou ϕ(yz 1 ) z 1 z 2 z 1 z 2 z 3 z 3 x y z 4 x y z 4 z 5 z 5 z 6 z 6 z 7 Proto stačí uvažovat m = 1. z 7

Důkaz Vizingovy věty(6) Barva c = ϕ(yz 1 ) chybí u z k (a také u x). Barva d chybí u y (a nechybí u z k ). z 1 x y z 2 z 3 z 4 Uvažme střídavou d c cestu P ze z k : bud nekončí v x ani y, nebo končí v x, nebo končí v y.

Důkaz Vizingovy věty(7) Barva c = ϕ(yz 1 ) chybí u z k (a také u x). Barva d chybí u y (a nechybí u z k ). Střídavá d c cesta ze z k nekončí v x ani y. prohodíme barvy na P d nyní chybí jak u y tak u z k přebarvíme jako v případě (4). z 1 z 1 x y z 2 z 3 x y z 2 z 3 z 4 z 4

Důkaz Vizingovy věty(8) Barva c = ϕ(yz 1 ) chybí u z k (a také u x). Barva d chybí u y (a nechybí u z k ). Střídavá d c cesta ze z k končí v x. prohodíme barvy na P d nyní chybí jak u x tak u y hranu xy obarvíme d z 1 z 1 x y z 2 z 3 x y z 2 z 3 z 4 z 4

Důkaz Vizingovy věty(9) Barva c = ϕ(yz 1 ) chybí u z k (a také u x). Barva d chybí u y (a nechybí u z k ). Střídavá d c cesta ze z k končí v y. prohodíme barvy na P c nyní chybí jak u x tak u y hranu xy obarvíme c z 1 z 1 x y z 2 z 3 x y z 2 z 3 z 4 z 4

Shrnutí Vizingova věta Libovolný graf G bez smyček a násobných hran splňuje (G) χ (G) (G)+1. rozhodnout zda χ (G) = (G) nebo χ (G) = (G)+1 je těžké: hranová 3-barevnost 3-regulárních grafů je NP-úplná dolní hranice se nabývá pro bipartitní grafy rovinné 3-regulární grafy bez mostů (ekvivalentní větě o 4 barvách)