Программирование в ограничениях

Арх-согласованность

Свойство графа ограничений, при котором для любого значения переменной существует хотя бы одно совместимое значение в области определения соседней переменной. Это базовая техника фильтрации в программировании в ограничениях.

← Назад