Scippy

SCIP

Solving Constraint Integer Programs

Functions
sepa_disjunctive.h File Reference
Separators

Detailed Description

disjunctive cut separator

Author
Tobias Fischer
Marc Pfetsch

We separate disjunctive cuts for two term disjunctions of the form $x_1 = 0 \vee x_2 = 0$. They can be generated directly from the simplex tableau. For further information, we refer to
"A complementarity-based partitioning and disjunctive cut algorithm for mathematical programming problems with equilibrium constraints"
Júdice, J.J., Sherali, H.D., Ribeiro, I.M., Faustino, A.M., Journal of Global Optimization 36(1), 89–114 (2006)

Cut coefficients belonging to integer variables can be strengthened by the 'monoidal cut strengthening' procedure, see
"Strengthening cuts for mixed integer programs"
Egon Balas, Robert G. Jeroslow, European Journal of Operational Research, Volume 4, Issue 4, 1980, Pages 224-234

Definition in file sepa_disjunctive.h.

#include "scip/scip.h"

Go to the source code of this file.

Functions

SCIP_RETCODE SCIPincludeSepaDisjunctive (SCIP *scip)
 

Function Documentation

SCIP_RETCODE SCIPincludeSepaDisjunctive ( SCIP *  scip)

creates the disjunctive cut separator and includes it in SCIP

Parameters
scipSCIP data structure

Definition at line 862 of file sepa_disjunctive.c.

References DEFAULT_MAXCONFSDELAY, DEFAULT_MAXDEPTH, DEFAULT_MAXINVCUTS, DEFAULT_MAXINVCUTSROOT, DEFAULT_MAXRANK, DEFAULT_MAXRANKINTEGRAL, DEFAULT_MAXROUNDS, DEFAULT_MAXROUNDSROOT, DEFAULT_MAXWEIGHTRANGE, DEFAULT_STRENGTHEN, FALSE, NULL, SCIP_CALL, SCIP_OKAY, SCIP_REAL_MAX, SCIPaddBoolParam(), SCIPaddIntParam(), SCIPaddRealParam(), SCIPallocMemory, SCIPincludeSepaBasic(), SCIPsetSepaCopy(), SCIPsetSepaFree(), SCIPsetSepaInitsol(), SEPA_DELAY, SEPA_DESC, SEPA_FREQ, SEPA_MAXBOUNDDIST, SEPA_NAME, SEPA_PRIORITY, SEPA_USESSUBSCIP, and TRUE.

Referenced by SCIP_DECL_SEPACOPY(), SCIP_DECL_SEPAEXECLP(), and SCIPincludeDefaultPlugins().