[SCIP] minimal irreducible infeasible subsystem
hendel at zib.de
Fri Dec 11 14:19:40 CET 2015
Hi Ali and list,
you can figure out the number of violated constraints from the primal
bound. After the transformation, there is one binary variable added for
every constraint of the original problem, each with an objective
coefficient of 1. These variables are named "<originalconsname>_master"
You can display the problem after the minuc transformation by using
If you would like to know the constraints that are violated in the minuc
solution, type display solution and check which of the master variables
are set to 1.
Am 11.12.2015 um 12:10 schrieb Ali Baharev:
> I have already found
> and in particular:
> SCIP> read <file>
> SCIP> change minuc
> SCIP> optimize
> which works fine but how do I proceed from here?
> How can I figure out which constraints of the **original** problem
> belong to the irreducible inconsistent subsystem (IIS)?
> For the time being, it is sufficient for me to know the number of
> constraints in the IIS that were also in the original problem.
> Any help is greatly appreciated.
> Scip mailing list
> Scip at zib.de
More information about the Scip