Barvení smyčky

Cyklické zbarvení lze chápat jako zdokonalení běžného vybarvování grafů . Cyklické chromatické číslo označeného grafu lze definovat následujícími ekvivalentními (pro konečné grafy) způsoby.

  1. se rovná infimu přes všechna reálná čísla tak, že existuje zobrazení od do kruhu o délce rovné 1, se dvěma sousedními vrcholy mapovanými na body ve vzdálenosti podél kruhu.
  2. se rovná infimu nad racionálními čísly tak, že existuje zobrazení od do cyklické skupiny s vlastností, že sousední vrcholy jsou zobrazeny na prvky ve vzájemné vzdálenosti.
  3. V orientovaném grafu definujeme nevyváženost cyklu jako hodnotu dělenou menším počtem hran ve směru hodinových ručiček a počtem hran proti směru hodinových ručiček. Nevyváženost orientovaného grafu definujeme jako maximální nerovnováhu ve všech cyklech. Nyní se rovná minimální nevyváženosti přes všechny orientace grafu .

Je poměrně snadné vidět, že (s použitím definice 1 nebo 2), ale ve skutečnosti . V tomto smyslu říkáme, že cyklické chromatické číslo zjemňuje běžné chromatické číslo.

Cyklické zbarvení bylo původně definováno Vincem [1] , který to nazval „star coloring“.

Cyklické barvení je duální vzhledem k tématu nikde nulový tok a navíc cyklické barvení má přirozený duální koncept "cirkulujícího toku".

Cyklické kompletní grafy

Kruhový kompletní graf
Vrcholy n
žebra
obvod
Chromatické číslo ⌈n/k⌉
Vlastnosti ( n − 2k + 1) - Regulární
vertex-tranzitivní
kruhový
Hamiltonián

Pro celá čísla taková, že , cyklický úplný graf (také známý jako cyklická klika ) je graf s mnoha vrcholy a hranami mezi prvky ve vzájemné vzdálenosti. To znamená, že vrcholy jsou čísla a vrchol i sousedí s:

.

Například je to jen úplný graf Kn , zatímco graf je izomorfní s grafem cyklu .

V takovém případě je zbarvení cyklu podle druhé definice výše homomorfismem do grafu úplného cyklu. Kritická okolnost o těchto grafech je, že připouští homomorfismus tehdy a pouze tehdy, když . To vysvětluje zápis, protože pokud jsou racionální čísla a rovna, pak jsou homomorfně ekvivalentní. Pořadí homomorfismu navíc zpřesňuje pořadí dané úplnými grafy do hustého řádu a odpovídá racionálním číslům . Například

Nebo ekvivalentně

Příklad na obrázku lze interpretovat jako homomorfismus od květinového snark k , který přichází dříve , což odpovídá skutečnosti, že .

Viz také

Poznámky

  1. Vince, 1988 .

Literatura