Описание тега minizinc
MiniZinc is a solver-independent Constraint-Programming modelling language.
1
ответ
Как установить минизинк решатель
В MiniZinc (Windows IDE) Как я могу решить: flatzinc: error: переменные типа `var float'не поддерживаются бэкэндом решателя FD. Я понимаю, что мне нужен другой решатель, но я не смог найти процедуру установки, и dlg Preferences, кажется, не работает…
31 янв '15 в 15:36
1
ответ
Эффективный предикат для палиндрома в миницинке
Чтобы помочь мне изучить Minizinc, я пытаюсь решить легкую проблему. Мой код находит ответ, но я удивлен, что для такой простой задачи требуется около 10 секунд. Проблема в том, "Какое наименьшее палиндромное целое число> 10, так что сумма его цифр>…
21 авг '15 в 17:28
2
ответа
MiniZinc, Gecode удалить разделители раствора
У меня есть модель minizinc, для которой я хочу найти все решения (я использую gecode), а затем распечатать статистику, это легко: mzn-gecode -as foo.mzn но эта модель будет генерировать тысячи решений, и для каждого решения будет напечатан разделит…
08 окт '12 в 11:08
1
ответ
Миницинк, считающий вхождения в массив пар
Я новичок в программировании с ограничениями и в игре с некоторыми основными операциями. Я хочу посчитать количество появлений произвольного элемента x в массиве пар. Например, следующий массив имеет 2 восьмерки и 1 из каждого другого элемента. samp…
26 апр '16 в 14:16
1
ответ
Что обозначают $T, [$T], $U в уроке minizinc
Может ли кто-нибудь помочь мне понять пару вещей из учебника по мини-цинку: function set of $T: 'intersect'(set of $T: x, set of $T: y) Это возвращает пересечение множеств х и у. Очевидно, x и y являются множествами - но что означает $T в этом конте…
15 авг '16 в 18:51
1
ответ
Оптимизация с программированием ограничений
Я хочу выразить и решить приведенные ниже уравнения на языке программирования ограничений. У меня есть переменные t и я пытаюсь найти лучшие множители k, которые минимизируют мою целевую функцию. Время: t1, t2, t3... задано на входе Multipler k1, k2…
22 май '15 в 06:48
1
ответ
`alldifferent` метод в MiniZinc
Ниже приведено ограничение, которое я пытался реализовать в MiniZinc. constraint forall (t in trucks) (all_different(c in customers where sequence[t,c] !=0) (sequence[t,c])); то есть я хочу, чтобы каждый элемент строки был разным для sequence матриц…
03 май '17 в 06:03
1
ответ
Карта верхней треугольной матрицы по вектору пропускается по диагонали
У меня есть проблема, которая может быть сведена к поиску способа сопоставления треугольной матрицы с вектором, пропускающим диагональ. В основном мне нужно перевести этот код C++ с использованием библиотек Gecode // implied constraints for (int k=0…
16 окт '14 в 10:40
1
ответ
Ошибка типа MiniZinc при попытке напечатать результат
Я делаю набросок планирования банковских чеков в драйвере r600g (это неэффективный банкомат, я выясняю ограничения): enum CHANS = {x,y,z,w}; enum REGS = {R1, R2, R3, R4}; % for starters % args enum OPERANDS = {src1, src2, src3, src4}; array[OPERANDS…
05 июл '17 в 16:48
2
ответа
MiniZinc CSP в JSON - итерация в массивах обходной путь JavaScript
Я использую модуль node.js "Управление инструментами CSP" для решения проблемы CSP. Следуя инструкциям о том, как мне определить массив из схемы модели CSP ( https://www.npmjs.com/package/governify-csp-tools), я пробовал несколько представлений в JS…
22 окт '18 в 15:18
1
ответ
MiniZinc: как суммировать подмассивы равной длины?
Проблема, с которой я столкнулся, заключается в том, как добавить переменные из a[0..9] в b[10..19]. Мой код: array[0..19] of int: a=array1d(0..19,[0,1,2,3,4,5,6,7,8,9,9,8,7,6,5,4,3,2,1,0]); array[0..19] of int: b=array1d(0..19,[9,8,7,6,5,4,3,2,1,0,…
15 ноя '17 в 05:42
1
ответ
Как исправить ошибку компиляции ранца MiniZinc?
Что я могу сделать для исправления ошибок в следующей программе item= record( int: id, profit, weight); set of item: All_Items ; int :Max_Capacity; var set of item: Selected_Items; У меня есть следующий код для решения ранца в MiniZinc, но в нем мно…
18 ноя '18 в 08:16
1
ответ
Минимизация ограничений с большими строковыми данными
Я работаю над проектом планирования Highschool с Minizinc. У меня есть список учителей, классов, комнат, времени и событий всех типов строки и список продолжительности типа целого числа. Я обнаружил в stackru, что мне нужно представлять эти данные ч…
29 ноя '15 в 16:49
1
ответ
Миницинк "не может определить нижнюю границу" для float
У меня есть модель Minizinc, где у меня есть матрица расстояний: array[1..n, 1..n] of var float: dist; Который выведет ошибку Error: Gecode: Float::linear: Number out of limits, Если я попытаюсь свести к минимуму матрицу, например, с solve minimize …
04 дек '18 в 07:04
1
ответ
Задача оптимизации модели планирования одиночных занятий
Я написал Minizinc-модель, которая позволяет учителю планировать отдельные занятия своих учеников. Учитель и ученики могут расставить приоритеты для своих доступных временных интервалов (prioTeacherсоответственно prio). Модель отлично работает для п…
17 дек '18 в 16:34
1
ответ
MiniZinc не находит решение проблемы планирования
У меня проблема с поиском решения с помощью MiniZinc. Задача: Необходимо составить график смен для сотрудников. В один день есть три смены: дневная (D), вечерняя (E) и ночная (N). Необходимо составить оптимальный график, по возможности избегая нежел…
18 фев '19 в 08:11
1
ответ
Переменная с условием в миницинке
Я конвертирую модель по целям в миницинк. В прицелах у меня есть переменная, определенная как X с index domain (k,i)где i,s,t - индекс установленного часа Определение X с индексами i,s,t: sum((s,t) | (s <= i) and (t >= i), Pick(s,k,t) + OverPi…
21 фев '19 в 14:26
4
ответа
Индекс строкового значения в массиве MiniZinc
Вопрос Имеется массив строк MiniZinc: int: numStats; set of int: Stats = 1..numStats; array[Stats] of string: statNames; ... с данными, загруженными из файла данных MiniZinc: numStats = 3; statNames = ["HEALTH", "ARMOR", "MANA"]; Как можно найти инд…
02 мар '16 в 21:40
0
ответов
Как использовать Minizinc с узлом JS?
Я пытаюсь запустить решатель minizinc из узла js. Я нашел библиотеку minizinc-solver, но я не знаю, как создать строку моей проблемы, у вас есть примеры? Это моя программа: var minizincSolver = require("minizinc-solver") var problem = String('includ…
09 фев '19 в 15:32
1
ответ
Как получить точное представление рациональных чисел с бесконечной точностью через нестандартное расширение FlatZinc?
По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели MiniZinc и сохраняет его как постоянное значение с плавающей запятой в результирующей модели FlatZinc. Пример: Файл test.mzn var float: x; constraint 1.0 / 1…
19 дек '18 в 16:00