如何在 CPLEX (OPL IDE) 中检测导致 MIP 不可行的约束

Question

我有一组约束使我的解决方案在 CPLEX 中不可行（在 OPL IDE 中编码）。如何找出哪些约束导致不可行？

Node Left Objective IInf Best Integer Best Bound ItCnt Gap

  0     0    infeasible                                      11429      

• 尝试将参数校准为报告的实际值。 --- 2 个参数未知。尝试设置约束以匹配某些决策变量的模型输出，使其接近其实际值。约束可能太紧了。我尝试通过在 RHS 上允许一系列可接受的值来使它们变得灵活。

--

没有解决办法就是报错信息

Answer 1

您应该能够在Conflict 选项卡上看到冲突。例如，这是文档中的屏幕截图：

您可以在relaxing infeasible models 的教程中阅读更多相关信息，也可以在CPLEX 用户手册中的diagnosing infeasibility by refining conflicts 中阅读。

提示：确保您拥有labeled your constraints。