GRBModel::computeIIS()
计算不可调和子系统IIS分解约束和变量界限并有下列属性:
- 尚不可行
- 单约束或绑定消除后子系统变得可行
IIS结果返回多个属性:IISConstr,ISLB,IISUB,伊索斯,ISQConstr并IISGenConstr.表示对应模型元素是否计算出IIS成员
注意对通用功能约束模型而言,小线性约束近似可能导致不可靠的IIS结果
上头ISS日志信息提供算法进度, 包括猜测最终IIS大小
IIS计算完成前中断时, Gurobi返回最小可行子系统
上头IISCONTORE,ISLB系统,IISUBFORE,IISOS系统,ISQConstre并IISGenConstrForce属性允许输入模型元素或从计算IIS中排除设置属性一强制二入制解码数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组数组
举例子说明这些属性何时有用,请考虑初始模型已知可行,但在添加约束或紧限后不可行如果您只有兴趣知道哪些变化造成了不可行性,你可以强制非修改式界限和约束输入IIS允许IIS算法完全聚焦于新约束值,而新约束值往往大大加快速度
注意设置强力属性对0可能使生成子系统可行,从而无法构建二维系统试反正将产生GRB_ERROR_IIS_NOT_INFEASIBLE报错类似地,将属性设置为1可能会产生不可递减的IIS更精确地说,系统只能对强值为-1或0的模型元素不可减
这种方法填充IISConstr,ISQConstr并IISGenConstr约束属性伊索斯sOS属性ISLB并IISUB可变属性也可以写入二维码计算结果.i格式文件(见GRB模式:wride)文件只包含原型IIS
使用IISM方法参数调整IIS算法行为
注意此方法可用于计算连续模型和MIP模型的IIS
| 虚空 | 计算IIS) |
