GRBModel: computeIIS ()

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

注意，一个不可行的模型可能有多个IISs。古罗比返回的那个不一定是最小的那个;可能存在其他约束较少的人。

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（）