Chromatické číslo grafu G je minimální počet barev, ve kterém je možné obarvit [1] vrcholy grafu G tak, aby konce libovolné hrany měly různé barvy. Obvykle se označuje χ( G ).
Barevné číslo grafu je minimální počet , takže množinu vrcholů grafu lze rozdělit do disjunktních tříd :
takové, že vrcholy v každé třídě jsou nezávislé , to znamená, že žádná hrana grafu nespojuje vrcholy stejné třídy.
Chromatická třída grafu G je minimální počet barev, ve kterých lze obarvit okraje grafu G tak, aby sousední hrany měly různé barvy. Označeno χ'( G ). Problém obarvení hran libovolného rovinného kubického grafu bez mostů třemi barvami je ekvivalentní slavnému problému čtyř barev . Barvení hran definuje 1-faktorizaci grafu.
Pokud uvážíme počet různých zabarvení označeného grafu jako funkci dostupného počtu barev t , pak se ukáže, že tato funkce bude vždy polynom v t . Tento fakt objevili Birkhoff a Lewis [2] při pokusu dokázat problém čtyř barev .
Trojúhelník | |
Kompletní graf | |
strom s vrcholy | |
Cyklus | |
hrabě z Petersenu |
Pro vrcholový graf je chromatický polynom
chromatický polynom grafu je roven součinu chromatických polynomů jeho složek
Existuje také rekurzivní vztah - Zykovova věta [3] , tzv. odstraňovací a kontrakční vzorec
kde a jsou sousední vrcholy, je graf získaný z grafu odstraněním hrany a je graf získaný z grafu stažením hrany do bodu.
Můžete použít ekvivalentní vzorec
kde a jsou nesousedící vrcholy a je graf získaný z grafu přidáním hrany
Pro všechna kladná celá čísla
Chromatické číslo je nejmenší kladné celé číslo , pro které
Stupeň chromatického polynomu se rovná počtu vrcholů:
Také chromatické číslo lze vzít v úvahu pro jiné objekty, jako jsou metrické prostory . Chromatické číslo roviny je tedy minimální počet barev χ, pro které existuje takové zabarvení všech bodů roviny jednou z barev, že žádné dva body stejné barvy nejsou ve vzdálenosti přesně 1 od každého. jiný. Totéž platí pro jakoukoli vesmírnou dimenzi. Je elementárně dokázáno, že pro letadlo se ale dlouho nedalo posunout dál. 8. dubna 2018 britský matematik Aubrey de Gray dokázal, že [4] [5] . Tento problém se nazývá Nelson-Erdős-Hadwigerův problém .
Mnoho hlubokých problémů v teorii grafů lze snadno formulovat z hlediska vybarvování. Nejznámější z těchto problémů, problém čtyř barev , byl nyní vyřešen, ale objevují se nové, jako je zobecnění problému čtyř barev, Hadwigerův dohad .