GRBModel.computeIIS ()


GRBModel.computeIIS ()

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

  • IIS所代表的子系统是不可行的,并且
  • 如果删除了IIS的任何约束或边界,那么子系统就变得可行了。
请注意,一个不可行的模型可能有多个iis。Gurobi返回的数据不一定具有最小基数;可能存在其他约束或界限更少的情况。

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

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

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

无效 computeIIS( )