Gurobi优化器：在不优化模型的情况下确定可行性

在Gurobi中，是否有可能在没有实际优化问题的情况下查看一组约束和变量是否可行？看起来，如果目标是一个常数，Gurobi仍然需要大量的计算才能找到一个我不需要的最优解决方案！Gurobi优化器：在不优化模型的情况下确定可行性

2016-03-02 mnmp

对不起。除了可以在预解析器中检测到的非常容易的不可行性之外，Gurobi可能需要做大量的工作来证明该模型是可行还是不可行。这里没有银弹。

2016-03-02 08:12:13

谢谢！有没有办法让它更快？ – mnmp

我不确定这是否有帮助，但Gurobi有一种启发式方法来帮助找到称为可行性泵的整数可行解决方案。在某些情况下，当找到可行的整数解决方案非常困难时，设置PumpPasses可以提供帮助。我认为它不会很快证明模型是不可行的。 –

谢谢@Erwin。 – mnmp

回答