Całkowite zabarwienie - Total coloring
W teorii wykres , barwiących ogółem jest typu wykres zabarwienia na wierzchołkach i krawędziach grafu. W przypadku użycia bez żadnych zastrzeżeń, całkowite zabarwienie jest zawsze uważane za właściwe w tym sensie, że żadne sąsiednie krawędzie, żadne sąsiednie wierzchołki i żadna krawędź ani żaden wierzchołek końcowy nie mają przypisanego tego samego koloru. Całkowita liczba chromatyczna χ "( G ) grafu G jest najmniejsza liczba kolorów potrzebnych w każdej całkowitej barwienia G .
Całkowity wykres T = T ( G ) grafu G jest wykresem takie, że (i) zestaw wierzchołek T odpowiada na wierzchołkach i krawędziach G i (ii) dwa wierzchołki są obok siebie w T tylko wtedy, gdy odpowiadające im elementy są albo sąsiadujące, albo incydentalne w G . Następnie całkowite wybarwienie G staje się (właściwą) wierzchołka zabarwienie z T ( G ). Całkowite kolorowanie to podział wierzchołków i krawędzi grafu na całkowicie niezależne zbiory .
Niektóre nierówności dla χ″( G ):
- χ”( G ) ≥ Δ( G ) + 1.
- χ”( G ) ≤ Δ( G ) + 1026 . (Molloy, Reed 1998)
- χ”( G ) ≤ Δ( G ) + 8 ln 8 (Δ( G )) dla wystarczająco dużego Δ( G ). (Hind, Molloy, Reed 1998)
- χ”( G ) ≤ ch′( G ) + 2.
Tutaj Δ( G ) jest maksymalnym stopniem ; oraz ch′( G ), możliwość wyboru krawędzi .
Całkowite zabarwienie powstaje w sposób naturalny, ponieważ jest po prostu mieszanką wybarwień wierzchołków i krawędzi. Następnym krokiem jest wyszukanie dowolnej górnej granicy wpisanej przez Brooks lub Vizing w całkowitej liczbie chromatycznej pod względem maksymalnego stopnia.
Całkowita wersja kolorystyczna górnej granicy maksymalnego stopnia jest trudnym problemem, który wymyka się matematykom od 50 lat. Trywialne dolne ograniczenie dla χ″( G ) to Δ( G ) + 1. Niektóre wykresy, takie jak cykle długości i pełne dwudzielne wykresy postaci, wymagają Δ( G ) + 2 kolory, ale nie znaleziono żadnego wykresu, który wymagałby więcej kolorów . Prowadzi to do spekulacji, że każdy wykres potrzebuje Δ( G ) + 1 lub Δ( G ) + 2 kolory, ale nigdy więcej:
- Całkowite przypuszczenie o kolorystyce ( Behzad , Vizing).
Najwyraźniej termin „całkowite zabarwienie” i stwierdzenie o całkowitym zabarwieniu zostały niezależnie wprowadzone przez Behzada i Vizinga przy wielu okazjach w latach 1964-1968 (patrz Jensen i Toft). Wiadomo, że hipoteza jest słuszna dla kilku ważnych klas grafów, takich jak wszystkie grafy dwudzielne i większość grafów planarnych, z wyjątkiem tych z maksymalnym stopniem 6. Przypadek planarny można zakończyć, jeśli hipoteza grafu planarnego Vizinga jest prawdziwa. Ponadto, jeśli hipoteza kolorowania listy jest prawdziwa, to
Uzyskano wyniki związane z całkowitym zabarwieniem. Na przykład Kilakos i Reed (1993) udowodnili, że ułamkowa liczba chromatyczna całego wykresu grafu G wynosi co najwyżej Δ( G ) + 2.
Bibliografia
- Tył, Hugo; Molloy, Michael; Reed, Bruce (1998). „Całkowite kolorowanie z Δ + poli(log Δ) kolorów”. SIAM Journal on Computing . 28 (3): 816-821. doi : 10.1137/S0097539795294578 .
- Jensen, Tommy R.; Toft, Bjarne (1995). Problemy z kolorowaniem wykresów . Nowy Jork: Wiley-Interscience. ISBN 0-471-02865-7 .
- Kilakos, Kyriakos; Reed, Bruce (1993). „Ułamkowe kolorowanie wykresów całkowitych”. Kombinatoryka . 13 (4): 435–440. doi : 10.1007/BF01303515 .
- Molloy, Michael; Reed, Bruce (1998). „Wiązanie na całkowitej liczbie chromatycznej”. Kombinatoryka . 18 (2): 241-280. doi : 10.1007/PL00009820 . hdl : 1807/9465 .