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

Podobné dokumenty
8 Rovinnost a kreslení grafů

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

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

Definice 1 eulerovský Definice 2 poloeulerovský

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

TGH09 - Barvení grafů

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

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

Kreslení grafů na plochy Tomáš Novotný

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

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

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

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

Vrcholová barevnost grafu

Barevnost grafů MFF UK

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

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

10 Podgrafy, isomorfismus grafů

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

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

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

Teorie grafů Jirka Fink

10 Přednáška ze

Hamiltonovské kružnice, stromy, rovinné grafy

4 Pojem grafu, ve zkratce

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

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

Jan Březina. 7. března 2017

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

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

Vybíravost grafů, Nullstellensatz, jádra

Hlavolamy a teorie grafů

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

Těleso racionálních funkcí

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

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

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

MATEMATIKA A 3 Metodický list č. 1

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

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

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

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

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

GRAFY A GRAFOVÉ ALGORITMY

FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti

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

TGH02 - teorie grafů, základní pojmy

Teorie grafů BR Solutions - Orličky Píta (Orličky 2010) Teorie grafů / 66

Matematická analýza III.

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

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

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

Tělesa Geometrické těleso je prostorový omezený geometrický útvar. Jeho hranicí neboli povrchem je uzavřená plocha. Geometrická tělesa dělíme na

Základní pojmy teorie grafů [Graph theory]

U3V Matematika Semestr 1

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

= 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

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

1 Nenulové toky. 1.1 Úvod. 1.2 Definice

Matematická analýza pro informatiky I. Limita funkce

TEORIE GRAFŮ TEORIE GRAFŮ 1

STROMY. v 7 v 8. v 5. v 2. v 3. Základní pojmy. Řešené příklady 1. příklad. Stromy

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Matematická analýza III.

8 Přednáška z

10. DETERMINANTY " # $!

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

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

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

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

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

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

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).

Cvičení z Lineární algebry 1

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

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

Základy informatiky. Teorie grafů. Zpracoval: Pavel Děrgel Úprava: Daniela Szturcová

Rovinné grafy Kostra grafu Minimální kostra Toky v sítích Problém maximálního toku v síti. Stromy a kostry. Michal Bulant

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

7 Konvexní množiny. min c T x. při splnění tzv. podmínek přípustnosti, tj. x = vyhovuje podmínkám: A x = b a x i 0 pro každé i n.

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

Zdůvodněte, proč funkce n lg(n) roste alespoň stejně rychle nebo rychleji než než funkce lg(n!). Symbolem lg značíme logaritmus o základu 2.

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

Základy matematické analýzy

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

Lineární algebra : Polynomy

Rovinné grafy. In: Bohdan Zelinka (author): Rovinné grafy. (Czech). Praha: Mladá fronta, pp

PŘEDNÁŠKA 7 Kongruence svazů

Úvod do Teorie grafů Petr Kovář

Dijkstrův algoritmus

Kapitola 1. Grafy a podgrafy

Úlohy krajského kola kategorie C

PŘEDNÁŠKA 2 POSLOUPNOSTI

Výhody a nevýhody jednotlivých reprezentací jsou shrnuty na konci kapitoly.

TGH02 - teorie grafů, základní pojmy

Lineární algebra : Metrická geometrie

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

Přednáška 3: Limita a spojitost

4.2.4 Orientovaný úhel I

TGH02 - teorie grafů, základní pojmy

Transkript:

Diskrétní matematika Petr Kovář petr.kovar@vsb.cz Vysoká škola báňská Technická univerzita Ostrava DiM 470-2301/01, zimní semestr 2018/2019

O tomto souboru Tento soubor je zamýšlen především jako pomůcka pro přednášejícího. Řadu důležitých informací v souboru nenajdete, protože přednášející je říká, ukazuje, případně maluje na tabuli. Přednášky jsou na webu k dispozici, aby studenti mohli snadno dohledat probíraná témata z přednášek, které zameškali. Pro samostatné studium doporučuji skripta: M. Kubesa: Základy diskrétní matematiky, výukový text P. Kovář: Úvod do teorie grafů, výukový text Pro přípravu ke zkoušce a písemkám doporučuji cvičebnici: P. Kovář: Cvičení z diskrétní matematiky, sbírka příkladů Vše na http://homel.vsb.cz/~kov16/predmety dm.php

Přehled přednášky Kapitola Barevnost a kreslení grafů motivace barevnost grafů rovinné nakreslení grafů rozpoznání rovinných grafů barvení map a rovinných grafů

