grbmodel :: computeiis()


grbmodel :: computeiis()

计算一个不可减少的不一致子系统(IIS)。IIS是约束和可变界限的子集,具有以下属性:

  • 由IIS表示的子系统是不可行的,而且
  • 如果删除了IIS的任何约束或界限,则子系统变得可行。
注意,一个可行的模型可能有多个IISS。Gurobi返回的那个不一定是最小基数的人;可能存在较少的限制或界限。

如果在完成之前中断IIS计算,Gurobi将返回该点的最小IIS。

这种方法填充了Iisconstr.IISQCONSTR., 和Iisgenconstr.约束属性,Iissos.sos属性,和IISLB., 和iisub.变量属性。您还可以通过写作a获取有关IIS计算结果的信息.ilp.格式文件(参见grbmodel ::写)。此文件仅包含原始模型的IIS。

请注意,此方法可用于计算IISS对于连续和MIP模型。

空白 computeiis.()