Описание тега choco

Вопросы с тегом
API, позволяющий программировать с ограничениями для программистов на Java. Он направлен на описание сложных комбинаторных проблем в форме задач удовлетворения ограничений и их решение с помощью методов программирования с ограничениями.
0 ответов

Решение ограничений с помощью choco: поиск уникальных решений для переменной

Я использую Чоко, чтобы решить CSP. В начале я создаю массив переменных v как это: IntVar[] v = new IntVar[5]; После добавления нескольких ограничений я буду искать решения и нахожу их несколько. Тем не менее, я хочу только уникальные решения, напри…
14 июл '17 в 17:06
1 ответ

Choco Solver: как настроить CSP с реальными переменными и ограничениями

Я хотел бы написать программу для автоматического создания помещений. С этой целью я рассмотрел идею постановки задачи в виде CSP, где переменными являются: x_o, y_o: положение объекта o в среде theta_o: ориентация объекта o и домены: определенный д…
12 дек '17 в 10:03
2 ответа

Choco заставляет переменную к истине, когда она не должна

Я совершенно новичок в Choco и CP, но я делаю небольшую модель для решения проблемы дерева Штейнера, и Choco продолжает заставлять первый узел быть истинным, каким бы он ни был (и я его проверил). У меня есть массив es из IntVar это ==1, если ребро …
04 май '15 в 10:07
1 ответ

Ограничение Choco Solver ICF для определения стандартного отклонения массива IntVar в пределах

Скажем, у меня есть массив IntVar int n = 10; IntVar[] x = VariableFactory.boundedArray("x", n, 0, 100, решатель); Мне нужно определить ограничение, которое ограничивает стандартное отклонение (может быть числом с десятичными точками) этого массива …
20 мар '16 в 02:39
1 ответ

Как определить продукт в Choco (CSP)

Я пытаюсь смоделировать проблему планирования игры в теннис, как я объясню в этом посте. Мне повезло получить ответ с уравнениями, описывающими проблему, которые позволили мне реализовать ее в Choco, и похоже, что она работает достаточно хорошо. Так…
04 мар '16 в 16:43
1 ответ

Chocolatey: как переустановить неустановленный пакет перед

Я управляю программным обеспечением на моем компьютере с Chocolatey.У меня проблемы с переустановкой удаленного пакета. Я пытался переустановить его, но ничего не происходит.Как я могу переустановить пакет, который я удалил раньше. choco -y install …
18 фев '17 в 23:57
2 ответа

Чоко Солвер поколение математических выражений

Я хочу использовать Choco Solver для написания Java-программы, которая генерирует математические задачи, которые удовлетворяют ряду ограничений. Проблемы должны принять следующую форму: x @ y ∆ z = r Куда: x, y & z являются положительными целыми чис…
15 ноя '17 в 21:08
2 ответа

Пояснение к решению от choco solver

Когда я запускаю свой choco solver 4.0.6, я получаю такое решение: Solution : X = 10, Y = 14, REIF_1=1, not(REIF_1)=0, REIF_2=1, not(REIF_2)=0, IV_3=2, REIF_4=1, not(REIF_4)=0 ... За исключением значений X и Y, может кто-нибудь сказать мне, что озна…
19 июн '18 в 07:09
0 ответов

Генератор конфигурации продукта

Учитывая различные функции для продукта, варианты функций и правила совместимости между функциями, я хотел бы создать список всех возможных конфигураций продукта. Например, мой текущий пример использования похож на настройку ноутбука. Множество пере…
15 янв '19 в 04:45
1 ответ

Особенности CHOCO Constraint Solver

Кто-нибудь знает, поддерживает ли CHOCO следующее: Dynamic Variable Ordering а также Precedence Constraints ?
09 июл '11 в 15:03
0 ответов

Choco Constraint Последовательные биты

Есть ли способ моделировать N последовательных единиц в IntVar[]? Например, [1,1,1] нарушается, если N равно 2.
24 фев '19 в 20:19
1 ответ

Choco Solver - Как получить наиболее близкое решение (удовлетворяющее большинству ограничений) в случае чрезвычайно длительного времени выполнения?

В Choco Solver, как вы получаете самое близкое решение (решение, которое удовлетворяет большинству ограничений на данный момент, но может не удовлетворять всем ограничениям) в случае, когда поиск решения может занять слишком много времени? Например,…
18 ноя '17 в 12:54
1 ответ

Choco abs из IntVar не работает

[Я использую Choco 3.3.3] У меня есть IntVar a и int b. Я хочу сохранить разницу в массиве IntVar[] d. Я сделал это в другом месте кода точно таким же образом, и он работал без проблем, но здесь я просто не заставляю его работать. d = VF.boundedArra…
23 фев '16 в 16:11
1 ответ

choco назначает int для IntVar

Для массива переменных, таких как IntVar[][] array = VF.boolMatrix("example", 5, 10, solver); в чем разница между solver.post(ICF.arithm(array[i][j], "=", 0)); а также array[i][j] = VariableFactory.fixed(0, solver); Является ли один превосходит друг…
11 апр '16 в 16:55
1 ответ

Choco Solver setObjective максимизировать полиноминальное уравнение

В настоящее время я пробую Choco Solver (4.0.8) и пытаюсь решить следующие уравнения: максимизировать при условии Я застрял на максимизации первого уравнения. Я думаю, мне просто нужна подсказка, какой подтип Varaible EQUATION должно быть. Model mod…
26 окт '18 в 19:04
1 ответ

Ограничение решателя Choco / определение переменной

Я пытаюсь портировать миницинк модель в Choco. Я знаю, как определять переменные и другие базовые вещи, но, несмотря на то, что я прочитал учебник и некоторые примеры кода, у меня возникли проблемы с определением некоторых нетривиальных ограничений.…
01 май '16 в 21:58
0 ответов

NullPointerException при добавлении ограничения с choco на затмение

У меня возникли проблемы с использованием choco на затмении, я попытался добавить ограничение, и я получил исключение nullPointerException, кто-нибудь может мне объяснить? public static void main(String[] args ) { int n=8; CPModel m=new CPModel(); I…
01 окт '17 в 12:28
1 ответ

Решение задания со многими заданиями

Задача, которую я хочу решить, состоит из около 800 задач, которые нужно поручить примерно 120 работникам. Работники должны быть квалифицированы для выполнения задачи и иметь только определенное количество часов в неделю. Около 80% заданий уже назна…
28 июн '16 в 16:24
3 ответа

Подобная библиотека Choco в C#

Есть ли подобная библиотека в C# для Choco (Contraint Programming)
20 сен '11 в 13:38
1 ответ

Ошибка Choco: начальное распространение: противоречие из-за

Я использую Choco и когда я пытаюсь решить модель, я получаю сообщение: - Initial Propagation: Contradiction due to [48.89604359598426,4.0] Что это значит? Я не мог найти это в документах.
23 май '14 в 13:52