GRBModel.computeIIS ()

GRBModel.computeIIS ()

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

• 这仍然是不可行的，而且
• 如果移除单个约束或约束，子系统就变得可行。

请注意，一个不可行的模型可能有多个iis。古罗比返回的那个不一定是最小的;可能存在其他约束或界限更少的情况。

IIS结果以一些属性返回:IISConstr，IISLB，IISUB，IISSOS，IISQConstr,IISGenConstr．每个参数都指示相应的模型元素是否为所计算的IIS的成员。

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

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

该方法填充IISConstr，IISQConstr,IISGenConstr约束属性,IISSOS， SOS属性，以及IISLB和IISUB变量的属性。还可以通过编写.ilp格式文件(见GRBModel.write)．这个文件只包含来自原始模型的IIS。

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

注意，该方法可用于计算连续模型和MIP模型的IISs。

无效	computeIIS()