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

Question

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

Answer 1

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