检查Gurobi冗余约束

Question

有没有办法检查Gurobi是否向模型添加了额外的冗余约束？

我在每一次迭代中都尝试了model.write()，它看起来很好。但是，我的输出仍然不是我所期望的。

我想检查一下Gurobi在求解时是否添加了任何不需要的约束。

Answer 1

你的说法有些矛盾:如果gurobi在一开始就添加了冗余的约束，那么预先解决的步骤会再次删除它们，第二步是冗余的，这意味着它们不会影响解决方案。因此，在你这边会有一个建模错误。

正如sascha提到的，任何约束生成例程/预解算步骤都不太可能被错误地实现--这样的错误会立即出现，也就是在修补到已发布的版本之前。

从理论上讲:这些方法需要数学证明，保证它们不会切断可行的解决方案。有时会被忽略的是，我最近才做的，是所有变量的默认下限0，这是根据标准形式的LP表示法产生的。

如果您要发布初始问题的.lp和.mps文件，则可以进行进一步的调查。这样人们就可以调查自己了。