Choco求解器 - 如果在运行时间非常长的情况下，如何获得最接近的解决方案（满足大多数约束）？

Question

在巧克力求解器中，如果找到解决方案可能需要很长时间，您如何获得最接近的解决方案（目前满足大多数约束的解决方案，但可能无法满足所有约束）？

例如，如果我正在为解决方案运行Model.getSolver（）。solve（），并且我已经决定尽管找不到解决方案需要足够长时间，但是如何输出最接近的解决方案至今？

Answer 1

看来我第一次没有很好地读到这个问题。

您可以更改模型将硬约束转换为软约束 这意味着您将满意度问题转化为优化问题 您可以使用约束条件。