k-Färbung

Eine k-Färbung von G ist eine Abbildung
c:V(G)→{1,...,k},
die jedem Knoten von G eine von k möglichen Farben so zuordnet,
dass c(a)≠c(b) für alle Kanten {a,b}∈E(G)∖E(T) gilt.