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.