[Scip] Disjunctive cuts

Marc Pfetsch pfetsch at mathematik.tu-darmstadt.de
Fri Dec 27 13:36:30 CET 2013



Hi Victor,

well, the answer to your question below depends on what you mean. 
Disjunctive cuts are very general, so an implementation would depend on 
the concrete problem at hand. For mixed integer programs, there are (at 
least) two options:

One option would be lift-and-project cuts, but to make these efficient 
it seems that one needs a tight interaction with the LP-solver (to an 
extent that most solvers do not make this available through the API) and 
a lot of time. Thus, these cuts are not implemented in SCIP and will 
probably not be implemented for a while. Of course, volunteers are 
always welcome.

The other option is to derive these cuts from the simplex tableau. This 
is equivalent to mixed integer Gomory cuts (which are implemented in SCIP).

Best

Marc


On 25.12.2013 17:59, Victor Miller wrote:
> Does Scip have support for disjunctive cuts?  I see that it has
> disjunctive constraints (but that's something different).
>
> Victor
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>


More information about the Scip mailing list