grbmodel :: computeiis()
grbmodel :: computeiis()
计算一个不可减少的不一致子系统(IIS)。IIS是约束和可变界限的子集,具有以下属性:
- 由IIS表示的子系统是不可行的,而且
- 如果删除了IIS的任何约束或界限,则子系统变得可行。
如果在完成之前中断IIS计算,Gurobi将返回该点的最小IIS。
这种方法填充了Iisconstr.
那IISQCONSTR.
, 和Iisgenconstr.
约束属性,Iissos.
sos属性,和IISLB.
, 和iisub.
变量属性。您还可以通过写作a获取有关IIS计算结果的信息.ilp.
格式文件(参见grbmodel ::写)。此文件仅包含原始模型的IIS。
请注意,此方法可用于计算IISS对于连续和MIP模型。
空白 | computeiis.() |