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

7. S = 2, S 2 = 3, S 3 = 6 , S 4 = 1, D 1 = 4, D 2 = 6 , D 3 = 3, D 4 = 2, R = 2, R 2 = 3, R 3 = 1, R 4 = 3. 8 . S = 2, S 2 = 3, S 3 = 6 , S 4 = 1, D 1 = 4, D 2 = 6 , D 3 = 3, D 4 = 2, R 1 = 2, R 2 = 3, R 3 = 2, R 4 = 3. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 15). Таблица 15. Реализация ограничения cumulative в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения cumulative cumulative cumulative cumulative disjunctive(S, D) - ограничение задает условие, что задачи с временем начала S[i] и продолжительностью D[i] не будут пересекаться по времени [11]. Пример 16: Пусть S 6 {2, ..., 5}, S 2 6 {2, 3, 4}, S 3 6 {3, ..., 6}, S 4 6 {2, ..., 7}, D 1 6 {2, 3, 4}, D 2 6 {1, ..., 6}, D 3 6 {4}, D 4 6 {1, 2, 3}, тогда всеми решениями, удовлетворяющими ограничению disjunctive({S1, S2, S3, S4}, {D1, D2, D3, D4}) будут: 1. S 1 = 2, S 2 = 4, S 3 = 6, S 4 = 5, D 1 = 2, D 2 = 1, D 3 = 4, D 4 = 1. 2. S 1 = 3, S 2 = 2, S 3 = 6, S 4 = 5, D 1 = 2, D 2 = 1, D 3 = 4, D 4 = 1. 3. S 1 = 4, S 2 = 2, S 3 = 6, S 4 = 3, D 1 = 2, D 2 = 1, D 3 = 4, D 4 = 1. 4. S 1 = 4, S 2 = 3, S 3 = 6, S 4 = 2, D 1 = 2, D 2 = 1, D 3 = 4, D 4 = 1. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 16). Таблица 16. Реализация ограничения disjunctive в популярных библиотеках Constraint Programming Библиотека Choco GeCode JaCoP MiniZinc Имя ограничения cumulative unary cumulative cumulative knapsack(W, P, V, wr,pr) - ограничение задает условие, предметы с весами W[i], ценностью P[i] в количестве F[i] должны быть упакованы в рюкзак с ограничениями по весу не более wr и c максимизацией общей ценности pr [12]. Пример 17. Пусть V 6 {0, 1, 2}, V 2 6 {0, 1, 2}, V 3 6 {0, 1, 2}, W = {2, 3, 1}, P = {3, 5, 2}, wr < 8 тогда оптимальным решением, удовлетворяющим ограничению knapsack(W, P, {V^ V 2 , V 3 }, wr, pr) будут: V = 0, V 2 = 2, V 3 = 2, wr = 8, pr = 14. Это ограничение имеет реализацию в популярных системах(библиотеках) программирования в ограничениях (таблица 17). 80