Definice: Obarvení grafu pomocí barev je funkce , že . Definice: Barevnost grafu je nejmenší , že pro něj existuje obarvení grafu .
Pozorování: , protože každý jeden vrchol má svou barvu a pak každému sousedovi musí přiřadit unikátní barvu tedy .
Definice: Klikovost grafu je maximální takové že obsahuje jako podgraf.
Pozorování: Pro každý graf platí , protože minimálně na tu největší kliku musíme dát barev.
Hranová barevnost
Definice: Hranové obarvení grafu je pro taková, aby platilo
Definice: Hranová barevnost grafu je nejmenší takové , aby pro něj existovalo barevné obarvení.
Pozorováni: Každá barva odpovídá nezávislému párování hran. Obarvit graf barvami znamená rozdělit hrany do párování.
Nechť je označení nejvyššího ze stupňů grafu .
Věta: (Vizing) Pro každý graf platí, že . Intuice za důkazem: Dolní odhad je triviální. Zvolíme co největší podgraf na stejných vrcholech grafu , jenž jde obarvit pomocí barev . Přidáme hranu do takového a můžeme konstruktivně pozorovat, že každá hrana má barvu a každý vrchol je v obležení maximálně barev a tedy mu alespoň jedna zůstává, tomuto vrcholu tuto volnou přiřadíme, takovou barvu má tedy každý. Přidáme-li hranu do , abychom se přiblížili konstruktivně tak máme dvě možnosti:
- Dva nově propojené vrcholy mají nějakou volnou barvu shodnou a nové hraně ji přidáme a zase stačí barev.
- Nemají shodu ve volných barvách.
Tedy máme jenž jsme přidali a jen bod má volnou barvu a to a druhý má barvu . Teď najdeme co nejdelší posloupnost různých hran z , takovou že barva hrany je volná u vrcholu.
Nechť je volná u , může se stát:
-
je volná u vrcholu , pak hranu změníme za a proházíme barvy u předešlých vrcholů a po-přeházíme se až k uvolnění barvy u .
-
je použita na hraně incidentní s , navíc , to je spor s maximalitou posloupnosti.
-
použitá na hraně , jež je někde v posloupnosti.
Pak označme volnou barvu u (existuje, protože stupeň je nejvýše a máme barev). Nyní vytvoříme --řetězec z vrcholu podle barev hran incidentních s a okolních vrcholů.
To je posloupnost střídajících se hran obarvených barvami a .Pokud tento řetězec neobsahuje žádný vrchol z již popsané posloupnosti , pak v něm můžeme prohodit barvy .
Tím uvolníme barvu u a jsme zpět v případě 1. Pokud tento řetězec zasáhne některý z , zkrátíme původní posloupnost k tomuto místu a proces zopakujeme. Celý postup má konečný počet možných barevných přiřazení, a proto proces je vždy úspěšný.
Tedy každou nově přidanou hranu lze obarvit bez překročení barev.
-
Souvislost s párováními:
Každá barva tvoří párování hran.
Obarvení hran je tedy rozklad množiny hran na párování.
Brooksova věta
Věta: Nechť je souvislý jednoduchý graf, který není úplný graf a není lichý cyklus. Pak platí:
To znamená, že jen úplné grafy a liché cykly mohou vyžadovat barev.
Základní metody z důkazů
Kempeho řetězce
- Cesta nebo komponenta, kde se střídají dvě barvy (např. , ).
- Využívá se k přepínání barev bez porušení platnosti obarvení.
- Umožňuje „uvolnit“ určitou barvu pro obarvení jiného prvku.
Hladový algoritmus (greedy coloring)
- Procházíme vrcholy v daném pořadí a každému přiřadíme nejmenší možnou barvu.
- Zaručuje:
- Neposkytuje nutně optimální obarvení, ale často slouží jako výchozí metoda.
Perfektní grafy
Definice: značí velikost největší nezávislé množiny z a značí velikost největší kliky a znamená indukovaný podgraf grafu , pak perfektní graf je definován následovně:
Silná věta o perfektních grafech
Věta: Graf je perfektní právě tehdy, když každý jeho indukovaný podgraf splňuje:
undefined