1

我想使用 ILP 求解器（例如lp_solve）来找到优化问题的解决方案。

挑战在于某些约束过于复杂，无法形式化为线性语句，但可以使用模拟框架进行验证。

所以我需要运行求解器，根据我的复杂约束检查解决方案，如果他们不满意，继续使用第二好的解决方案等。

是否有一个求解器不仅提供最优解，而且提供关于给定目标函数的最佳 n 个解？

4

1 回答 1

2

就在这里：

  1. 求解器通过解决方案池支持它，

  2. 或者您必须通过求解器的 API 提供的回调函数自己构建这个求解池。

在后一种情况下，每当找到一个新的、比当时最好的解决方案更好的解决方案时，都会调用相应的回调函数。我所知道的所有著名求解器都支持第二个选项。

有关此主题的更多信息：

于 2013-10-21T14:23:38.997 回答