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

Question

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

节点左侧目标IInf最佳整数最佳绑定ItCnt差距

  0     0    infeasible                                      11429      

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

-

错误消息无法解决

Answer 1

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

您可以在relaxing infeasible models的教程中以及CPLEX用户手册的diagnosing infeasibility by refining conflicts中阅读有关此内容的更多信息。

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