MAC
Maintaining Arc Consistency
Definition
MAC steht für Maintaining Arc Consistency und ist ein Algorithmus in der Constraint-Programmierung zur Aufrechterhaltung der Kantenkonsistenz in Constraint-Netzwerken. Er propagiert Einschränkungen zwischen Variablen und entfernt inkonsistente Werte aus den Domänen. MAC ist einer der effizientesten Algorithmen zur Lösung von Constraint-Satisfaction-Problemen und wird häufig mit Backtracking-Suche kombiniert.