Вопросы по теме 'minizinc'
Minizinc, как создать карту или структуру данных словаря
У меня простой вопрос по синтаксису Minizinc. Мой входной файл .dzn содержит набор из 2-х мерных массивов (примерно до 30 массивов), объявленных следующим образом:
rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, ....
rates_index_12 =...
323 просмотров
schedule
17.11.2021
Ограничение времени, установленное в командной строке, не ограничивает время выполнения
Я пытаюсь запустить модель MiniZinc с помощью решателя OSICBC через bash со следующими аргументами командной строки (с ограничением по времени 30000 мс или 30 с):
minizinc --solver osicbc model.mzn data.dzn --time-limit 30000 --output-time
Но...
314 просмотров
schedule
18.09.2021
Подбираем подходящий набор для набора
Мне нужна помощь в следующем случае. скажем, у меня есть следующий код:
enum x= {p,k,m};
enum y= {t1,t2,t3,t4};
array[y] of set of int:against=[{1,3,6},{3,3,6},{6,1,1},{6,3,6}];
array[x] of set of int:attack=[{3,3,6},{6,2,2},{3,1,3}];
array[x] of...
57 просмотров
schedule
15.01.2022
Понимание формата ввода ограничения Geost Minizincs
Я пытаюсь понять ограничение MiniZincs geost , которое описано в раздел ограничений упаковки в документации . Я пытаюсь реализовать 2D-упаковку прямоугольников с вращением : поэтому я хотел бы разместить прямоугольники на пластине заданной длины и...
295 просмотров
schedule
18.02.2022
Подсчитайте количество различных элементов в массиве
Я новичок в программировании с ограничениями и в Minizinc. Я искал решение этой несложной задачи, но ничего не нашел.
Я хочу подсчитать количество различных элементов, которые появляются в массиве: это объявление моего массива:
array[1..n,1..n]...
517 просмотров
schedule
24.03.2022
Как я могу рассчитать промежуточную сумму подмножества элементов массива для использования в нисходящем ограничении в MiniZinc?
У меня есть массив a типа int [0,0,0,0,0] длины l
Я хочу вычислить сумму всех элементов с нечетными индексами для использования в нисходящем ограничении, вот какой-то псевдо-код MiniZinc:
s = sum(i in 1..l | i mod 2 == 0) (a[i]);
решить...
192 просмотров
schedule
28.04.2022
MiniZinc не может определять границы
Написав свое первое нетривиальное приложение MiniZinc, я постоянно сталкиваюсь с ошибкой «не могу определить границы». Как вообще разрешить эту ошибку?
404 просмотров
schedule
02.05.2022
Ограничение Minizinc против рекурсивной функции
Я хочу использовать такую функцию:
function int: nextr(var int: n)
if n <= 1
2
elseif n <= 8
n + 5
elseif n <= 68
n + 13
elseif n <= 509
n + 34
elseif n <= 3611
n + 89
else n + 233
в ограничении эта переменная...
137 просмотров
schedule
01.06.2022
MiniZinc: закрепление пар ненулевых элементов в списке
У меня есть ситуация, когда я моделирую массив S , который содержит набор значений (расписание) из предопределенного домена 1..t , плюс 0 , который является специальным значением для "не существует / не используется".
Теперь я хочу опубликовать...
687 просмотров
schedule
12.07.2022
Программирование ограничений: заполнение сетки цветами в соответствии с правилами шаблонов
Я новичок в программировании с ограничениями (пришедший из С #), и я пытаюсь решить эту проблему. К сожалению, у меня нет названия для этой головоломки, поэтому я не знаю, что искать. Ближайшие примеры, которые я могу найти, - это головоломки...
475 просмотров
schedule
25.07.2022
Ограничения состава Minizinc
Моя задача - создать ростер со следующим типом смен:
• Утро (m): с 7:30 до 14:45 • Раннее утро (m1): с 6:45 до 14:00
• По вызову утром (im): с 06:30 до 14:45
• После полудня (t): с 14:45 до 22:00
• По вызову после обеда (ит): с 13:45 до...
165 просмотров
schedule
01.08.2022
Как улучшить производительность моей модели раскраски графиков в MiniZinc?
Я создал модель для решения задачи раскраски графа в MiniZinc:
include "globals.mzn";
int: n_nodes; % Number of nodes
int: n_edges; % Number of edges
int: domain_ub; % Number of colors
array[int]...
431 просмотров
schedule
31.08.2022
Какая польза от функции minizinc fix?
я вижу, что в документации fix говорится:
http://www.minizinc.org/doc-lib/doc-builtins-reflect.html#Ifunction-dd-T-cl-fix-po-var-opt-dd-T-cl-x-pc
function array [$U] of $T: fix(array [$U] of var opt $T: x)
Check if the value of every...
748 просмотров
schedule
05.09.2022
MiniZinc: показывать точки выбора, когда они неудовлетворительны
При запуске программ в MiniZinc флаг -s позволяет мне видеть количество точек выбора, изученных при поиске решения. Однако, если условия невыполнимы, количество исследованных точек выбора не отображается.
Как я могу показать точки выбора, даже...
172 просмотров
schedule
13.09.2022
MiniZinc 'ВНИМАНИЕ: обнаружено несоответствие модели'
Я уже довольно давно получаю ошибку несогласованности модели из-за этого ограничения и не могу понять, почему она появляется. Я понимаю, как возникает ошибка несоответствия модели, но не могу понять, почему это происходит здесь. Любая помощь горячо...
130 просмотров
schedule
23.09.2022
Вложенный выходной цикл Minizinc
Я пытаюсь написать оператор вывода с вложенными циклами и нетривиальным выводом на внешних уровнях. Если бы в Minizinc была команда верхнего уровня for , я бы сделал что-то вроде
for (f in Foo) (
output(["Foo: ", f])
for (b in Bar) (
for...
563 просмотров
schedule
03.10.2022
Большие массивы со значениями по умолчанию в файле данных Minizinc?
Как смоделировать большой массив, например. "массив [1..10000000] int: A;" который имеет множество 0 в качестве значения по умолчанию. Есть ли способ указать значение «по умолчанию» для MiniZinc, чтобы уменьшить размер файла данных?
204 просмотров
schedule
12.01.2023
minizinc: найти элемент в массиве
У меня есть два массива (тип: int) разной длины. Как мне найти ближайшее число в массиве b для каждого числа в массиве a (следующее не работает, хотя, вероятно, из-за синтаксической ошибки):
int: m;
int: n;
array [1..m] of int: a;
array [1..n] of...
910 просмотров
schedule
06.04.2023
Преобразование модели MiniZinc в шоколадный код
Моя модель minizinc работает нормально, но мне нужно преобразовать ее в код Java, поэтому я использовал choco для этого. Проблема, с которой я столкнулся прямо сейчас, заключается в том, что механизм, с которым работает minizinc, отличается от choco....
444 просмотров
schedule
20.03.2023
Необязательный параметр с отсутствующим значением в MiniZinc
Я пытаюсь смоделировать что-то похожее на проблему в магазине. Существует несколько заданий, которые можно выполнять разными способами, в которых используется различное количество задач для выполнения задания.
Я настроил эту структуру данных для...
88 просмотров
schedule
24.01.2023