constraint-programming
Я должен расширить выход и решение моего проекта (составить расписание экзаменов): -расширить структуру до пяти дней (я всегда работал на один день): Я подумал о moltiply количестве дней для slotstimes (5*10), а затем настроил выход! Есть ли лучший способ? Теперь весь код: include "globals.mzn";include "...
У меня есть один, вероятно, глупый вопрос. В настоящее время я тестирую CSP-решатели choco и jacop. Когда я запускаю профилирование приложения (цвет графика, около 3000 узлов), я не полностью понимаю результаты. Используемое пространство кучи, объявленное профилировщиком, составляет около 1 ГБ памяти. Сумма ...
Я хочу максимизировать разницу между двумя переменными: :- 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. ...
Это реальная проблема, решение которой я пытаюсь автоматизировать, поэтому я с удовольствием отвечу на любые вопросы или просьбы о разъяснении. Заранее спасибо за чтение и за любые мысли, которые у вас могут возникнуть по этому поводу. :) Edit: чтобы отличить от возможного дублирующего вопроса, я надеялся н...
Я читаю противоречивые вещи в документации. С одной стороны, этот отрывок, по-видимому, указывает на то, что возможны непрерывные переменные планирования: Диапазон плановых значений - это набор возможных плановых значений для переменная планирования. Этот набор может быть дискретным (например, строки ...
Я использую Choco для решения CSP. Я хочу сделать что-то вроде этого: BoolVar[] badRow = getBadRow(); solver.findOptimalSolution(ResolutionPolicy.MINIMIZE, sum(badRow)); Другими словами, Я хочу, чтобы система нашла решение, в котором бадроу имеет наименьшее количество истинных значений. Я не хочу, чтобы ...
Edit: эта головоломка также известна как"Загадка Эйнштейна" The кому принадлежит Зебра (можно попробуйте онлайн-версию здесь) является примером классического набора головоломок, и я уверен, что большинство людей на Stack Overflow могут решить его с помощью ручки и бумаги. Но как будет выглядеть программное р...