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

Question

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

Например, если я в процессе запуска Model.getSolver(). Solve() для решения и решил, что оно занимает достаточно много времени, несмотря на отсутствие решения, как я могу вывести наиболее близкое решение до сих пор?

Answer 1

Кажется, я плохо прочитал вопрос в первый раз.

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