Описание тега gecode
Gecode is a toolkit for developing constraint-based systems and applications. Gecode provides a constraint solver with state-of-the-art performance while being modular and extensible.
1
ответ
Карта верхней треугольной матрицы по вектору пропускается по диагонали
У меня есть проблема, которая может быть сведена к поиску способа сопоставления треугольной матрицы с вектором, пропускающим диагональ. В основном мне нужно перевести этот код C++ с использованием библиотек Gecode // implied constraints for (int k=0…
16 окт '14 в 10:40
2
ответа
Как ограничить переменную в зависимости от значения другой переменной в Gecode
Я работаю с инструментарием Gecode и хочу смоделировать следующий сценарий. У меня есть две переменные х и у. В зависимости от значения х, у должно быть определенного значения. Например, если x равен 1, y должен быть 3, если x равен 2, y должен быть…
26 апр '14 в 13:20
1
ответ
Альтернативные стратегии ветвления в Gecode
Я пишу здесь, чтобы спросить, есть ли способ чередовать разные стратегии ветвления. Позвольте мне объяснить, у меня есть эффективная стратегия ветвления, которую мы назовем стратегией А. Самая большая проблема заключается в том, что стратегию А нель…
14 фев '18 в 11:19
0
ответов
Можем ли мы назначить новый пропагатор, отличный от предметной области и границ, в решателе GECODE для решения линейных ограничений?
Линейные уравнения / неравенства могут быть легко решены с помощью симплексного алгоритма, который очень быстр. Но для решателя GECODE у нас есть только два пропагатора: область и границы, которые решают ограничения, которые имеют разный подход к ре…
09 сен '17 в 20:04
1
ответ
Программирование ограничений на целочисленные переменные
Я использую GeCode для создания программного обеспечения для решения конкретной задачи. Я смоделировал свою проблему, используя переменные целочисленного набора и некоторые ограничения для этих переменных. Но что касается этого вопроса, давайте расс…
18 янв '15 в 00:43
1
ответ
Миницинк, как создать карту или словарную структуру данных
У меня есть простой вопрос относительно синтаксиса Minizinc. Мой входной файл.dzn содержит набор из двух размерных массивов (примерно до 30 массивов), объявленных следующим образом: rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, .... rates_inde…
17 сен '17 в 09:44
2
ответа
MiniZinc не может найти решение, когда введен оператор вывода
У меня есть простая модель, написанная на миницинке, и я использую gecode, чтобы решить ее, сначала скомпилировав ее в плоский цинк. В качестве входных данных модель принимает некоторые константы, массивы и матрицы (в виде двумерных массивов). Резул…
07 июн '17 в 06:21
0
ответов
Формулирование ограничения отображения (геокод)
Мне нужно выразить ограничение для 2 целочисленных массивов одинакового размера x_i = x_j => y_i = y_j другими словами, есть целочисленная функция, такая x = f(y) Есть ли какие-то решения для этого?
17 апр '17 в 17:37
1
ответ
Стратегия поиска с необязательными переменными
Я реализую простую модель в Minizinc для планирования задач с различным приоритетом и продолжительностью в ряде временных интервалов, но не все задачи могут быть запланированы, поэтому некоторые из них будут опущены, и я пытаюсь максимизировать сумм…
09 окт '15 в 07:43
1
ответ
Minizinc, Gecode, как получить идентичные решения для распределенных серверов, с моделью нескольких решений?
Я использую minizinc и gecode, чтобы решить проблему минимизации распределенным способом. У меня есть несколько распределенных серверов, которые решают одну и ту же модель с одинаковым вводом, и я хочу, чтобы все серверы получили одно и то же решени…
29 авг '17 в 07:52
1
ответ
Генерация уникальных решений с помощью Constraint Programming
У меня было краткое знакомство с CP и MiniZinc, но я не эксперт. У меня есть модель CP, которую я не могу разместить здесь в банкомате, реализованная в MiniZinc. Мне нужно найти все возможные решения проблемы. Мы ожидаем, что будет всего несколько ч…
23 сен '14 в 22:48
0
ответов
Ограничение Gecode "каждое значение в массиве появляется как минимум k раз"
Это Gecode C++ У меня есть значение IntVarArgs длины n, и я хочу выдвинуть ограничение, чтобы каждое значение в массиве появлялось как минимум k раз (или 0), например, массив [1, 2, 3, 1, 2, 3, 4, 4, 4] удовлетворяет этому ограничению при k = 2 что …
28 янв '17 в 13:41
0
ответов
Экспресс ограничение хранилища по геокоду (Ch15 документа геокода)
Не могу понять ограничение на стр. 192 "Не превышайте емкость". IntSetArgs c(n_warehouses); for(int w = 0; w < n_warehouses; ++w){ c[w] = IntSet(0, capacity[w]); //IntSet(0, 1) == {}, {0}, {1}, {0, 1} } count(*this, supplier, c, ICL_DOM); В докум…
25 мар '14 в 16:18
1
ответ
Вызов геокода из Java с использованием модели MiniZinc
Я хотел бы решить модель с динамическими аргументами во время выполнения в Java. У меня есть проблема, написанная в MiniZinc. Из терминала я могу решить модель, вызвав следующие команды: mzn2fzn model.mzn model_data.dzn (this produces model.fzn file…
18 май '17 в 14:18
1
ответ
Модельное предложение для графа для решателя Constraing Programing (gecode)
Проблема: Учитывая помеченный (1..n) неориентированный граф, создайте модель в Gecode для поиска суперграфа с заданной степенью последовательности: Трудности: главная трудность заключается в том, чтобы найти причудливую модель, чтобы точно выразить …
25 ноя '16 в 08:31
0
ответов
Интерфейс R для Gecode (набор инструментов программирования с открытым исходным кодом)
Я хотел бы использовать Gecode с открытым исходным кодом (gecode.org) для программирования ограничений в R. До сих пор я не нашел никакого прямого маршрута. Я нашел много привязок и интерфейсов для Ruby, Python, Prolog, но не прямой для R. Любой ука…
03 дек '15 в 20:35
1
ответ
Как использовать функцию Merit в Gecode?
Я пытаюсь использовать функцию заслуги для моего ветвления в Gecode. В MPG, Руководстве по Gecode, описана примерная функция заслуг и как передать ее в ветвление. Но я не могу понять, где поставить функцию. Должно ли это быть внутри сценария или сна…
15 янв '18 в 12:15
2
ответа
Почему нельзя клонировать `Space` в Gecode до решения оригинального?
Я ищу способ скопировать Space экземпляры в Gecode, а затем проанализировать разницу между пробелами позже. Однако после первого экземпляра это уже идет не так. Когда кто-то копирует код в книге " Моделирование и программирование в Gecode", как пока…
12 ноя '14 в 01:01
1
ответ
GECODE Парные отличимые столбцы в матрице
Я работаю над решателем GECODE для реализации задачи Matrix Generation. Я понял все ограничения, которые мне нужны, кроме одного: Given a Matrix[M, N], all column vectors must be pairwise distinct. Вот код, который я хотел бы написать: for(int i = 0…
02 фев '19 в 02:20
1
ответ
Время отображения отличается от фактического времени решения, используемого в модели Minizinc.
Я написал большую модель minizinc, включающую переменные var с оператором int_search для правильного упорядочения. Он содержит оператор вывода, в котором я использую операторы fix(var variable) для вывода значений переменных, и содержит некоторые фу…
21 фев '18 в 18:46