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

Я совершенно новичок в Choco и CP, но я делаю небольшую модель для решения проблемы дерева Штейнера, и Choco продолжает заставлять первый узел быть истинным, каким бы ни был график (и это неправильно, я проверил). У меня есть массив es из IntVar,...

Я пытаюсь написать решатель Shikaku в EclipsE Prolog. Мои ограничения определяются следующим образом: solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width,...

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

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

Я работаю над проектом, в котором мне нужно решить тысячи маленьких и больших «простых» примеров задач, подобных ранцу. Все мои экземпляры имеют одинаковую структуру, одинаковые ограничения, но различаются количеством элементов (т.е. переменных)....

Я использую решатель choco для решения моей проблемы с ограничениями. Возможно ли в Choco увеличить IntVar после условия, такого как model.ifThen?

Вопрос . Можно ли изменить приведенное выше, чтобы получить все возможные результаты вместо оптимизированного. Подробности . Имея набор данных о доспехах, я хочу создать набор комбинаций, в которых выполняются мои ограничения. Variable...

У меня есть список, определенный в одной части моей программы как people([tom,betty,sue,fred,charles,chay]) Я хотел бы ограничить переменную N значениями в этом домене. Что-то типа : setup(GroupCount) :- length(Group, GroupCount),...

Я пытаюсь решить проблему с маршрутизацией автомобиля с 5 водителями для доставки. Я использую гаверсинус и широту и долготу для вычисления матрицы расстояний. Я новичок в инструментах OR, поэтому следую примеру vrp. Проблема в том, что из 5...

Я прохожу курс на coursera, который использует minizinc. В одном из заданий я вечно крутил колеса, потому что моя модель не работала достаточно хорошо на скрытом тестовом примере. Я наконец решил это, изменив следующие типы доступа в моей модели...

Я пытаюсь добавить квадратичные ограничения в модель docplex, однако она интерпретирует их как линейные и выдает мне сообщения об ошибках. ниже выдержка из сценария вот квадратичное ограничение: mdl.add_constraints((mdl.sum(Allocation[o,p] *...

Я новичок в Google OR-Tools (и программировании с ограничениями в целом), и я пытаюсь добавить время простоя в пример Jobshop. Пример магазина вакансий, который я взял, можно найти здесь:...