Gurobi无可行解

Question

我的模型求解结果是infeasible，进行了多次参数调试都无可行解
因此我使用model.computeIIS()查找矛盾约束，并生成ilp文件

MCFproblem.computeIIS()
MCFproblem.write('model.ilp')

得到的结果如下：

IIS computed: 1 constraints, 0 bounds
IIS runtime: 0.06 seconds (0.00 work units)
 R756: = -12

我的原文代码一共 三百多行，怎么根据这个R756知道我的问题主要是哪一个约束矛盾？

Answer 1

这个问题产生的原因是在写约束的时候不规范，使用model.addConstr（）有两个参数，第一个参数是约束的表达式，第二个参数可以用name设置约束的名字，便于后续查找，例如model.addConstr（x+y<=0,name=con1),后续假如模型无解采用IIS查找约束时就可以直接输出约束的名字con1