gurobi_iis ()

gurobi_iis

(model, params=NULL, env=NULL)

计算一个不可约不一致子系统(IIS)。

IIS是约束和变量边界的子集，具有以下属性:

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

注意，一个不可行的模型可能有多个IISs。Gurobi返回的不一定是最小的;可能存在其他约束或约束较少的对象。

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

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

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

您可以从返回的IIS结果(如下所述)中获取IIS计算结果的信息。注意，这种方法可以用于计算连续模型和MIP模型的IISs。

参数:

模型:模型列表必须包含有效的Gurobi模型。看到模型参数部分获取更多信息。

参数个数:参数列表，当提供时，包含修改后的Gurobi参数列表。看到参数个数参数部分获取更多信息。

env: env列表，当提供，允许您使用Gurobi计算服务器或Gurobi即时云。看到env参数部分获取更多信息。

使用示例:
模型< - gurobi_read(/数据/ klein1.mps例子) iis < - gurobi_iis(模型)返回值:

的gurobi_iis ()函数返回一个列表，各种结果存储在其命名的组件中。可用的具体结果取决于模型的类型。

返回的列表总是包含以下内容指定组件：

最小的: 一个逻辑标量，指示计算的IIS是否为最小值。它通常为true，但如果IIS计算提前停止(由于时间限制或用户中断)，它可能为false。
持续地: 一个逻辑向量，指示在计算的IIS中是否出现线性约束。
磅: 一个逻辑向量，指示在计算的IIS中是否出现下界。
乌兰巴托: 指示计算的IIS中是否出现上界的逻辑向量。

如果您的模型包含一般约束，则返回的列表还会包含以下内容吗指定组件：

genconmax: 一个逻辑向量，指示在计算的IIS中是否出现一般的MAX约束。
genconmin: 一个逻辑向量，指示在计算的IIS中是否出现一般的MIN约束。
genconand: 一个逻辑向量，指示在计算的IIS中是否出现一般的AND约束。
genconor: 一个逻辑向量，指示在计算的IIS中是否出现通用或约束。
genconabs: 一个逻辑向量，指示在计算的IIS中是否出现一般的ABS约束。
genconind: 一个逻辑向量，指示在计算的IIS中是否出现通用的INDICATOR约束。
genconpwl: 一个逻辑向量，指示在计算IIS中是否出现一般的分段线性函数约束。
genconpoly: 一个逻辑向量，指示在计算的IIS中是否出现多项式函数约束。
genconexp: 一种逻辑向量，指示在计算的IIS中是否出现自然指数函数约束。
genconexpa: 一种逻辑向量，指示在计算的IIS中是否出现指数函数约束。
genconlog: 一种逻辑向量，指示在计算IIS中是否出现自然对数函数约束。
genconloga: 一种逻辑向量，指示在计算的IIS中是否出现对数函数约束。
genconpow: 一种逻辑向量，指示在计算的IIS中是否出现幂函数约束。
genconsin: 一个逻辑向量，指示在计算的IIS中是否出现SIN函数约束。
genconcos: 一个逻辑向量，指示在计算的IIS中是否出现COS函数约束。
gencontan: 一个逻辑向量，指示在计算的IIS中是否出现TAN函数约束。

如果您的模型包含SOS约束，则返回列表还会包含以下内容吗指定组件：

紧急求救信号: 一个逻辑向量，指示在计算的IIS中是否出现SOS约束

如果您的模型包含二次约束，则返回列表还会包含以下内容吗指定组件：

quadcon: 一个逻辑向量，指示在计算的IIS中是否出现二次约束。