DreiCol: Drei-Färbbarkeit (Garey/Johnson: GT4)
Instanz G :: Graph a ein Graph G
Beweis f :: FiniteMap a [1..3] f ist eine erlaubte 3-Färbung der Knoten von G
Die Färbung ist erlaubt, wenn keine Kante zwischen gleichfarbigen Knoten verläuft.