Труды КНЦ вып. 11 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ) вып. 8/2020 (11)

Рис. 1. Архитектура системы программирования в ограничениях 1. Концепция глобальных ограничений Строгого определения понятия глобального ограничения не существует. Далее на примерах приводится описание концепции глобальных ограничений. Пусть даны переменные X £ {0, ..., 8}, Y Е {1, ..., 6} и Z Е {2, 3} и ограничения над ними: С 1 :X < Y; C 2 : Y < Z. Алгоритм фильтрации ограничения С 1 сократит домен переменной X до {0, . , 5}, поскольку любые другие значения из домена не будут удовлетворять ограничению С 1 . Точно так же алгоритм фильтрации ограничения С 2 сократит домен переменной Y до {1, 2}. Далее в дело вступает алгоритм распространения, передающий в ограничение С 1 информацию об изменении домена переменной Y , в результате чего вновь запускается алгоритм фильтрации этого ограничения, сокращающий домен переменной X до {0, 1}. Таким образом, домены переменных сократились до X Е {0, 1}, Y Е {1, 2} и Z Е {2, 3}, и дальше их 70