Barevnost grafů Zmíníme dvě úlohy, které lze snadno řešit jako úlohy vrcholového barvení grafu. Skladovací problém Ve skladu je uloženo mnoho druhů potravin. Podle předpisů řada druhů potravin musí být umístěny v oddělených prostorách. Například ovocné saláty nesmí být skladovány společně s čerstvými syrovými vejci nebo krájené salámy nesmí být skladovány společně se syrovým masem. Jaký je nejmenší počet oddělených místností, který ve skladu potřebujeme? Situaci modelujeme grafem, jehož vrcholy budou odpovídat ukládaným komoditám a hranou spojíme dva vrcholy, pokud odpovídající komodity nesmí být skladovány současně. Místnosti odlišíme barvami. Otázka Jaký je nejmenší počet různých barev potřebný k takovému obarvení vrcholů grafu, aby žádné dva sousední vrcholy nebyly obarveny stejně?

Optimalizace křižovatek Křižovatka má různé jízdní pruhy (dopravní proudy), jak pro auta, tak pro chodce. Doprava v koridorech, které se nekříží, může probíhat současně. Naopak koridory, které se kříží, musí mít zelenou v jiných časových intervalech. Časové intervaly odlišíme barvami. Jaký je nejmenší počet časových intervalů v jednom cyklu semaforu, kdy každý koridor měl alespoň jedenkrát zelenou? Úlohu budeme modelovat grafem, jehož vrcholy odpovídají dopravním koridorům a každé dva koridory, které spolu kolidují, spojíme hranou. Otázka Jaký je nejmenší počet barev nutný k takovému obarvení vrcholů grafu, kde koncové vrcholy každé hrany mají různou barvu. Ukážeme některá jednodušší tvrzení a speciální případy. Nejprve zavedeme základní pojmy.

Definice Obarvení grafu G pomocí k barev je takové zobrazení c : V (G) {1, 2,..., k}, ve kterém každé dva vrcholy, které jsou spojené hranou, budou mít různou barvu, tj. c(u) c(v) pro každou hranu uv E(G). Poznámka Uvedenému obarvení vrcholů grafu se říká také dobré vrcholové barvení grafu. Každý graf má obarvení pomocí V (G) barev. Nás však zajímá nejmenší možný počet barev, pro které existuje dobré vrcholové obarvení grafu G. Definice Barevnost grafu G je nejmenší přirozené číslo χ(g), pro které existuje obarvení grafu G pomocí χ(g) barev. Barevnosti grafu se také říká chromatické číslo.

Příklad Určete barevnost (chromatické číslo) grafu C 5. v 1 v 2 v 5 Příklad v 3 v 4 Určete barevnost (chromatické číslo) grafu C 6. v 2 v 1 v 3 v 6 v 4 v 5

Horní odhady počtu barev Lemma Pro každý graf G na n vrcholech platí χ(g) n. Rovnost nastává právě tehdy, když G je úplný graf. Důkaz Pro každý graf G na n vrcholech stačí každý vrchol obarvit jinou barvou a máme dobré vrcholové obarvení grafu G n barvami. Dostáváme χ(g) n. Je-li G K n, tak žádné dva vrcholy nemohou být obarveny stejnou barvou, protože každé dva vrcholy jsou sousední. Proto χ(g) = χ(k n ) = n. Pokud některá hrana uv v grafu G chybí, můžeme oba její koncové vrcholy obarvit stejnou barvou c(u) = c(v) = 1 a zbývající vrcholy obarvíme různými barvami 2, 3,..., n 1. Dostaneme tak obarvení grafu G méně než n barvami a platí χ(g) < n.

Brooksova věta Pro každý graf G na n vrcholech různý od K n a lichých cyklů C n platí χ(g) (G). Důkaz přesahuje rámec našeho kurzu, najdete jej třeba v textu Teorie grafů. Ne v každém grafu musíme použít tolik barev, jaký je nejvyšší stupeň vrcholů v grafu. Například na dobré vrcholové obarvení (kompletních) bipartitních grafů stačí dvě barvy. Algoritmy pro nalezení dobrého barvení s nejmenším počtem barev jsou komplikované a nejsou součástí tohoto textu. Pro obecný graf existuje algoritmus složitosti O(n2 n ), kde n je počet vrcholů.

