Вопросы по теме 'minizinc'
Параллельное решение в Minizinc из командной строки
В Minizinc IDE есть параметр параллельного решателя («Количество потоков») в разделе конфигурации. Однако при компиляции из командной строки двоичный файл mzn2fzn , похоже, не поддерживает параметр parallel. Можно ли решить параллельно из файла,...
635 просмотров
schedule
25.06.2023
Вызов gecode из Java с использованием модели MiniZinc
Я хотел бы решить модель с динамическими аргументами во время выполнения на Java. Моя проблема написана в MiniZinc. С терминала я могу решить модель, вызвав следующие команды:
mzn2fzn model.mzn model_data.dzn (this produces model.fzn file)...
313 просмотров
schedule
04.05.2023
Условный вывод minizinc
Я возился с minizinc и пытаюсь добиться условного вывода, при котором, если элемент массива имеет значение «истина», программа выводит информацию об индексах массива этих элементов. Вот что у меня есть:
include "globals.mzn";
int: time=5;
int:...
460 просмотров
schedule
05.02.2022
Приращение элементов массива переменных в Minizinc
Я хотел бы выполнить простую операцию приращения для определенных элементов массива:
Пример минимального неработающего :
array[1..2] of var 0..1: a = [0, 0];
constraint forall (i in 1..2) (
a[i] = a[i] + 1
);
output ["\(a)"];
solve...
942 просмотров
schedule
03.02.2024
Переменная решения MiniZinc, несмежный диапазон
как лучше всего определить диапазон переменной решения массива, если это не непрерывная последовательность целых чисел, кроме записи слишком большого количества ограничений?
Пример: enum PRODUCTS = {product_1, product_2, product_3, product_4};...
71 просмотров
schedule
21.07.2023
Как получить точное представление рациональных чисел с бесконечной точностью с помощью нестандартного расширения FlatZinc?
По умолчанию mzn2fzn автоматически вычисляет результат деления с плавающей запятой в модели MiniZinc и сохраняет его как постоянное значение float в результирующем FlatZinc . модель.
Пример:
Файл test.mzn
var float: x;
constraint...
79 просмотров
schedule
19.02.2024
MiniZinc Geocode не распечатывает все решения в CSP со всеми включенными решениями
The Issue
С solve minimize я получаю только одно решение, хотя есть несколько оптимальных решений. Я включил распечатку нескольких решений в конфигурациях решателя. Другие оптимальные решения находятся с solve satisfy вместе с неоптимальными...
237 просмотров
schedule
29.08.2022
Возникли проблемы с использованием функции переменной, установленной дважды в операторе вывода в minizinc
Следующая программа работает без проблем.
array[1..2] of var set of 5..8: ar = [{5, 6}, {6, 7}];
function string: format_set_1( var set of int: s ) = "\(fix(s))\t";
function string: format_set_2( var set of int: s ) = "\(fix(s))\t";
output...
41 просмотров
schedule
05.02.2022
Считаются ли полуовеществленные предикаты частью стандарта?
В документации FlatZinc сказано, что только нестандартные предикаты должны быть объявлены в верхней части модели FlatZinc:
Предикаты, используемые в модели, не являющиеся стандартными для FlatZinc, должны быть объявлены в верхней части модели...
39 просмотров
schedule
03.04.2024
Нелинейная оптимизация Minizinc и Cplex
У меня есть простой нелинейный код, встроенный в minizinc, как показано ниже.
array[1..3] of var 1..10:x;
array[1..3] of var 10.0..20.0:y;
var float:z;
constraint sum(i in 1..3)(x[i]*y[i])=z;
solve minimize z;
Если я использую решатель Cplex...
158 просмотров
schedule
08.05.2023
Как использовать Picat для создания файлов CNF из файлов Minizinc?
Меня интересует подсчет количества решений проблемы (не перечисление решений). Для этого у меня есть инструменты, использующие файлы CNF . Я хочу преобразовать файлы Minizinc (формат mzn или Flatzinc fzn) и преобразовать их в CNF.
Я узнал, что...
178 просмотров
schedule
04.04.2023
Ограничение выбора определенных элементов в MiniZinc
Я пытаюсь создать модель для работы с проблемой, связанной с проблемой Set Packing .
В этом случае у меня есть параметр nRecipes , который представляет количество рецептов, и другой параметр, называемый nIngred , который представляет количество...
169 просмотров
schedule
11.07.2022
Задача ортогонального латинского квадрата с Minizinc
Я пытаюсь решить проблему CSP для ортогонального латинского квадрата с помощью minizinc . Это мой код:
array[1..n,1..n] of var 1..n: mat1;
array[1..n,1..n] of var 1..n: mat2;
constraint forall(i in 1..n)(alldifferent([mat1[i,j] | j in 1..n]));...
49 просмотров
schedule
16.08.2022
Функция MiniZinc global_cardinality с перечислениями
Согласно документам
Ключевым поведением перечислимых типов является то, что они автоматически приводятся к целым числам, когда они используются в позиции, ожидающей целое число. Например, это позволяет нам использовать глобальные ограничения,...
120 просмотров
schedule
28.03.2023
Нахождение всех комбинаций - N прямоугольников внутри квадрата
Я новичок в программировании ограничений с помощью Minizinc, и мне нужна помощь экспертов в этой области.
Как я могу вычислить все возможные комбинации: 6 прямоугольников внутри квадрата (10x10) с помощью Minizinc?
Учитывая, что ОГРАНИЧЕНИЯМИ...
191 просмотров
schedule
18.02.2024
Ограничение MiniZinc: набор переменных = набор связанных доменов
Я новичок в MiniZinc и пытаюсь смоделировать то, что, по моему мнению, должно быть простым ограничением, однако я действительно изо всех сил пытаюсь понять синтаксис, и просмотр различной документации оставил меня более смущенным.
В основном я хочу...
42 просмотров
schedule
28.04.2024
