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:

  1. Dva nově propojené vrcholy mají nějakou volnou barvu shodnou a nové hraně ji přidáme a zase stačí barev.
  2. 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:
    1. 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 .

    2. je použita na hraně incidentní s , navíc , to je spor s maximalitou posloupnosti.

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