过滤内容,
版本
文本搜索
gurobi_iis ()
gurobi_iis | (模型) |
gurobi_iis | (模型、参数) |
计算一个不可约子系统(IIS)不一致。
IIS是约束和变量的子集界限以下属性:
- 它仍然是不可行的
- 如果删除单个约束或绑定,子系统变得可行。
您可以获得信息IIS的结果计算从IIS返回结果(在下面描述)。注意,这个方法可以用来计算IISs连续和MIP模型。
参数:
模型:模型结构体必须包含一个有效的Gurobi模型。看到模型论证部分获得更多信息。
参数个数:参数结构体提供,包含一系列修改Gurobi参数。看到参数个数论证部分获得更多信息。
使用示例:
模型= gurobi_read(例子/数据/ klein1.mps);
iis = gurobi_iis(模型);
返回值:
的gurobi_iis ()函数返回一个结构体,各种结果存储在它的领域。可用的具体结果取决于类型的模型。
返回的结构体总是包含以下吗字段:
- 最小的
- 一个逻辑标量表明是否计算IIS是最小的。它将通常是正确的,但它可能是假的,如果IIS早就停止了计算(由于时间限制或用户中断)。
- 持续地
- 一个逻辑向量计算表明一个线性约束是否出现在IIS。
- 磅
- 一个逻辑向量计算表明一个下界是否出现在IIS。
- 乌兰巴托
- 一个逻辑向量计算表明一个上界是否出现在IIS。
如果你的模型包含通用约束,又回来了结构体还将包含以下吗字段:
- genconmax
- 逻辑向量表明一个通用最大约束是否出现在IIS计算。
- genconmin
- 逻辑向量表明一个通用最小约束是否出现在IIS计算。
- genconand
- 一个逻辑向量表明一个将军和约束是否出现在IIS计算。
- genconor
- 逻辑向量表示是否通用或约束计算IIS中出现。
- genconabs
- 一个逻辑向量表明一个通用ABS约束是否出现在IIS计算。
- genconind
- 逻辑向量表明一个通用指标约束是否出现在IIS计算。
- genconpwl
- 逻辑向量表示一般的分段线性函数约束是否出现在IIS计算。
- genconpoly
- 一个逻辑向量表明一个多项式函数约束是否出现在IIS计算。
- genconexp
- 逻辑向量表示是否自然指数函数约束计算IIS中出现。
- genconexpa
- 一个逻辑向量表明一个指数函数约束是否出现在IIS计算。
- genconlog
- 逻辑向量表示是否自然对数函数约束计算IIS中出现。
- genconloga
- 一个逻辑向量表明一个对数函数约束是否出现在IIS计算。
- genconpow
- 一个逻辑向量表明一个幂函数约束是否出现在IIS计算。
- genconsin
- 逻辑向量表明一个罪是否函数约束计算IIS中出现。
- genconcos
- 一个逻辑向量表示是否因为函数约束计算IIS中出现。
- gencontan
- 逻辑向量表示是否晒黑函数约束计算IIS中出现。
如果你的模型包含SOS约束,又回来了结构体还将包含以下吗场:
- 紧急求救信号
- 一个逻辑向量表示是否SOS约束计算IIS中出现
如果你的模型包含二次约束,又回来了结构体还将包含以下吗场:
- quadcon
- 一个逻辑向量计算表明一个二次约束是否出现在IIS。