Es sei ( V , E ) {\displaystyle {}(V,E)} ein Graph. Eine Färbung
heißt zulässig, wenn benachbarte Knotenpunkte stets eine verschiedene Farbe bekommen.