AC

Definition

Arc Consistency (AC) ist ein Konsistenzverfahren in der Constraint-Programmierung, das ungültige Werte aus den Wertebereichen von Variablen entfernt. AC stellt sicher, dass für jeden Wert einer Variablen mindestens ein kompatibler Wert in jeder mit ihr verbundenen Variablen existiert, und reduziert so den Suchraum bei der Lösung von Constraint-Satisfaction-Problemen.