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