Decision Optimization

Decision Optimization

Delivers prescriptive analytics capabilities and decision intelligence to improve decision-making.

 View Only
  • 1.  MIS (Minimal Infeasible System)

    Posted Wed May 18, 2011 01:31 PM

    Originally posted by: dbaena


    Hello,

    It is possible to obtain the MIS (Minimal Infeasible System) of a problem with cplex?
    If there isn't a direct function, how can I get it? Thanks a lot!
    #CPLEXOptimizers
    #DecisionOptimization


  • 2.  Re: MIS (Minimal Infeasible System)

    Posted Wed May 18, 2011 02:19 PM

    Originally posted by: SystemAdmin


    yes, depending on which interface you are using, you can search for getConflict which extracts an array of constraints for those which are clearly part of the conflict and those that might be part of the conflict.
    #CPLEXOptimizers
    #DecisionOptimization


  • 3.  Re: MIS (Minimal Infeasible System)

    Posted Wed May 18, 2011 03:45 PM

    Originally posted by: dbaena


    Thank you,
    I'm using cplex 12 with C++.
    #CPLEXOptimizers
    #DecisionOptimization


  • 4.  Re: MIS (Minimal Infeasible System)

    Posted Wed May 18, 2011 04:09 PM

    Originally posted by: SystemAdmin


    But please note that you cannot get a conflicting subset of minimum cardinality. What you will get is an inclusion-wise minimal subset. This means, if you remove any of the remaining constraints and bounds, then the model becomes feasible. This does not mean that there is no conflicting subset with a smaller number of rows or bounds.
    #CPLEXOptimizers
    #DecisionOptimization