grbcomputeiis.


grbcomputeiis.

grbcomputeiis. grbmodel. *模型 )

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

  • 由IIS表示的子系统是不可行的,而且
  • 如果删除IIS的任何约束或界限,则子系统变得可行。
注意,一个可行的模型可能有多个IISS。Gurobi返回的那个不一定是最小基数的人;可能存在其他限制或界限。

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

这个例程填充了Iisconstr.Iisgenconstr.IISQCONSTR.Iissos.IISLB., 和Iisub.属性。您还可以通过编写a获取有关IIS计算结果的信息.ilp.格式文件(参见grbwrite.)。此文件仅包含原始模型的IIS。

请注意,此例程可用于计算IISS,用于连续和MIP模型。

返回值:

非零返回值表示计算IIS时发生问题。参考错误代码表格有可能返回值列表。有关错误的详细信息可以通过呼叫获得grbgeterramsg.

论点:

模型:不可行的模型。如果输入模型是可行的,则此例程将返回错误。

重要的提示:

此例程仅报告计算是否遇到错误。查询Iisconstr.Iisgenconstr.IISQCONSTR.Iissos.IISLB., 要么Iisub.要确定计算结果的属性(请参阅属性有关查询属性的更多信息的部分)。

示例用法:

错误= grbcomputeiis(型号);