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

Пример 2: Пусть V 6 {1, ..., 5}, V 2 6 {3, ..., 9}, V 3 6 {5, 6 }, V 4 6 {2, 3}, тогда всеми решениями, удовлетворяющими ограничению among(3, {Vi, V 2 , V 3 , V 4 }, {2, 4}) будут: 1. V = 2, V 2 = 4, V 3 = 5, V 4 = 2. 2. V = 2, V 2 = 4, V 3 = 6 , V 4 = 2. 3 . V = 4, V 2 = 4, V 3 = 5, V 4 = 2. 4 . V1 = 4, V 2 = 4, V 3 = 6 , V 4 = 2. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 2 ). Таблица 2. Реализация ограничения among в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения among count among among at_least(n, V, T) - минимум n переменных из множества переменных V должны принимать значения из множества значений T . Пример 3: Пусть V 6 {3, 4 ,5}, V 2 6 {1, 2}, V 3 6 {5, 6 }, V 4 6 {7, 8 , 9}, тогда всеми решениями, удовлетворяющими ограничению at_least(2, {V^V^V^Vy, 5) будут: 1. V = 5, V 2 = 1, V 3 = 5, V 4 = 7. 2. V = 5, V 2 = 1, V 3 = 5, V 4 = 8 . 3. V = 5, V 2 = 1, V 3 = 5, V 4 = 9. 4. V = 5, V 2 = 2, V 3 = 5, V 4 = 7. 5. V = 5, V 2 = 2, V 3 = 5, V 4 = 8 . 6 . = 5, V 2 = 2, V 3 = 5, V 4 = 9. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 3). Таблица 3. Реализация ограничения at_least в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения occurenceMin count/atleast count a tlea st at_most(n, V, T) - максимум n переменных из множества переменных V должны принимать значения из множества значений T. Пример 4: Пусть V 6 {1, 2}, V 2 6 {2, 3}, V 3 6 {5, 6 }, V 4 6 {2, 3}, тогда всеми решениями, удовлетворяющими ограничению at_most(1, {¥ 1 , V 2 , V 3 , V4}, 2 ) будут: 1. V = 1, V 2 = 2, V 3 = 5, V 4 = 3. 2. V = 1, V 2 = 2, V 3 = 6 , V 4 = 3. 3. V1 = 1, V 2 = 3, V 3 = 5, V 4 = 2. 4. Ух = 1, V 2 = 3, V 3 = 5, V 4 = 3. 73