Dolní odhady počtu barev Brooksova věta říká kolik nejvíce barev může být potřeba na dobré vrcholové obarvení daného grafu. Nyní ukážeme několik jednoduchých odhadů, kolik barev je potřeba nejméně. Věta Graf G má barevnost 1 právě tehdy, když nemá žádné hrany. Důkaz Pokud graf nemá hrany, obarvíme všechny vrcholy barvou 1. Mají-li všechny vrcholy stejnou barvu, nemůže být v grafu žádná hrana. Bez důkazu uvedeme následující větu. Věta Jestliže v grafu G je kompletní podgraf na k vrcholech, tak na dobré obarvení celého grafu G je potřeba alespoň k barev.

Jeden speciální případ předchozí věty dokážeme. Věta Graf G má barevnost 2 právě tehdy, když neobsahuje jako podgraf žádný cyklus liché délky. Důkaz (naznačíme) Lichý cyklus nelze dobře obarvit dvěma barvami. Zvoĺıme libovolný vrchol v grafu G a obarvíme jej barvou 1. Vrcholy, jejichž vzdálenost od v je lichá, obarvíme 2. Vrcholy, jejichž vzdálenost od v je sudá, obarvíme 1. Pokud bychom získali dva vrcholy x, y v sudé vzdálenosti od v spojené hranou xy, jistě by v,... x, y,... v byl uzavřený sled liché délky. Z tohoto sledu vynecháním opakujících se částí dostaneme cyklus liché délky (proč?), což podle předpokladu nelze. Pro dva vrcholy v liché vzdálenosti je zdůvodnění podobně. Proto naše obarvení neobarví sousední vrcholy stejnou barvou, a proto dvě barvy stačí na obarvení G stačí. Grafy, které neobsahují cykly liché délky, jsou bipartitní grafy a jejich vrcholy umíme rozdělit do dvou množin (partit). Stačí vrcholy v každé partitě obarvit jednou barvou.

Určení barevnosti grafu Určit barevnost (nebo chromatické číslo) znamená určit, jaký nejmenší počet barev je potřeba pro dobré obarvení grafu. Není žádná známa věta, která by hodnotu barevnosti snadno určila. Určení barevnosti daného grafu je algoritmicky obtížné, složitost O(n2 n ), kde n je počet vrcholů grafu. Ukázali jsme odhady horní a dolní meze barevnosti, možnost využití (skladovací problém, rozvrhování)

Rovinná nakreslení grafů Někdy je důležité, jak nakreslení grafu vypadá. Schéma elektrického obvodu můžeme chápat jako graf a při návrhu tištěného spoje jsou křížení nežádoucí (nutno přemostit). Otázka: Lze daný nakreslit graf tak, aby se jeho hrany nekřížily? Definice Rovinným nakreslení grafu G je takové nakreslení grafu, ve kterém jsou vrcholy znázorněny jako různé body v rovině a hrany jako křivky spojující tyto body, které odpovídají koncovým vrcholům. Přitom žádná hrana se nesmí křížit ani procházet jinými body, než které odpovídají jejím koncovým vrcholům. Řekneme, že graf je rovinný pokud máme jeho rovinné nakreslení. Ne každý graf má rovinné nakreslení!

Příklady Příkladem rovinných grafů jsou grafy mnohostěnů (čtyřstěn, krychle, osmistěn, dvanáctistěn, hranoly,... ) Platí, že grafy mnohostěnů jsou vždy rovinné a (alespoň) 3-souvislé. Naopak platí, že každý rovinný 3-souvislý jednoduchý graf je grafem nějakého mnohostěnu.

Příklad Mají grafy a) K 5, b) K 5 e rovinné nakreslení? Graf K 5 a jeho nakreslení s jediným křížením hran. Graf K 5 bez jedné hrany a dvě jeho rovinná nakreslení.

Definice Oblastmi (stěnami) rovinného nakreslení grafu nazýváme souvislé oblasti roviny ohraničené nakreslením grafu. Oblasti rovinného nakreslení grafů. Ukážeme si důležitý kvantitativní vztah pro rovinná nakreslení grafů: Eulerův vzorec.

