Вопросы по теме 'constraint-programming'
KeyError при добавлении ограничения в python-constraint
Я создаю функцию, которая принимает список водителей и пассажиров с их местонахождением и возвращает список распределения пассажиров водителям, которые максимизируют количество пассажиров, назначенных водителю, при соблюдении следующих ограничений:...
1619 просмотров
schedule
20.03.2023
Фреймворк программирования ограничений для задачи планирования
Я собираюсь работать над программным приложением для планирования проекта и ищу библиотеку программирования ограничений, которая поддерживает интервальную арифметику и ограничения для действительных чисел.
Функция, которую я должен реализовать, -...
925 просмотров
schedule
17.01.2023
Поддерживает ли стандарт SMT-Lib комбинацию теорий?
Я знаю, что в нескольких работах пытаются разобраться с комбинацией теорий в SMT. Однако язык SMT-Lib 2.0 ( http://smtlib.cs.uiowa.edu/docs.html ) ничего не говорит об этом. Мой вопрос в том, поддерживает ли он это, и какие Solvers предлагают...
166 просмотров
schedule
09.01.2023
Альтернатива drools-planner/optaplanner в С++/С#?
есть ли аналогичная альтернатива планировщику optaplanner/drools на C++ или C#? Я нашел только очень старую версию C# 2007 года. Или как вы решаете NP-сложные проблемы оптимизации в C++/C#?
5027 просмотров
schedule
12.04.2022
какое максимальное количество ограничений в minizinc
Мне не удалось найти ссылку на максимальное количество переменных и ограничений, которые minizinc ' решатели могут справиться. В частности, меня интересует mip-решатель minizinc. Я получаю ошибки переполнения стека на моем Mac с 8 ГБ, когда у...
462 просмотров
schedule
03.07.2023
Ограничение всего массива в SystemVerilog на основе другого массива
Можно ли ограничить весь массив в SystemVerilog, чтобы он имел то же значение, что и другой массив?
Я пробовал это:
class some_class;
rand bit array1[10][10];
rand bit array2[10][10];
constraint arrays_c {
array1 == array2;...
1439 просмотров
schedule
21.10.2022
Ограничение в Choco
Я нашел Choco решатель в качестве программного обеспечения для программирования ограничений, работающего с Java. Я хотел бы узнать больше. Я сделал базовый пример. Но теперь я хотел бы попробовать что-то более сложное (алгоритм планирования...
1435 просмотров
schedule
11.07.2023
Решение числовых машин Смулляна
Здесь я предлагаю найти решение для числовых машин Смулляна, как определено здесь .
Постановка задачи
Это машины, которые принимают список цифр в качестве входных данных и преобразуют его в другой список цифр, следуя некоторым правилам,...
316 просмотров
schedule
05.06.2022
Логическая головоломка на прологе и программирование в ограничениях
У меня есть домашнее задание определить 10 фактов в прологе, чтобы решить эту головоломку.
Five translators are working in an international organization:
Spaniard, Englishman, Frenchman, German and Russian.
Each of them speaks its native language...
506 просмотров
schedule
31.12.2023
Решение N-Queens с использованием Resolver ограничений Python
Ниже приведено решение задачи N-ферзей с использованием Python-Constraint Преобразователь из Лабикс . Может ли кто-нибудь объяснить мне или направить меня на любую веб-страницу, где объясняется значение последних 3 строк этого кода?
Более...
1358 просмотров
schedule
19.07.2023
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
DuplicateFlagError при запуске решателя ограничений TSP Google or-tools на нескольких графах
Я использую ortools.constraint_solver от Google, чтобы найти решения для коммивояжера Проблема. Как видно здесь. Все работает должным образом, когда я запускаю программу на одном наборе точек.
Теперь, когда у меня это работает, я пытаюсь...
375 просмотров
schedule
12.06.2022
Можно ли это выразить с помощью целочисленного программирования или программирования с ограничениями?
Рассмотрим фиксированную матрицу M размером m на n, все элементы которой равны 0 или 1. Вопрос состоит в том, существует ли ненулевой вектор v, все элементы которого равны -1, 0 или 1, для которого Mv = 0. Например,
[0 1 1 1]
M_1 = [1 0 1...
131 просмотров
schedule
21.08.2022
Получение всех решений в Google or-tools
У меня есть линейная проблема поиска всех решений, отвечающих всем ограничениям. Например, мои переменные = [0,323, 0,123, 1,32, 6,3 ...] Можно ли получить, например, 100 лучших решений, отсортированных по функции пригодности (максимизации /...
1294 просмотров
schedule
20.04.2024
Как использовать предикат члена для указания ограничений в прологе
Я пытаюсь написать программу на Прологе, которая делает следующее: У меня есть некоторые отношения, определенные в списке отношений. (Например: [f1,s1] означает, что f1 нуждается в s1). В зависимости от того, какие функции (f1,f2,f3) выбраны в списке...
483 просмотров
schedule
06.02.2023
Условные ограничения в линейном программировании для небулевых переменных
Вопрос 1: x, y - целые неотрицательные переменные
у меня есть условие - если x> 0, то y = 0
Вопрос 2: a, b, c, d, e - целые неотрицательные переменные, если одна из вышеперечисленных> 0, тогда остальные 4 будут равны нулю.
Как сформулировать...
246 просмотров
schedule
05.08.2023
Пролог, как упорядочить список с ограничениями
Я новичок в Prolog, и я пытаюсь использовать его для заказа списка с определенными ограничениями.
Проблема начинается со следующих определений:
Item — это список длиной 3: [Name, Type, Weight] .
Content — это список элементов...
317 просмотров
schedule
20.05.2022
MiniZinc назначает разные домены каждому var в массиве
У меня есть массив: array[backpacks] of int: capacity с указанием вместимости каждого рюкзака.
Теперь я хочу создать массив переменных, которым должен удовлетворять решатель ограничений. Я хочу, чтобы каждая переменная принимала значения в...
304 просмотров
schedule
05.01.2023
Комплексная переменная в choco
Как проверить в Choco, удовлетворяет ли сложная переменная ограничениям? Например, если у меня есть следующий список конфигураций:
int[][] configurations = new int[][] {
{20, 24, 10, 3, 4},
{20, 13, 1, 3, 4}};
где конфиг1 =...
88 просмотров
schedule
21.07.2022
Что представляет собой экземпляр Option Type во время синтаксического анализа?
Что касается типов параметров , спецификация для Minizinc (раздел 6.6.3) говорит:
Обзор . Типы параметров, определенные с помощью конструктора типов opt, определяют типы, которые могут быть или не быть. Они похожи на типы неявности...
89 просмотров
schedule
16.11.2022