Публикации по теме 'minizinc'
Опорожнение безналичных ключей с помощью Minizinc
С тех пор, как я купил свой первый безналичный ключ для покупки кофе в автомате компании, мне никогда не удавалось потратить каждый цент в ключе — всегда не хватало 3 или 5 центов. Я всегда задавался вопросом: какие/сколько напитков я должен купить, чтобы достичь нуля? Мы будем использовать Minizinc, чтобы ответить на этот вопрос.
Что такое Миницинк?
Minizinc — это бесплатный язык моделирования ограничений с открытым исходным кодом. Его можно использовать для формального описания..
Вопросы по теме 'minizinc'
Minizinc: проблема с присвоением массива в инструкции if-then-else
var 1..5: k=1;
array[1..2] of var 1..48: key2;
constraint forall(i in 1..4,j in 1..48 where k= ceil(j/24))(if
table[i,j]!=0 then key2[k]=j else true endif);
Я пытаюсь применить это ограничение в моей программе minizinc. Цель...
1852 просмотров
schedule
13.09.2022
Вызов модели Minizinc из Java
Как вызвать модель Minizinc из программы Java с массивами в качестве передаваемых параметров? Есть ли какая-то специальная команда для этого?
850 просмотров
schedule
02.02.2024
Minizinc: Возвращает текст, когда условия неудовлетворительны
Я пишу код, который должен решить пасьянс в MiniZinc. Меня попросили вернуть сообщение «Этот пасьянс не может быть решен», если условия неудовлетворительны.
К сожалению, я не смог найти решение этой проблемы в Интернете. У кого-нибудь есть идеи о...
114 просмотров
schedule
23.06.2022
Извлечь столбец как набор из матрицы
В MiniZinc мне нужно извлечь столбец из матрицы, чтобы получить набор, состоящий из значений столбца. Например, если у меня есть такая таблица:
1 0 0
6 4 6
3 5 8
Я хотел бы извлечь набор int 1 6 3 , чтобы иметь индекс, который может течь в...
339 просмотров
schedule
28.04.2022
MiniZinc назначает разные домены каждому var в массиве
У меня есть массив: array[backpacks] of int: capacity с указанием вместимости каждого рюкзака.
Теперь я хочу создать массив переменных, которым должен удовлетворять решатель ограничений. Я хочу, чтобы каждая переменная принимала значения в...
304 просмотров
schedule
05.01.2023
Объявление массива MiniZinc
Как я могу объявить массив в MiniZinc, аналогично приведенному ниже коду Java, где размер второго измерения 2D-массива не одинаков для всех?
int numV=5
int[] numActs=new int[numV];
double[][] min=new double[numV][];
for(int i=0;i<numV;i++){...
1654 просмотров
schedule
16.05.2022
Что представляет собой экземпляр Option Type во время синтаксического анализа?
Что касается типов параметров , спецификация для Minizinc (раздел 6.6.3) говорит:
Обзор . Типы параметров, определенные с помощью конструктора типов opt, определяют типы, которые могут быть или не быть. Они похожи на типы неявности...
89 просмотров
schedule
16.11.2022
Оптимизация с Minizinc - печатайте только оптимальные решения
сейчас внимательно присматриваюсь к Minizinc. Minizinc показывает все допустимые решения моей модели в окне вывода при решении модели. Я немного сбит с толку, потому что я не просил minizinc решить модель как проблему удовлетворения. Есть ли...
385 просмотров
schedule
10.02.2023
неприводимое несовместимое множество (IIS) в гуроби, от minizinc
Есть ли способ получить IIS от Gurobi, если я использую его через интерфейс minizinc (т.е. mzn-gurobi)? Спасибо, Офер
162 просмотров
schedule
24.05.2022
Вызов minizinc из программы cpp
Есть ли способ вызвать ограниченную модель, определенную в minizinc, как вызов функции из программы на C ++? Моя среда - VS 2017 (если это важно).
188 просмотров
schedule
19.02.2023
переменная с условием в minizinc
Перевожу модель в аиммс на миницинк. В aimms у меня есть переменная, определенная как X с index domain (k,i) , где i, s, t - индекс установленного часа.
Определение X с индексами i,s,t:
sum((s,t) | (s <= i) and (t >= i), Pick(s,k,t) +...
114 просмотров
schedule
30.08.2023
Повышение уровня оптимизации приводит к ошибкам
Вот простая модель, которая требует, чтобы все элементы одного массива были равны элементам другого:
int: n = 3;
set of int: N = 1..n;
array[N, N] of var bool: P1 = [|true, false, false|
false, true, false|...
46 просмотров
schedule
08.06.2023
Ошибка Minizinc: неверный тип-inst: ожидаемый `float ', фактический` var float'
У меня есть следующая программа Minizinc, работа над которой продолжается, чтобы стать решением проблемы коммивояжера (TSP). Я знаю, что здесь не хватает чего-то большего, чем просто исправления этой ошибки, но я все же хотел бы понять, почему я...
156 просмотров
schedule
14.06.2023
Перемешать список в Minizinc
array[1..6] of var 0..1: Path;
include "alldifferent.mzn";
constraint
forall(j in 1..6)(
alldifferent(i in 1..6)(Path[i])
)
Я пытаюсь перетасовать список в minizinc, но я хочу каждый раз получать разные результаты, например, для всех....
86 просмотров
schedule
23.01.2023
Почему MiniZinc иногда не использует регулярные ограничения, определенные решателем?
Согласно документам , глобальные ограничения ... могут быть специализированы для конкретного решателя. Действительно, для проблемы составления списка медсестер модель FlatZinc подходит. использовать решатель, определенный regular предикатом...
67 просмотров
schedule
15.12.2022
Можно ли динамически создавать модели MiniZinc с помощью интерфейса Python?
Я хотел бы знать, можно ли создать модель MiniZinc с помощью интерфейса Python. Как я видел в документации, вы можете добавить модель в виде строки, но это не будет отличаться от внешнего файла MiniZinc, который вы вызываете позже.
Я хотел бы...
28 просмотров
schedule
22.06.2023
