Model.computeIIS ()
Model.computeIIS ()
computeIIS(空白)计算一个不可约不一致子系统(IIS)。IIS是约束和变量边界的子集,具有以下属性:
- IIS所代表的子系统是不可行的,并且
- 如果IIS的任何约束或边界被移除,子系统就变得可行。
如果IIS计算在完成之前被中断,Gurobi将返回到该点找到的最小的IIS。
方法填充IISCONSTR
,IISQCONSTR
,IISGENCONSTR
约束属性,IISSOS
SOS属性,以及IISLB
,IISUB
变量的属性。还可以通过编写一个.ilp
格式文件(见Model.write).这个文件只包含来自原始模型的IIS。
注意,这种方法可以用于计算连续模型和MIP模型的IISs。
使用示例:
model.computeIIS () model.write(“model.ilp”)