Løkkefarvning

Cyklusfarvning kan ses som en forfining af almindelig graffarvning . Det cykliske kromatiske tal for en mærket graf kan defineres på følgende ækvivalente (for endelige grafer) måder.

  1. er lig med infimum over alle reelle tal, således at der er en afbildning fra til en cirkel med længde lig med 1, med to tilstødende hjørner afbildet til punkter i en afstand langs cirklen.
  2. er lig med infimum over rationelle tal, således at der er en afbildning fra til en cyklisk gruppe med den egenskab, at tilstødende hjørner er afbildet til elementer i en afstand fra hinanden.
  3. I en rettet graf definerer vi cyklusubalancen som værdien divideret med den mindste af antallet af kanter med uret og antallet af kanter mod uret. Vi definerer ubalancen i en rettet graf som den maksimale ubalance over alle cyklusser. Nu, er lig med minimum ubalance over alle orienteringer af grafen .

Det er relativt let at se det (ved at bruge definition 1 eller 2), men faktisk . I denne forstand siger vi, at det cykliske kromatiske tal forfiner det almindelige kromatiske tal.

Cyklusfarvning blev oprindeligt defineret af Vince [1] , som kaldte det "stjernefarvning".

Cyklusfarvning er dobbelt i forhold til emnet ingensteds nul flow , og desuden har cyklusfarvning et naturligt dobbeltbegreb om "cirkulerende flow".

Cykliske komplette grafer

Cirkulær komplet graf
Toppe n
ribben
Omkreds
Kromatisk tal ⌈n/k⌉
Ejendomme ( n − 2k + 1) - Regulær
vertex-transitiv
cirkulær
Hamiltonian

For heltal sådan , er en cyklisk komplet graf (også kendt som en cyklisk klike ) en graf med mange hjørner og kanter mellem elementer i en afstand fra hinanden. Det vil sige, at hjørnerne er tal, og toppunktet i støder op til:

.

For eksempel er kun en komplet graf K n , mens grafen er isomorf i forhold til cyklusgrafen .

I et sådant tilfælde er en cyklusfarvning ifølge den anden definition ovenfor en homomorfi til en cyklus komplet graf. Den kritiske omstændighed ved disse grafer er, at den indrømmer en homomorfi til hvis og kun hvis . Dette forklarer notationen, da hvis de rationelle tal og er ens, så er de homomorfisk ækvivalente. Desuden forfiner homomorfi-rækkefølgen rækkefølgen givet af komplette grafer til en tæt rækkefølge og svarer til de rationelle tal . For eksempel

Eller tilsvarende

Eksemplet på figuren kan tolkes som en homomorfi fra Blomstersnarken til , som kommer før , hvilket svarer til at .

Se også

Noter

  1. Vince, 1988 .

Litteratur