Věta Eulerův vzorec Mějme jednoduchý souvislý rovinný graf s f oblastmi, v vrcholy a h hranami. Potom platí v + f h = 2. Důkaz Důkaz povedeme indukcí vzhledem k počtu hran. Základ indukce: Nejmenší souvislý graf pro pevně zvolený počet vrcholů v je strom. Je-li G strom, neobsahuje cyklus a má v nakreslení jedinou stěnu. Dále má strom h = v 1 hran a platí v + f h = v + 1 (v 1) = 2. Indukční krok: Předpokládejme, že tvrzení platí pro všechny grafy, které mají h 1 hran. Pokud G obsahuje cyklus C, tak vynecháním jedné hrany e cyklu C se počet hran sníží o 1. Zároveň se o 1 sníží počet stěn, protože hrana e cyklu C oddělovala dvě stěny (sousedily hranou e) a vynecháním hrany e tyto stěny splynou. Počet vrcholů se nezmění. Podle předpokladu platí v + (f 1) (h 1) = 2, proto platí také v + f h = 2.

Poznámka Eulerův vztah nezávisí na zvoleném nakreslení grafu, pouze na struktuře grafu. Eulerův vzorec je sice jednoduchý, ale má mnoho aplikací a důsledků. Důsledek Jednoduchý rovinný graf na v 3 vrcholech má nejvýše 3v 6 hran. Důkaz Můžeme předpokládat, že graf je souvislý, jinak bychom mohli přidat další hrany. V daném grafu G označíme počet stěn f a počet hran h. Jelikož graf neobsahuje smyčky ani násobné hrany, je každá stěna (v libovolném nakreslení grafu G) ohraničena alespoň 3 hranami. Každou hranu na hranici oblasti započítáme nejvýše dvakrát (ve dvou přilehlých stěnách). Platí tedy 2h 3f. Dosazením 2 3h f do Eulerova vztahu dostaneme 2 = v + f h v + 2 3 h h = v 1 3 h h 3(v 2) = 3v 6.

Nejsou-li v rovinném grafu G žádné oblasti ohraničené cyklem C 3, je počet hran grafu ještě menší. Důsledek Jednoduchý rovinný graf bez trojúhelníků na v 3 vrcholech má nejvýše 2v 4 hran. Důkaz Dokážeme obdobně. Tentokrát víme, že graf nemá ani trojúhelníky, a proto je každá stěna v libovolném nakreslení grafu ohraničena alespoň 4 hranami. Platí tedy 2h 4f. Dosazením 2 4h f do Eulerova vztahu dostaneme 2 = v + f h v + 2 4 h h = v 1 2 h h 2(v 2) = 2v 4.

Můžeme dokonce ohraničit nejnižší stupeň rovinného grafu! Důsledek Každý rovinný graf obsahuje vrchol stupně nejvýše 5. Každý rovinný graf bez trojúhelníků obsahuje vrchol stupně nejvýše 3. Důkaz Postupujeme sporem. Pokud by všechny vrcholy byly stupně alespoň 6, celý graf by měl aspoň 1 2 6v = 3v hran, což je ve sporu s předchozím důsledkem. Proto musí mít některý vrchol stupeň menší než 6. Podobně pokud by všechny vrcholy v grafu bez trojúhelníků byly stupně alespoň 4, celý graf by měl aspoň 1 2 4v = 2v hran, což je ve sporu s předchozím důsledkem. Proto musí mít některý vrchol stupeň menší než 4. Všimněte si, že rovinný graf sice může obsahovat vrcholy vysokých stupňů, avšak současně musí vždy obsahovat nějaký vrchol malého stupně.

Rozpoznání rovinných grafů Být rovinný, respektive nebýt rovinný je důležitou vlastností grafu, která má řadu aplikací. Mezi nejdůležitější patří například výroba tištěných spojů (obvody jsou grafy, půjde vyrobit tištěný spoj bez přidaných drátů?) přehledné nakreslení (aby se hrany nekřížily) Ukážeme, že dobrým vodítkem při určování rovinnosti grafu je Eulerův vzorec a jeho důsledky. Na rozdíl od hledání hamiltonovských cyklů nebo barevnosti grafu se jedná problém relativně rychle algoritmicky řešitelný. My se zaměříme pouze na případy malých grafů, protože zmíněné algoritmy přesahují rámec kurzu. Ukážeme si dva důležité grafy, které nejsou rovinné.

Příklad Grafy K 5 a K 3,3 nejsou rovinné. Grafy K 5 a K 3,3. Důkaz Využijeme předchozího důsledku pro rovinné grafy: h 3v 6. Všimněme si, že graf K 5 má 5 vrcholů a 10 hran. Ale podle uvedeného důsledku má rovinný graf nejvýše 3 5 6 = 9 hran, proto není K 5 rovinný. Podobně graf K 3,3 má 6 vrcholů a 9 hran. Navíc neobsahuje žádné trojúhelníky. Ale podle dalšího důsledku má rovinný graf bez trojúhelníků nejvýše 2v 4 = 2 6 4 = 8 hran, a proto ani graf K 3,3 není rovinný.

