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

Таблица 10. Реализация ограничения nvalue в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения n Values Nvalues - nvalue decreasing(V) - ограничение задает условие, что массив переменных V отсортирован по убыванию. Пример 10: Пусть V 6 {0, ..., 3}, V 2 6 {0, 1, 2}, V 3 6 {1, 2}, V 4 6 {1, 2}, тогда всеми решениями, удовлетворяющими ограничению decreasing({V 1 , V 2 , V 3 , V 4 }) будут: 1. V = 3, V 2 = 2, V 3 = 2, V 4 = 2. 2. V = 3, V 2 = 2, V 3 = 2, V 4 = 1. 3. V = 3, V 2 = 2, V 3 = 1, V 4 = 1. 4. V = 3, V 2 = 1, V 3 = 1, V 4 = 1. 5. V = 2, V 2 = 2, V 3 = 2, V 4 = 2. 6 . V = 2 , V 2 = 2 , V 3 = 2 , V 4 = 1 . 7. V = 2, V 2 = 2, V3 = 1, V 4 = 1. 8 . V = 2 , V 2 = 1 , V 3 = 1 , V4 = 1 . 9. V = 1, V 2 = 1, V 3 = 1, V 4 = 1. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 1 1 ). Таблица 11. Реализация ограничения decreasing в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения - Rel - decreasing increasing(V) - ограничение задает условие, что массив переменных V отсортирован по возрастанию. Пример 11: Пусть V 6 {1, 2, 3}, V 2 6 {0, 1, 2}, V 3 6 {1, 2}, V 4 6 {1, 2}, тогда всеми решениями, удовлетворяющими ограничению increasing({V 1 , V 2 , V 3 , V 4 }) будут: 1 . V = 1 , V 2 = 1 , V 3 = 1 , V 4 = 1 . 2. V = 1, V 2 = 1, V 3 = 1, V 4 = 2. 3. V = 1, V 2 = 1, V 3 = 2, V 4 = 2. 4. V1 = 1, V 2 = 2, V 3 = 2, V 4 = 2. 5. V = 2, V 2 = 2, V 3 = 2, V 4 = 2. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 12). 77