Det kromatiske antal af grafen G er det mindste antal farver, hvor det er muligt at farve [1] hjørnerne af grafen G, så enderne af enhver kant har forskellige farver. Normalt betegnet χ( G ).
Det kromatiske antal af en graf er det mindste antal , således at sættet af grafens hjørnepunkter kan opdeles i usammenhængende klasser :
sådan at hjørnerne i hver klasse er uafhængige , det vil sige, at ingen grafkant forbinder hjørner af samme klasse.
Den kromatiske klasse af en graf G er det mindste antal farver, hvor kanterne af grafen G kan farves, så tilstødende kanter har forskellige farver. Betegnes χ'( G ). Problemet med kantfarvning af en vilkårlig plan kubisk graf uden broer med tre farver svarer til det berømte firefarveproblem . Kantfarvningen definerer en 1-faktorisering af en graf.
Hvis vi betragter antallet af forskellige farvninger af en mærket graf som en funktion af det tilgængelige antal farver t , så viser det sig, at denne funktion altid vil være et polynomium i t . Dette faktum blev opdaget af Birkhoff og Lewis [2] mens de forsøgte at bevise firefarveproblemet .
Trekant | |
Komplet graf | |
træ med toppunkter | |
Cyklus | |
Greve af Petersen |
For en toppunktsgraf er det kromatiske polynomium
Det kromatiske polynomium i en graf er lig med produktet af de kromatiske polynomier af dens komponenter
Der er også en rekursiv relation - Zykovs sætning [3] , den såkaldte fjernelses- og kontraktionsformel
hvor og er tilstødende hjørner, er en graf opnået fra en graf ved at fjerne en kant , og er en graf opnået fra en graf ved at trække en kant sammen til et punkt.
Du kan bruge den tilsvarende formel
hvor og er ikke-tilstødende hjørner, og er grafen opnået fra grafen ved at tilføje en kant
For alle positive heltal
Det kromatiske tal er det mindste positive heltal , for hvilket
Graden af et kromatisk polynomium er lig med antallet af hjørner:
Det kromatiske tal kan også tages i betragtning for andre objekter, såsom metriske mellemrum . Således er det kromatiske antal af en plan det mindste antal farver χ, for hvilke der er en sådan farvning af alle punkter på planet i en af farverne, at ikke to punkter af samme farve er i en afstand på nøjagtig 1 fra hver Andet. Det samme gælder for enhver rumdimension. Det er elementært bevist, at for flyet var det dog ikke muligt at bevæge sig længere i lang tid. Den 8. april 2018 beviste den britiske matematiker Aubrey de Gray , at [4] [5] . Dette problem kaldes Nelson-Erdős-Hadwiger-problemet .
Mange dybe problemer i grafteori er let formuleret med hensyn til farvelægning. Det mest berømte af disse problemer, firefarveproblemet , er nu blevet løst, men nye dukker op, såsom en generalisering af firefarveproblemet, Hadwiger-formodningen .