Здесь новый пользователь MiniZinc ... У меня проблема с пониманием синтаксиса ограничения подсчета: predicate exactly(int: n, array[int] of var int: x, int: v) «Требуется ровно n переменных в x, чтобы принять значение v». Я хочу убедиться,...

Я возился с minizinc, и я хочу иметь статический файл mzn, в котором я делаю решение, используя только dzn. Для лучшего понимания вопроса, вот образец: include "globals.mzn"; include "data.dzn"; int: time; int: n; int: l=n*n;...

Я работаю над проектом, в котором мне нужно решить тысячи маленьких и больших «простых» примеров задач, подобных ранцу. Все мои экземпляры имеют одинаковую структуру, одинаковые ограничения, но различаются количеством элементов (т.е. переменных)....

Я хотел бы разделить инициализацию большого входного массива на более мелкие фрагменты (просто для удобства чтения). Я пробовал это: array[1..3,1..2] of int: arr; % This works: % arr = array2d(1..3,1..2, [0,0,2,2,3,3]); % But this not: arr[1] =...

Я прохожу курс на coursera, который использует minizinc. В одном из заданий я вечно крутил колеса, потому что моя модель не работала достаточно хорошо на скрытом тестовом примере. Я наконец решил это, изменив следующие типы доступа в моей модели...

Представьте, что у меня есть файл .mzn с именем abc.mzn, и он выглядит следующим образом. array[1..3] of int:a; output[show(a)]; Теперь у меня есть файл .dzn с именем cde.dzn, и он выглядит следующим образом. a=[1,2,3]; Я запущу...

Задача коммивояжера (TSP) формулируется следующим образом: Пусть задан ориентированный граф G = (V, E), где V = {1,...,n} — множество вершин, E ‹= V x V — множество дуг. Пусть также каждой дуге e = (i,j) присвоено число c[i,j], равное длине дуги...