Gurobi Optimizer：在不优化模型的情况下确定可行性
Gurobi Optimizer: determining feasibility without optimizing the model
在Gurobi中，是否可以在不实际优化问题的情况下查看一组约束和变量是否可行？看来如果 objective 是一个常数，Gurobi 仍然需要进行大量繁重的计算才能找到最优解，而我不需要！
对不起。除了可以在预求解器中检测到的非常容易的不可行性之外，Gurobi 可能需要做很多工作来证明模型是可行的还是不可行的。这里没有灵丹妙药。
我不确定是否有更好的方法来执行此操作，但您可以使用解决方案限制或时间限制在满足条件后停止求解器。
例如：
一旦找到 n 个解，model.Params.SolutionLimit = n 停止求解器。
model.Params.SolutionLimit = n 求解器在 运行 也持续 n 秒后停止。
您可以查看此 gurobi 参数页面了解更多信息here
在Gurobi中，是否可以在不实际优化问题的情况下查看一组约束和变量是否可行？看来如果 objective 是一个常数，Gurobi 仍然需要进行大量繁重的计算才能找到最优解，而我不需要！
对不起。除了可以在预求解器中检测到的非常容易的不可行性之外，Gurobi 可能需要做很多工作来证明模型是可行的还是不可行的。这里没有灵丹妙药。
我不确定是否有更好的方法来执行此操作，但您可以使用解决方案限制或时间限制在满足条件后停止求解器。
例如：
一旦找到 n 个解，model.Params.SolutionLimit = n 停止求解器。
model.Params.SolutionLimit = n 求解器在 运行 也持续 n 秒后停止。
您可以查看此 gurobi 参数页面了解更多信息here