Вопросы по теме 'minizinc'
Создание уникальных решений с помощью программирования ограничений
У меня было краткое знакомство с CP и MiniZinc, но я не эксперт.
У меня есть модель CP, которую я не могу разместить здесь, банкомат, реализованный в MiniZinc. Мне нужно найти все возможные решения проблемы. Мы ожидаем, что их будет всего...
276 просмотров
schedule
09.02.2023
Как установить решатель minizinc
В MiniZinc (Windows IDE) Как я могу решить: flatzinc: error: переменные типа `var float 'не поддерживаются серверной частью решателя FD. Я понимаю, что мне нужен другой решатель, но не могу найти процедуру его установки, и dlg настроек не работает....
1279 просмотров
schedule
04.04.2022
Как я могу скомпилировать этот выходной оператор MiniZinc?
Как мне пересмотреть это для компиляции в MiniZinc:
output [[show (P[j,p]) ++ "\n" | p in 1 .. 4] | j in 1 .. 4];
Я пробовал несколько способов.
189 просмотров
schedule
21.10.2022
Как количественно оценить все подмножества MiniZinc
Я хотел бы создать ограничение для каждого подмножества набора целых чисел в MiniZinc, в соответствии со строками этого ...
constraint forall (S subset C, k in M) (
% Some constraint over the set S, and integer k
);
Я также хотел бы...
342 просмотров
schedule
19.11.2022
Подсчет общего количества решений с помощью minizinc
Допустим, я хочу подсчитать количество 80 подмножеств элементов {1,2, .. 100}, чтобы их сумма была 3690.
У меня такая модель:
array[1..100] of var 0..1: b;
constraint (sum (i in 1..100) (i*b[i])) == 3690;
constraint (sum (i in 1..100) (b[i]))...
1027 просмотров
schedule
23.09.2022
Можно ли в MiniZinc применить более одного «решения»?
Я попытался применить следующую структуру в одном файле mzn :
define Variables;
%% first set of constraints
constraint ...;
constraint ...;
solve satisfy;
%% second set of constraints
constraint ...;
constraint ...;
solve satisfy;
где...
276 просмотров
schedule
31.08.2022
Как создать эквивалент функции в Minizinc, чтобы упростить предикат
Я новичок в программировании с ограничениями и изучаю MiniZinc. У меня большие предикаты, и я хотел бы создать эквивалент функции (на классическом языке программирования), чтобы упростить предикаты.
Например, у меня есть:
% INPUTS
int: nodes;...
470 просмотров
schedule
27.07.2022
Minizinc: тривиальное равенство невыполнимо
У меня есть следующая модель minizinc:
include "globals.mzn";
var 0..9: A_1_1;
var 0..9: A_2_1;
var 0..9: A_3_1;
constraint (A_3_1+A_2_1+A_1_1) = A_1_1;
solve satisfy;
Модель должна иметь тривиальное решение 0=A include "globals.mzn";
var...
256 просмотров
schedule
07.05.2023
Решение minizinc lazyfd игнорирует ограничение
Проблема состоит в том, чтобы найти расписание, по которому некоторые люди будут играть в гольф (или что-то еще) в группах фиксированного размера. Мы должны гарантировать, что каждый игрок одновременно находится только в одной группе.
Вот мой код:...
69 просмотров
schedule
12.03.2022
Использование таблиц в ограничениях в minizinc
Я ценю, если кто-нибудь поможет мне с моим вопросом. Мне нужно смоделировать ограничение, согласно которому 4 члена двух массивов следуют определенному шаблону, заданному пользователем в инструменте minizinc.
Например, мне нужно X [0], X [1], Y...
129 просмотров
schedule
18.04.2022
Проблемы с пониманием того, как выразить проблему реального мира в opensolver или minizinc для распределения рабочих
Я собираюсь начать с того, что я плохо разбираюсь в Minizinc или программировании ограничений, я смотрел учебные пособия по Excel на YouTube, которые я могу понять, но я не вижу, как я могу перевести свою проблему в решение, способное решить Excel ,...
130 просмотров
schedule
07.12.2023
Некоторая ошибка в моем коде, которую я не могу понять
Я использовал minizinc, чтобы запрограммировать код планирования смены, указанный ниже. Однако произошла ошибка с сообщением об ошибке: MiniZinc: ошибка типа: не найдено ни функции, ни предиката с этой сигнатурой: `forall (array [int] of var int) '...
47 просмотров
schedule
03.05.2022
Как максимизировать var int, размер которого превышает 32 бита?
Я использую minizinc со встроенным Gecode 6.1.1, и я хочу максимизировать целевую функцию со значениями, которые намного больше, чем max int 32. Максимальное значение целого числа с 32 битами составляет 2147483646. Хотя, похоже, не так много...
141 просмотров
schedule
22.12.2022
Что означает $ в MiniZinc?
В Руководстве по MiniZinc я вижу символ $, используемый в разных местах ( в основном в разделе Справочное руководство ), но я не не удалось найти определение. Кто-нибудь любезно объяснит мне это. Спасибо.
54 просмотров
schedule
26.08.2022
Minizinc для индекса цикла
Я пытаюсь создать функцию MiniZinc, которая возвращает значение индекса текущей посещенной строки в матрице, но я не могу понять, как это сделать, я новичок в MiniZinc, поэтому код может содержать некоторые ошибки.
Код будет таким:
function...
71 просмотров
schedule
06.05.2022
Целевая функция Minizinc для пробелов в расписании
У меня есть рабочая модель Miniznic для планирования индивидуальных уроков для 1 профессора с n студентами ( Задача оптимизации модели расписания отдельных уроков ). Модель учитывает доступность (жесткое ограничение) и временные предпочтения (целевая...
68 просмотров
schedule
13.07.2022
Как представить точку в 2d пространстве в minizinc?
Допустим, у меня есть 2 точки в пространстве. Скажем, p1=(1.2,2.3) и p2(1.2,3) и, в более общем случае, массив из N узлов с точками в пространстве. Как выразить это в терминах minizinc?
39 просмотров
schedule
21.12.2022
Minizinc - рассчитать стоимость в алгоритме
В моей модели есть array[1..num_compute_nodes,1..num_access_nodes,1..num_request] of var 0..10: assignment; и array[1..num_compute_nodes,1..num_compute_nodes] of int: compute_nodes_relation . Первая переменная (решение), о которой я упоминал,...
52 просмотров
schedule
02.08.2022
