cons_orbitope.h
Go to the documentation of this file.
18 * @brief constraint handler for (partitioning/packing/full) orbitope constraints w.r.t. the full symmetric group
24 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
57 * This constraint handler can be used to handle symmetries in certain 0/1-programs. The principle
58 * structure is that some variables can be ordered in matrix form, such that permuting columns does
59 * not change the validity and objective function value of a solution. That is, the symmetry group
67 * \f$x_{ij}\f$, \f$i \in \{1, \dots, p\}\f$, \f$j \in \{1, \dots, q\}\f$. The variables may be coupled
70 * \sum_{j = 1}^q x_{ij} \leq 1 \quad \mbox{or} \quad \sum_{j = 1}^q x_{ij} = 1 \quad \mbox{for all }i = 1, \ldots, p.
72 * Permuting columns of \f$x\f$ does not change the validity and objective function value of any feasible solution.
74 * We distinguish whether an orbitope is a model constraint or not. If it is a model constraint, then
75 * its information are copied to subSCIPs. Otherwise, the constraint was added just for the purpose of
82 SCIP_ORBITOPETYPE_FULL = 0, /**< constraint is a full orbitope constraint: rowsum(x) unrestricted */
83 SCIP_ORBITOPETYPE_PARTITIONING = 1, /**< constraint is a partitioning orbitope constraint: rowsum(x) == 1 */
84 SCIP_ORBITOPETYPE_PACKING = 2 /**< constraint is a packing orbitope constraint: rowsum(x) <= 1 */
90 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
123 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
129 * in its most basic variant, i. e., with all constraint flags set to their default values, which can be set
134 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
Definition: struct_scip.h:59
Definition: struct_var.h:198
type definitions for return codes for SCIP methods
SCIP_EXPORT SCIP_RETCODE SCIPcreateConsBasicOrbitope(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR ***vars, SCIP_ORBITOPETYPE orbitopetype, int nspcons, int nblocks, SCIP_Bool resolveprop, SCIP_Bool ismodelcons)
Definition: cons_orbitope.c:3969
Definition: struct_cons.h:37
type definitions for SCIP's main datastructure
type definitions for problem variables
SCIP_EXPORT SCIP_RETCODE SCIPincludeConshdlrOrbitope(SCIP *scip)
Definition: cons_orbitope.c:3787
Definition: cons_orbitope.h:84
Definition: cons_orbitope.h:82
SCIP_EXPORT SCIP_RETCODE SCIPcreateConsOrbitope(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR ***vars, SCIP_ORBITOPETYPE orbitopetype, int nspcons, int nblocks, SCIP_Bool resolveprop, SCIP_Bool ismodelcons, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
Definition: cons_orbitope.c:3851
common defines and data types used in all packages of SCIP
Definition: objbenders.h:33
Definition: cons_orbitope.h:83
type definitions for constraints and constraint handlers