将 Pyomo 与启发式求解器一起使用

Question

我正在使用 Pyomo 对我的优化问题 (MILP) 建模并使用 Gurobi 解决它。

知道我不关心 Gap 界限，使用 Pyomo 模型找到启发式解决方案的最佳、最快或最简单的方法是什么。

注意：我知道 Gurobi 有一个启发式求解器，但它不知道他们使用的是什么启发式算法！

Answer 1

为某些 MILP 问题找到启发式解决方案在复杂性方面与优化它一样困难！

一般来说，没有最好、最快、最简单的方法。你总是想利用一些问题特征。

首先，只需使用任何 MIP 求解器并调整参数以反映您的需求。如果您只需要任何启发式解决方案，请调整求解器的可行性，这可能意味着更高频率的启发式步骤并使用第一个可行解决方案提前停止。

是的，您不会知道 Gurobi 在内部使用什么。但是了解所有代码也无济于事。这肯定不是你可以在维基百科上找到的东西（除了经典的东西，比如 feasibility pump 或 Relaxation induced neighborhood search）。

如果您想了解更多关于这些方法的信息，请查看有关 MIP 启发式的论文！您会看到，大多数启发式方法都与问题的 MIP 性质紧密相关（尽管我希望在商业问题中也能在内部使用一些 SAT 求解器）。