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

Question

在 Gurobi 中，是否可以在不实际优化问题的情况下查看一组约束和变量是否可行？似乎如果目标是一个常数，Gurobi 仍然会进行大量繁重的计算来找到我不需要的最佳解决方案！

score 2 · Accepted Answer

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

score 0 · Accepted Answer

我不确定是否有更好的方法来做到这一点，但是一旦满足条件，您可以使用解决方案限制或时间限制来停止求解器。

例如：

model.Params.SolutionLimit = n一旦找到 n 个解，就停止求解器。

model.Params.SolutionLimit = n一旦求解器运行了 n 秒，它就会停止。

2 回答 2