Důsledek Grafy K 5 a K 3,3 nejsou rovinné. Ukazuje se, že oba grafy K 5 a K 3,3 mají kĺıčové postavení. Jejich struktura neumožňuje rovinné nakreslení. Naproti tomu žádná další taková struktura neexistuje.

Zavedeme pojem rozdělení grafu, tj. grafu, který má stejnou strukturu, případně nějaké vrcholy stupně 2 navíc. Definice Rozdělením (subdivizí) grafu G rozumíme graf, který vznikne z G (případným) nahrazením některých hran cestami (přidáním nových vrcholů stupně 2). Vezmeme například hranu uv grafu G a nahradíme ji dvojicí hran uw a wv. Dostaneme nový graf G, který je rozdělením původního grafu G. G = (V (G) {w}, (E(G) \ {uv}) {uw, wv}) v v u G u w G Graf G s vyznačenou hranou uv a rozdělení G grafu G.

V roce 1930 dokázal K. Kuratowski následující jednoduché tvrzení. Věta Graf G je rovinný právě tehdy, když neobsahuje jako podgrafy rozdělení grafů K 5 nebo K 3,3. Rozdělení grafů K 5 a K 3,3. Dá se ukázat, že rovinné grafy je vždy možno pěkně nakreslit: Věta Každý rovinný graf lze nakreslit v rovině bez křížení hran tak, že hrany jsou úsečky.

Barvení map a rovinných grafů Jeden z nejznámějších problémů teorie grafů je problém (věta) čtyř barev. Jeho formulace je sice jednoduchá, ale řešení si vyžádalo více než 100 let. Problém čtyř barev Kolik nejméně barev je potřeba k obarvení politické mapy tak, aby sousední státy nebyly obarveny stejnou barvou? Dva státy považujeme za sousední, jestliže mají společný úsek hranice, nikoli pouze bod. Řešení si vyžádalo, kromě celé řady důkazů teoretických tvrzení, také vyšetření velkého množství případů na počítači.

Příklad Obarvení politické mapy snadno převedeme na barvení grafu. Každou oblast nahradíme vrcholem (hlavním/krajským městem). Dva vrcholy spojíme hranou, jestliže jsou odpovídající státy sousední.

Definice Duální (multi)graf rovinného nakreslení grafu G získáme, když každou oblast nahradíme vrcholem. Dva vrcholy nového grafu spojíme hranou, jestliže odpovídající dvojice oblastí sousedí hranou grafu G. Graf G s modře vyznačeným duálním multigrafem a překreslený duální graf. Dá se ukázat, že duální graf k rovinnému grafu je opět rovinný graf.

Při transformaci mapy na graf se jedná o vytvoření duálního grafu k mapě. V roce 1976 Appel a Haken, a později v roce 1993 znovu Robertson, Seymour, Sanders a Thomas, dokázali větu, která rozřešila problém čtyř barev. Jedná se o jeden z nejslavnějších výsledků diskrétní matematiky: Věta o čtyřech barvách Každý rovinný graf bez smyček lze obarvit čtyřmi barvami. Důkaz... by se sem určitě nevešel... Snadno si však ukážeme jednodušší tvrzení pro 6 barev.

Věta Každý rovinný graf lze obarvit nejvýše šesti barvami. Každý rovinný graf bez trojúhelníků lze obarvit nejvýše čtyřmi barvami. Důkaz Dokážeme pouze druhou část, první je dokázána ve skriptech. Postupujeme indukcí dle počtu vrcholů grafu G. Základ indukce: Graf s 1 vrcholem je jistě rovinný a na dobré barvení stačí jedna barva. Indukční krok: Mějme rovinný graf s alespoň dvěma vrcholy. Předpokládejme, že všechny menší rovinné grafy lze obarvit nejvýše 4 barvami. Podle předchozího důsledku najdeme v G vrchol v stupně nejvýše 3. Graf G v je opět rovinný bez smyček i trojúhelníků. Podle indukčního předpokladu lze tento menší graf obarvit 4 barvami. Z nich jen nejvýše 3 budou použity na obarvení sousedů vrcholu v a tak čtvrtou barvou můžeme vždy použít na obarvení vrcholu v. Všimněte si, že důkaz je konstruktivní umíme takové barvení najít.

Příště Kapitola Toky v sítích motivace definice sítě hledání největšího toku zobecnění sítí další aplikace