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

Таблица 12. Реализация ограничения increasing в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения sort rel - increasing sort ( V , S ) - ограничение задает условие, что значения переменных из массива V совпадают со значениями переменных массива S, но при этом массив S отсортирован по возрастанию [9]. Пример 12: Пусть V 6 {2, 3}, V 6 {2, 3}, V 3 6 {1, 2}, V 4 6 {4, 5}, V 5 6 {2, 3, 4}, S 1 6 {2, 3}, S 2 6 {2, 3}, S 3 6 {1, 2, 3}, S 4 6 {4, 5}, S 5 6 {2, ..., 5}, тогда всеми решениями, удовлетворяющими ограничению sort({ Vh V 2 , V 3 , V 4 , V 5 }, {Sb S 2 , S 3 , S 4 , S 5 }) будут: 1. V = 2, V 2 = 2, V 3 = 2, V 4 = 4, V 5 = 4, S = 2, S 2 = 2, S 3 = 2, S 4 = 4, S 5 = 4. 2. V = 2, V2 = 2, V3 = 2, V4 = 5, V 5 = 4, S = 2, S 2 = 2, S 3 = 2, S 4 = 4, S 5 = 5. 3. V1 = 2, V2 = 3, V3 = 2, V 4 = 4, V 5 = 4, S = 2, S 2 = 2, S 3 = 3, S 4 = 4, S 5 = 4. 4. V1 = 2, V2 = 3, V3 = 2, V4 = 5, V 5 = 4, S = 2, S 2 = 2, S 3 = 3, S 4 = 4, S 5 = 5. 5. V1 = 3, V2 = 2, V3 = 2, V4= 4, V 5 = 4, S = 2, S 2 = 2, S 3 = 3, S 4 = 4, S 5 = 4. 6. V1 = 3, V2 = 2, V3 = 2, V 4 = 5, V 5 = 4, S = 2, S 2 = 2, S 3 = 3, S 4 = 4, S 5 = 5. 7. V = 3, V2 = 3, V3 = 2, V4 = 4, V 5 = 4, S = 2, S 2 = 3, S 3 = 3, S 4 = 4, S 5 = 4. 8. V1 = 3, V2 = 3, V3 = 2, V4 = 5, V 5 = 4, S = 2, S 2 = 3, S 3 = 3, S 4 = 4, S 5 = 5. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 13). Таблица 13. Реализация ограничения sort в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения sort sorted - sort bin_packing(c, V, W) - ограничение задает условие, каждый предмет i с весом W[i] должен быть помещен в корзину V[i], при этом вес каждой корзины не должен превышать с [10]. Пример 13: Пусть V 6 {1, 2}, V 2 6 {1, 2}, V 3 6 {1, 2}, W = {4, 3, 1}, с = 5 тогда всеми решениями, удовлетворяющими ограничению bin_packing(c, {V1, V2, V 3 , V 4 }, W) будут: 1. V1 = 1, V 2 = 2, V 3 = 1. 2. V 1 = 1, V 2 = 2, V 3 = 2. 3. V 1= 2, V 2= 1, V 3= 1. 4. V 1= 2, V 2= 1, V 3= 2. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 13). 78