Try our new documentation site (beta).
gurobi_iis()
gurobi_iis | ( model, params=NULL ) |
Compute an Irreducible Inconsistent Subsystem (IIS).
An IIS is a subset of the constraints and variable bounds with the following properties:
- It is still infeasible, and
- If a single constraint or bound is removed, the subsystem becomes feasible.
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 model list must contain a valid Gurobi model. See the model argument section for more information.
params: The params list, when provided, contains a list of modified Gurobi parameters. See the params argument section for more information.
Example usage:
model <- gurobi_read('examples/data/klein1.mps')
iis <- gurobi_iis(model)
Return value:
The gurobi_iis() function returns a list, with various results stored in its named components. The specific results that are available depend on the type of model.
The returned list will always contain the following named 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 returned list will also contain the following named 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 INDICATOR constraint appears in the computed IIS.
- genconpwl
- A logical vector that indicates whether a general piecewise-linear function constraint appears in the computed IIS.
- genconpoly
- A logical vector that indicates whether a polynomial function constraint appears in the computed IIS.
- genconexp
- A logical vector that indicates whether a natural exponential function constraint appears in the computed IIS.
- genconexpa
- A logical vector that indicates whether a exponential function constraint appears in the computed IIS.
- genconlog
- A logical vector that indicates whether a natural logarithmic function constraint appears in the computed IIS.
- genconloga
- A logical vector that indicates whether a logarithmic function constraint appears in the computed IIS.
- genconlogistic
- A logical vector that indicates whether a logistic function constraint appears in the computed IIS.
- genconpow
- A logical vector that indicates whether a power function constraint appears in the computed IIS.
- genconsin
- A logical vector that indicates whether a SIN function constraint appears in the computed IIS.
- genconcos
- A logical vector that indicates whether a COS function constraint appears in the computed IIS.
- gencontan
- A logical vector that indicates whether a TAN function constraint appears in the computed IIS.
If your model contains SOS constraints, the returned list will also contain the following named component:
- sos
- A logical vector that indicates whether an SOS constraint appears in the computed IIS
If your model contains quadratic constraints, the returned list will also contain the following named component:
- quadcon
- A logical vector that indicates whether a quadratic constraint appears in the computed IIS.