GRBcomputeIIS

int

GRBcomputeIIS（

GRBmodel

*模型)

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

请注意，一个不可行的模型可能有多个iis。Gurobi返回的数据不一定具有最小基数;可能存在其他约束或界限更少的情况。

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

这个例程填充IISConstr，IISGenConstr，IISQConstr，IISSOS，IISLB,IISUB属性。还可以通过编写.ilp格式文件(见GRBwrite)．这个文件只包含来自原始模型的IIS。

注意，此例程可用于计算连续模型和MIP模型的IISs。

返回值:

非零返回值表明在计算IIS时发生了问题。指的是错误代码表中可能的返回值列表。关于错误的详细信息可以通过调用GRBgeterrormsg．

参数:

模型:不可行的模式。如果输入模型是可行的，这个例程将返回一个错误。

重要提示:

这个例程只报告计算是否出现错误。查询IISConstr，IISGenConstr，IISQConstr，IISSOS，IISLB,或IISUB属性来确定计算结果(请参阅属性章节以获取关于查询属性的更多信息)。

使用示例:

错误= GRBcomputeIIS(模型);