GRB计算IIS
整数 | GRB计算IIS高山市 | GRB模型 | 模范 |
计算不可调和子系统IIS分解约束和变量界限并有下列属性:
- 尚不可行
- 单约束或绑定消除后子系统变得可行
IIS结果返回多个属性:IISConstr,ISLB,IISUB,伊索斯,ISQConstr并IISGenConstr.表示对应模型元素是否计算出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,IISGenConstr,ISQConstr,伊索斯,ISLB并IISUB属性。也可以写入二维码计算结果.i
格式文件(见gRBwrite基础)文件只包含原型IIS
使用IISM方法参数调整IIS算法行为
注意此例程可用于计算连续和MIP模型的IIS
返回值:
非零返回值表示计算IIS时出问题参考错误代码表格列表可能的返回值细节错误可调用获取gRBGETERORMSG.
参数 :
模型化:不可行模型例程返回错误
重要注解 :
例程只报告计算是否误差查询IISConstr,IISGenConstr,ISQConstr,伊索斯,ISLB或IISUB属性判定计算结果属性化段了解更多查询属性)
示例用法
错误=GRBcomputeIIS(模型);