Описание тега constraint-programming
Сеть ограничений определяется триплетом <x>, где X - это набор переменных,C - это набор ограничений, а D - область для X (т. е. отображение переменных в наборы значений). Проблема удовлетворения ограничений (CSP) - это вопрос о том, есть ли у сети с ограничениями решение или нет.
</x>
0
ответов
Решение ограничений с помощью choco: поиск уникальных решений для переменной
Я использую Чоко, чтобы решить CSP. В начале я создаю массив переменных v как это: IntVar[] v = new IntVar[5]; После добавления нескольких ограничений я буду искать решения и нахожу их несколько. Тем не менее, я хочу только уникальные решения, напри…
14 июл '17 в 17:06
2
ответа
Представление бизнес-правила как модели ограничений для поиска набора решений
В моем корпоративном приложении у меня есть бизнес-правила, такие как: ((AMOUNT < 20000.00) || ((AMOUNT >= 20000.00) && (RISKEXPOSURE == 'N'))) (ind = A1 || ind = A2 || ind = A3 || ind = S1 || ind = S2 || ind = S9) Как видите, правило …
17 дек '16 в 12:36
1
ответ
Любой псевдополиномиальный алгоритм для ограниченного 0-1 мультиранпака?
Предположим, что существует n элементов, например, i1, i2,.... in, каждый из которых имеет известный ограниченный вес w1, w2,... wn. Есть также набор из рюкзаков, например, k1, k2 и km. Рюкзаки однородны, так как все они имеют одинаковую вместимость…
14 апр '13 в 13:40
1
ответ
Эффективный предикат для палиндрома в миницинке
Чтобы помочь мне изучить Minizinc, я пытаюсь решить легкую проблему. Мой код находит ответ, но я удивлен, что для такой простой задачи требуется около 10 секунд. Проблема в том, "Какое наименьшее палиндромное целое число> 10, так что сумма его цифр>…
21 авг '15 в 17:28
2
ответа
Точки зрения Судоку
Я ищу альтернативные точки зрения для решения проблем судоку с помощью программирования ограничений. Классическая точка зрения заключается в использовании переменных конечной области (строки, столбца), которые могут принимать значения от 1 до 9. Это…
14 мар '16 в 14:59
1
ответ
Как смоделировать распределение транспортных средств для поездок, возможно, используя Linear/Integer/Mixed math?
В городе 10 автобусных маршрутов. Необходимо совершить 50 поездок на автобусах. У нас есть 6 автобусов. Мы знаем, что в любой момент времени не более 6 рейсов одновременно. Нам нужно распределить 6 автобусов на 50 поездок таким образом, чтобы исполь…
27 окт '15 в 05:07
2
ответа
Choco заставляет переменную к истине, когда она не должна
Я совершенно новичок в Choco и CP, но я делаю небольшую модель для решения проблемы дерева Штейнера, и Choco продолжает заставлять первый узел быть истинным, каким бы он ни был (и я его проверил). У меня есть массив es из IntVar это ==1, если ребро …
04 май '15 в 10:07
0
ответов
Python Constraint, как выбрать 2 случайные задачи с помощью addconstraint
У меня есть вопрос относительно Python Constraint, и у меня есть следующий код, как добавить ограничение, я хотел бы добавить problem.addConstraint(), чтобы случайным образом выбирались только задачи типа 99, 88 и 2 из типа 66. из ограничения импорт…
25 фев '19 в 01:20
1
ответ
Решение для ограниченного программирования Solver JaCoP найдено, но хранилище несовместимо
Я использую JaCoP - средство программирования ограничений для Java - для вычисления решения сложной задачи планирования. Теперь я сталкиваюсь с проблемой, что найденное решение не является правильным. Я налагаю следующее ограничение: store.impose(ne…
13 июл '16 в 15:29
2
ответа
MiniZinc, Gecode удалить разделители раствора
У меня есть модель minizinc, для которой я хочу найти все решения (я использую gecode), а затем распечатать статистику, это легко: mzn-gecode -as foo.mzn но эта модель будет генерировать тысячи решений, и для каждого решения будет напечатан разделит…
08 окт '12 в 11:08
2
ответа
Поддерживает ли стандарт SMT-Lib сочетание теорий?
Я знаю, что несколько работ пытаются справиться с сочетанием теорий в SMT. Однако язык SMT-Lib 2.0 ( http://smtlib.cs.uiowa.edu/docs.html) ничего не говорит об этом. У меня вопрос, поддерживает ли он это, и что Солверс предлагает способность работат…
31 май '13 в 19:19
3
ответа
Ограничитель Удовлетворенность (Иерархический) Решатель
Мне нужно смоделировать проблему удовлетворения ограничений (CSP) в Java или.NET. Проблема требует, чтобы иерархия переменных была представлена. Таким образом, каждый узел дерева является переменной. Например, если переменная C1 является дочерней по…
27 фев '13 в 16:38
0
ответов
Как смоделировать конкретную проблему оптимизации?
У меня есть конкретная проблема, и я не знаю, как изменить ее на проблему осуществимости или оптимизации. Кто-нибудь может мне помочь, пожалуйста! Предположим, что целевой функцией является Obj=f(x,y). Мы хотим увидеть, для какого значения x минимал…
23 окт '18 в 08:44
0
ответов
Ограничение python- переменная как случайная выборка из домена
Я пытался использовать модуль https://labix.org/python-constraint для решения проблемы, вывод которой должен быть списком, содержащим случайные выборки из большего списка, где каждый список должен содержать по крайней мере на один элемент больше по …
10 мар '16 в 23:58
0
ответов
Сделать отображение матрицы пролога tkeclipse
Я новичок в прологе и хочу сгенерировать матрицу отображения из приведенного ниже кода пролога, как показано на рисунке. Изображение ниже генерируется из данного кода пролога с использованием tkEclipse (Eclipse для пролога) Ниже приведен код проблем…
23 май '18 в 20:41
1
ответ
Алгоритм - Создание расписания экзаменов
У меня проблема с составлением расписания экзаменов, основанного на трех факторах: комнатах, курсах и днях. Существует определенное количество комнат r, курсов c и дней d, где каждый день имеет три слота. Существует также набор студентов и отображен…
06 апр '13 в 20:17
1
ответ
Нужна помощь в решении проблемы ограничения
Я хотел бы решить следующую проблему, используя ограничения, но на самом деле я не знаю, с чего начать, поэтому я решил опубликовать это здесь для помощи. *** Fitting squares *** Given the set of black squares of Figure 1 (a 2x2, 3x3, 4x4 and a 5x5 …
15 май '11 в 10:26
1
ответ
Ограничение Choco Solver ICF для определения стандартного отклонения массива IntVar в пределах
Скажем, у меня есть массив IntVar int n = 10; IntVar[] x = VariableFactory.boundedArray("x", n, 0, 100, решатель); Мне нужно определить ограничение, которое ограничивает стандартное отклонение (может быть числом с десятичными точками) этого массива …
20 мар '16 в 02:39
1
ответ
Оптимизация с программированием ограничений
Я хочу выразить и решить приведенные ниже уравнения на языке программирования ограничений. У меня есть переменные t и я пытаюсь найти лучшие множители k, которые минимизируют мою целевую функцию. Время: t1, t2, t3... задано на входе Multipler k1, k2…
22 май '15 в 06:48
1
ответ
Как добавить массив значений в Google ortools по сравнению с нижней и верхней границей?
В документации и во всех примерах, которые я могу найти... по крайней мере, с точки зрения планирования медсестры, все просто объявляют значения сдвига в пространстве поиска {1,4}, скажем, для смены 1,2,3,4.... solver = pywrapcp.Solver("schedule_shi…
19 июн '18 в 08:32