CPLEX Conflict refiner: Difference between revisions
(Created page with "{{Part Of Manual|title=the CPLEX Manual|link=CPLEX}} A conflict is a set of mutually contradictory constraints and bounds within a model. Given an infeasible model, TO...") |
No edit summary |
||
| Line 5: | Line 5: | ||
A file included in the TOMLAB distribution to enable easy use of the feature. | A file included in the TOMLAB distribution to enable easy use of the feature. | ||
==cpxBuildConflict== | |||
===Purpose=== | |||
cpxBuildConflict provides a shortcut for generating conflict refinement groups, for use with the Conflict Refinement feature of TOMLAB /CPLEX. | |||
===Calling Syntax=== | |||
<pre> | |||
(1) function confgrps = cpxBuildConflict(Prob,mode) | |||
OR | |||
(2) function confgrps = cpxBuildConflict(n,m lin,m quad,m sos,m ind,'mode') | |||
</pre> | |||
===Description of Inputs=== | |||
The following inputs are used: | |||
{| class="wikitable" | |||
!Input||Description | |||
|- | |||
|colspan="2"|Inputs for (1): function confgrps = cpxBuildConflict(Prob,mode) | |||
|-valign="top" | |||
|''Prob''||TOMLAB problem structure, describing a LP/QP/MILP/MIQP/MIQQ problem. | |||
|-valign="top" | |||
|''mode''||String indicating which type of conflict group set is desired. | |||
A 'full' conflict group set will consist of one group for each individual variable (upper+lower bound), linear, quadratic, sos and indicator constraint in the problem. This will be very large group set. | |||
A 'minimal' set consists of at the most 6 groups: one each for all variable lower+upper bounds, linear, sos, indicator, quad constraints. | |||
|-valign="top" | |||
|colspan="2"|Inputs for (2): function confgrps = cpxBuildConflict(n,m lin,m quad,m sos,m ind,'mode') | |||
|-valign="top" | |||
|''n''||Number of variables | |||
|-valign="top" | |||
|''m_lin''||Number of linear constraints | |||
|-valign="top" | |||
|''m_quad''||Number of quadratic constraints | |||
|-valign="top" | |||
|''m_sos''||Number of SOS constraints | |||
|-valign="top" | |||
|''m_ind''||Number of indicator constraints | |||
|-valign="top" | |||
|''mode''||Mode indicator as described above | |||
|} | |||
===Description=== | |||
The confgrps is used as an input to ''cplex.m ''or ''cplexTL.m''. | |||
Latest revision as of 08:45, 17 August 2011
|
|
This page is part of the CPLEX Manual. See CPLEX. |
A conflict is a set of mutually contradictory constraints and bounds within a model. Given an infeasible model, TOMLAB /CPLEX can identify conflicting constraints and bounds within it. TOMLAB /CPLEX refines an infeasible model by examining elements that can be removed from the conflict to arrive at a minimal conflict. A conflict smaller than the full model may make it easier for the user to analyze the source of infeasibilities in the original model.
If the model happens to contain multiple independent causes of infeasibility, it may be necessary for the user to repair one cause and then repeat the process with a further refinement.
A file included in the TOMLAB distribution to enable easy use of the feature.
cpxBuildConflict
Purpose
cpxBuildConflict provides a shortcut for generating conflict refinement groups, for use with the Conflict Refinement feature of TOMLAB /CPLEX.
Calling Syntax
(1) function confgrps = cpxBuildConflict(Prob,mode) OR (2) function confgrps = cpxBuildConflict(n,m lin,m quad,m sos,m ind,'mode')
Description of Inputs
The following inputs are used:
| Input | Description |
|---|---|
| Inputs for (1): function confgrps = cpxBuildConflict(Prob,mode) | |
| Prob | TOMLAB problem structure, describing a LP/QP/MILP/MIQP/MIQQ problem. |
| mode | String indicating which type of conflict group set is desired.
A 'full' conflict group set will consist of one group for each individual variable (upper+lower bound), linear, quadratic, sos and indicator constraint in the problem. This will be very large group set. A 'minimal' set consists of at the most 6 groups: one each for all variable lower+upper bounds, linear, sos, indicator, quad constraints. |
| Inputs for (2): function confgrps = cpxBuildConflict(n,m lin,m quad,m sos,m ind,'mode') | |
| n | Number of variables |
| m_lin | Number of linear constraints |
| m_quad | Number of quadratic constraints |
| m_sos | Number of SOS constraints |
| m_ind | Number of indicator constraints |
| mode | Mode indicator as described above |
Description
The confgrps is used as an input to cplex.m or cplexTL.m.
