Djamila Sam-Haroud und
Boi V. Faltings stellen ein
Verfahren vor, mit dem globale Konsistenz in ICSPs
hergestellt werden kann (vgl. Haroud und Faltings, 1994; Sam-Haroud, 1995). Der Lösungsraum wird dazu in einer
hierarchischen Zerlegung in Form von
-Bäumen (engl.
-trees) repräsentiert.
-Bäume sind eine Repräsentationsform, die
üblicherweise in der Bildverarbeitung Anwendung findet. Der
Lösungsraum wird dazu in drei Kategorien eingeteilt und farblich
markiert:
Die grauen Bereiche, die sowohl Lösungen als auch Elemente enthalten, die nicht Teil einer Lösungen sind, werden in neue Unterbereiche zerteilt und wiederum klassifiziert. Dies geschieht so lange, bis eine definierte Präzisionsgrenze erreicht wird, d.h. die zerteilten Bereiche eine bestimmte Größe erreicht haben. Der Lösungsraum wird bei diesem Vorgehen quasi durch eine Menge konsistenter Boxen ,,aufgefüllt``. Das Verfahren ist daher eher für die Berechnung von Lösungsräumen anstatt für punktgenaue Lösungen vorgesehen.5.109