gurobi_iis()

gurobi_iis

( model, params=NULL, env=NULL )

Compute an Irreducible Inconsistent Subsystem (IIS).

An IIS is a subset of the constraints and variable bounds with the following properties:

the subsystem represented by the IIS is infeasible, and
if any of the constraints or bounds of the IIS is removed, the subsystem becomes feasible.

Note that an infeasible model may have multiple IISs. The one returned by Gurobi is not necessarily the one with minimum cardinality; there may exist others with fewer constraints or bounds.

If an IIS computation is interrupted before completion, Gurobi will return the smallest IIS found to that point.

You can obtain information about the outcome of the IIS computation from the returned IIS result (described below). Note that this method can be used to compute IISs for both continuous and MIP models.

Arguments:

model: The modellistmust contain a valid Gurobi model. See themodelargument section for more information.

params: The paramslist, when provided, contains a list of modified Gurobi parameters. See theparamsargument section for more information.

env: The envlist, when provided, allows you to use Gurobi Compute Server or Gurobi Instant Cloud. See theenvargument section for more information.

Example usage:
model <- gurobi_read('examples/data/klein1.mps') iis <- gurobi_iis(model)Return value:

Thegurobi_iis()function returns alist, with various results stored in its named components. The specific results that are available depend on the type of model.

The returnedlistwill always contain the followingnamed components:

minimal: A logical scalar that indicates whether the computed IIS is minimal. It will normally be true, but it may be false if the IIS computation was stopped early (due to a time limit or a user interrupt).
Arows: A logical vector that indicates whether a linear constraint appears in the computed IIS.
lb: A logical vector that indicates whether a lower bound appears in the computed IIS.
ub: A logical vector that indicates whether a upper bound appears in the computed IIS.

If your model contains general constraints, the returnedlistwill also contain the followingnamed components:

genconmax: A logical vector that indicates whether a general MAX constraint appears in the computed IIS.
genconmin: A logical vector that indicates whether a general MIN constraint appears in the computed IIS.
genconand: A logical vector that indicates whether a general AND constraint appears in the computed IIS.
genconor: A logical vector that indicates whether a general OR constraint appears in the computed IIS.
genconabs: A logical vector that indicates whether a general ABS constraint appears in the computed IIS.
genconind: A logical vector that indicates whether a general IND constraint appears in the computed IIS.

如果你的模型包含SOS约束,回报edlistwill also contain the followingnamed component:

sos: A logical vector that indicates whether an SOS constraint appears in the computed IIS

If your model contains quadratic constraints, the returnedlistwill also contain the followingnamed component:

quadcon: A logical vector that indicates whether a quadratic constraint appears in the computed IIS.