GRBModel.ComputeIIS ()
GRBModel.ComputeIIS ()
计算一个不可约不一致子系统(IIS)。IIS是约束和变量边界的子集,具有以下属性:
- 这仍然是不可行的,而且
- 如果单个约束或约束被移除,子系统就变得可行。
IIS的结果通过以下几个属性返回:IISConstr,IISLB,IISUB,IISSOS,IISQConstr,IISGenConstr.每个都指示相应的模型元素是否为计算的IIS的成员。
的IIS日志提供关于算法进展的信息,包括对最终IIS大小的猜测。
如果IIS计算在完成之前被中断,Gurobi将返回到该点所找到的最小的不可行的子系统。
方法填充IISConstr,IISQConstr,IISGenConstr约束属性,IISSOS, SOS属性,和IISLB和IISUB变量的属性。您还可以通过编写一个.ilp
格式文件(见GRBModel。写)。这个文件只包含来自原始模型的IIS。
使用IISMethod参数来调整IIS算法的行为。
注意,这种方法可以用于计算连续模型和MIP模型的IISs。
无效 | ComputeIIS( ) |