Gurobi優化器：在不優化模型的情況下確定可行性

在Gurobi中，是否有可能在沒有實際優化問題的情況下查看一組約束和變量是否可行？看起來，如果目標是一個常數，Gurobi仍然需要大量的計算才能找到一個我不需要的最優解決方案！Gurobi優化器：在不優化模型的情況下確定可行性

2016-03-02 mnmp

對不起。除了可以在預解析器中檢測到的非常容易的不可行性之外，Gurobi可能需要做大量的工作來證明該模型是可行還是不可行。這裏沒有銀彈。

2016-03-02 08:12:13

謝謝！有沒有辦法讓它更快？ – mnmp

我不確定這是否有幫助，但Gurobi有一種啓發式方法來幫助找到稱爲可行性泵的整數可行解決方案。在某些情況下，當找到可行的整數解決方案非常困難時，設置PumpPasses可以提供幫助。我認爲它不會很快證明模型是不可行的。 –

謝謝@Erwin。 – mnmp

回答