在输出日志(通常gurobi.log),你可能会看到消息
现任用户MIP开始没有产生一个新的解决方案
这个消息是当Gurobi拒绝提供的MIP开始打印。有几个可能的原因:
- Gurobi至少已经有一个解决方案提供的MIP开始。
- 提供的MIP模型是不可行的。在这种情况下,可能会有一个额外的消息类似于下面给你一些提示:
2934.000000000用户MIP开始违反约束c1
- 有数值问题,例如,MIP开始只有几乎是可行的或唯一可行的公差范围内。
在最后两个情况下Gurobi可能拒绝MIP开始,但然后回去试试MIP presolve后重新开始。在日志中你将会看到:
MIP的另一个尝试开始
如果你想诊断一个不可行的MIP的开始,你可以试着修复模型中的变量值在你MIP(通过设置他们的开始较低的和上绑定属性的MIP开始值)。
如果生成的MIP模型不可行,你可以计算一个IIS在这个模型中得到额外的信息可能有助于识别不可能实行的原因。
评论
0评论
文章是关闭了评论。