java - Choco Solver - 在运行时间极长的情况下，您如何获得最接近的解决方案（满足最多的约束）？

Question

在 Choco Solver 中，在找到解决方案可能需要很长时间的情况下，如何获得最接近的解决方案（迄今为止满足最多约束但可能不满足所有约束的解决方案）？

例如，如果我正在运行 Model.getSolver().solve() 以获得解决方案，并且我已经决定尽管没有找到解决方案但它需要足够长的时间，那么我如何输出迄今为止最接近的解决方案？

Answer 1

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

您可以更改模型以将硬约束转变为软约束，这意味着您将满意度问题转变为优化问题您可以为此使用约束具体化。