constraint-programming

0зной

2ответ

Условные контрсилами в линейном программировании для не булевых переменных

Вопрос 1: х, у являются целыми неотрицательными переменными я есть условие - если х> 0, то у = 0 Вопрос 2: а, б , c, d, e - целые неотрицательные переменные , если какой-либо из вышеперечисленных> 0,

2зной

1ответ

Использование Z3 для выборки из ограниченного пространства

У меня есть куча ограничений на переменные, и я ищу способ эффективно опробовать это ограниченное пространство. Я опробовал Z3 и, похоже, смог сказать мне, что пространство нетривиально (т. Е. Если ог

2зной

1ответ

Сопряжение программирования Solver Решение JaCoP найдено, но сохраняет несоответствие

Я использую JaCoP - решатель программирования ограничений для Java - для вычисления решения сложной задачи планирования. Теперь я столкнулся с проблемой, что найденное решение неверно. Я навязывание с

3зной

2ответ

Как использовать предикат члена для указания ограничений в прологе

Я пытаюсь написать программу Prolog, которая выполняет следующие действия: У меня есть некоторые отношения, определенные в списке отношений. (Например: [f1, s1] означает, что f1 требуется s1) В зависи

0зной

2ответ

Python: медленный вложенный цикл

Мне нужно найти оптимальный выбор носителя, основанный на определенных ограничениях. Я делаю это в четырехмерном вложенном цикле, и поскольку это потребует итераций O (n^4), оно медленное. Я пытался с

4зной

1ответ

Линейное уравнение с одним неизвестным с помощью пролога

Мне интересно, как решить основное линейное уравнение с одним неизвестным. Я попытался сделать это путем разделения строк, чтобы получить все, что мне нужно для решения уравнения, но я уверен, что ест