在 pyomo 上使用 MILP 問題的預求解器

Question

我有一個優化 model 寫在 pyomo 上。 當我使用 gurobi 運行它時，它會很快輸出問題的答案。 主要是因為它高效的預求解器。 有沒有辦法在調用實際求解器之前對 pyomo 進行預求解，以便我可以使用非商業軟件包（如 couenne 或 cbc）測試我的 model？

Answer 1

正如@gmavrom 所提到的，重要的是要知道您要通過預求解來完成什么，因為許多不同的技術可能被認為是“預求解”操作。 商業求解器在調整各自的預求解操作上投入了大量的工程精力。

正如@Erwin 指出的那樣，像 AMPL 這樣的商業 AML 有時也提供預解析功能。

在 Pyomo 中，您可以通過直接對優化建模對象進行操作來實現各種“預求解”技術。 以pyomo.contrib.fbbt中實現的基於可行性的邊界收緊為例： https://github.com/Pyomo/pyomo/blob/master/pyomo/contrib/fbbt/fbbt.py