Id: expo.tex,v 1.1 2006-10-09 13:24:19 waldmann Exp
Viele Aufgaben lassen sich als Such-Probleme formulieren.
Beispiel 1 (COL): gegeben sind ein Netzplan (ein Graph, bestehend aus Knoten und Kanten) sowie eine Zahl c von Farben. gesucht ist eine Färbung der Knoten, so daß keine Kante zwischen gleichfarbigen Knoten verläuft.