Choco Solver-在運行時間極長的情況下，如何獲得最接近的解決方案（滿足大多數約束條件）？

Question

在Choco Solver中，如果找到解決方案可能會花費太長時間，那么您如何獲得最接近的解決方案（該解決方案可以滿足目前最多的約束條件，但可能無法滿足所有約束條件）？

例如，如果我正在運行Model.getSolver（）。solve（）作為解決方案的中間，並且我決定盡管沒有找到解決方案，但是花費了足夠長的時間，如何才能輸出到目前為止最接近的解決方案？

Answer 1

似乎我第一次沒有很好地閱讀問題。

您可以更改模型以將硬約束轉換為軟約束，這意味着您可以將滿意度問題轉換為優化問題。