GRBModel.ComputeIIS ()


GRBModel.ComputeIIS ()

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

  • 这仍然是不可行的,而且
  • 如果单个约束或约束被移除,子系统就变得可行。
注意,一个不可行的模型可能有多个IISs。Gurobi返回的不一定是最小的;可能存在其他约束或约束较少的对象。

IIS的结果通过以下几个属性返回:IISConstrIISLBIISUBIISSOSIISQConstr,IISGenConstr.每个都指示相应的模型元素是否为计算的IIS的成员。

IIS日志提供关于算法进展的信息,包括对最终IIS大小的猜测。

如果IIS计算在完成之前被中断,Gurobi将返回到该点所找到的最小的不可行的子系统。

方法填充IISConstrIISQConstr,IISGenConstr约束属性,IISSOS, SOS属性,和IISLBIISUB变量的属性。您还可以通过编写一个.ilp格式文件(见GRBModel。写)。这个文件只包含来自原始模型的IIS。

使用IISMethod参数来调整IIS算法的行为。

注意,这种方法可以用于计算连续模型和MIP模型的IISs。

无效 ComputeIIS( )