Constraint Propagation

Der Begriff Constraint Propagation bedeutet wörtlich übersetzt "Bedingungsfortpflanzung". Als mathematischer Ansatz ist damit die Vervielfältigung von mathematischen Bedingungen eines gegebenen Problems gemeint. Das Ergänzen zusätzlicher Bedingungen ermöglicht eine Verkleinerung der Definitionsbereiche der Variablen, ohne dass dadurch zulässige Lösungen ausgeschlossen werden. Das Ziel von Constraint Propagation ist also die Konstruktion eines äquivalenten Problems, welches leichter lösbar ist als das Ursprungsproblem. Die Kombination dieser Idee mit klassischen Lösungsansätzen liefert ein effizientes Werkzeug zur Lösung mathematisch formulierter Probleme.