Вопросы по теме 'constraint-programming'
Сокращение логического выражения
У меня есть выражение, предположим,
a = 1 && (b = 1 || b != 0 ) && (c >= 35 || d != 5) && (c >= 38 || d = 6)
Я ожидаю, что он будет сокращен до
a = 1 && b != 0 && (c >= 38 || d = 6)...
761 просмотров
schedule
19.08.2022
Решение головоломки Зебра (также известной как головоломка Эйнштейна) с использованием библиотеки Prolog clpfd
Мне дали упражнение по решению загадки зебры с использованием решателя ограничений по моему выбору, и я попробовал его, используя Библиотека Prolog clpfd .
Я знаю, что есть и другие, более идиоматические способы решения этой проблемы в Prolog, но...
4427 просмотров
schedule
27.01.2023
установка z3py
У меня возникли проблемы с тем, чтобы заставить z3 работать с Python. Я использую Windows 7 64bit. Я скачал 64-битную версию Python 3.3.0 и 64-битную версию z3 4.3.0. Я обновил PATH и PYTHONPATH, включив в них каталог z3\bin. Однако, когда я...
1509 просмотров
schedule
24.01.2023
Алгоритм - Составление расписания экзаменов
У меня проблема с составлением расписания экзаменов, основанного на трех факторах: комнатах, курсах и днях. Есть заданное количество комнат r, курсов c и дней d, в которых каждый день имеет три слота.
Также есть набор студентов и отображение...
3076 просмотров
schedule
27.05.2022
Случайное решение набора целочисленных ограничений
У меня есть набор целочисленных ограничений, которые я хотел бы решить. Ограничения могут состоять из добавления переменных, которые больше, меньше или равны некоторой константе.
Пример:
A >= 20
A <= 30
B <= 10
A + B <= 25
......
425 просмотров
schedule
05.08.2023
Перестановка n элементов путем замены каждого элемента не более чем на k позиций
У меня есть вектор (n = 4 в примере):
x = '0123';
Мне нужен вектор y того же размера, что и x, и с теми же элементами, что и в x, в другом порядке:
y = ['0123'; '0132'; '0213'; '0231'; '0312'; '0321'; '1023'; '1032'; '1203'; '1302';...
286 просмотров
schedule
18.10.2023
Как ограничить количество нулей в программировании с ограничениями
Для заданных n и m я перебираю все n по m частичных циркулянтных матриц с записями, которые либо 0 или 1. Я хочу найти, существует ли матрица, в которой нет двух подмножеств столбцов с одинаковой суммой. Здесь, когда мы добавляем столбцы, мы...
927 просмотров
schedule
14.05.2022
Максимальное расстояние между значениями переменных в SWI-Prolog (clpfd)
Я хочу максимизировать разницу между двумя переменными:
:- use_module(library(clpfd)).
maximize(X) :-
X = [A,B],
X ins 1..5,
% I want to write a constraint to have maximum difference between A and B.
461 просмотров
schedule
01.03.2022
Пролог: foreach или forall для решения ограничений?
Я пытаюсь планировать проект с помощью пролога SWI и CLP. Мне удалось поддерживать последовательные зависимости, но я изо всех сил пытаюсь избежать двойного бронирования людей.
У меня есть список Schedule, содержащий такие элементы, как [taskname,...
1457 просмотров
schedule
08.06.2023
Как я могу выразить проблемы с расписанием в minisat?
Minisat — это инструмент программирования/удовлетворения ограничений. Существует версия Minisat, которая работает в браузере http://www.msoos.org/2013/09/minisat-in-your-browser/
Как я могу выразить проблему планирования с Minisat? Есть ли язык...
1495 просмотров
schedule
04.08.2023
Решение полных анаграмм со словарем
Я решаю классическую задачу. Чтобы быть точным, я пытаюсь решить полную анаграмму.
Анаграммой является любое слово или фраза, точно воспроизводящие буквы в другом порядке.
У меня есть анаграмма, словарь и хэш. Мне нужно придумать фразу,...
1308 просмотров
schedule
14.11.2023
Подход с несколькими судоку на основе искусственного интеллекта
Я разрабатываю решатель варианта судоку под названием мульти-судоку , где несколько досок перекрываются следующим образом:
Если я правильно понимаю игру, вы должны решить каждую сетку таким образом, чтобы перекрытие между любыми двумя или...
689 просмотров
schedule
11.03.2023
Логическая головоломка «3 в ряд»: оптимизация ограничений последовательности в списках/массивах
В следующей головоломке мы пытаемся заполнить сетку синими и белыми квадратами таким образом, чтобы:
3 в ряд (или столбец) одного цвета не допускаются.
В каждой строке и столбце равное количество синих и белых квадратов.
Если мы...
297 просмотров
schedule
26.10.2023
Предложение модели для графа для решателя ограниченного программирования (gecode)
Задача . Для заданного неориентированного графа с метками (1..n) создайте в Gecode модель для нахождения суперграфа с заданной степенью последовательности:
Трудности : основная трудность заключается в том, чтобы найти причудливую модель, чтобы...
63 просмотров
schedule
12.06.2024
Приращение элементов массива переменных в 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
Как я могу добавить в Google ortools массив значений вместо нижней и верхней границы?
В документации и во всех примерах, которые я могу найти ... по крайней мере, с точки зрения расписания медсестер, каждый просто объявляет значения сдвига в пространстве поиска {1,4}, скажем, для сдвига 1,2,3,4 ....
solver =...
1015 просмотров
schedule
23.02.2024
Ограничения моделирования в решателе Choco
Я играю с chocosolver, чтобы решить некоторые проблемы планирования задач.
У меня есть несколько заданий и возможных слотов (где задание может быть выполнено). Есть некоторые ограничения, такие как:
В каждом слоте может быть только одно...
701 просмотров
schedule
15.01.2023
посоветуйте мне написать ограничение емкости
Я пытаюсь добавить еще несколько ограничений с существующей проблемой планирования проекта ограничения ресурсов, доступной примерами OPL. Прилагаю файлы примеров проблемы RCPSP. В настоящее время в этом примере задачи я могу запустить как можно...
69 просмотров
schedule
26.11.2022
Мой вопрос касается кода проблемы планирования проекта с ограничением ресурсов в cplex. Я пытаюсь применить к нему приоритетное прерывание
Я работаю над RCPSP и хочу применить к нему Preemption. Я разделил продолжительность каждой задачи на равные части. Теперь после этого я не могу применить ограничения приоритета к каждой отдельной единице длительности задачи.
using CP;
int...
142 просмотров
schedule
08.03.2022
Проблема с производительностью CPSolver
Я пытаюсь использовать CPSolver (вместо MinCostFlow на этот вопрос ), и он кажется, что производительность очень низкая для небольшого набора данных. Это значительно медленнее, чем рекомендуется в руководстве OR-Tools (3 секунды).
Когда я...
126 просмотров
schedule
11.12.2022