cons_orbitope.h
Go to the documentation of this file.
18 * @brief constraint handler for (partitioning/packing) orbitope constraints w.r.t. the full symmetric group 22 * This constraint handler can be used to handle symmetries in certain 0/1-programs. The principle 23 * structure is that some variables can be ordered in matrix form, such that permuting columns does 24 * not change the validity and objective function value of a solution. That is, the symmetry group 30 * \f$x_{ij}\f$, \f$i \in \{1, \dots, p\}\f$, \f$j \in \{1, \dots, q\}\f$. The variables are coupled 33 * \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. 35 * Permuting columns of \f$x\f$ does not change the validity and objective function value of any feasible solution. 38 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/ 58 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons() 90 SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even 96 * in its most basic variant, i. e., with all constraint flags set to their default values, which can be set 101 * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
SCIP_RETCODE SCIPcreateConsOrbitope(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR ***vars, SCIP_Bool ispart, int nspcons, int nblocks, SCIP_Bool resolveprop, 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) SCIP_RETCODE SCIPcreateConsBasicOrbitope(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_VAR ***vars, SCIP_Bool ispart, int nspcons, int nblocks, SCIP_Bool resolveprop) SCIP_RETCODE SCIPincludeConshdlrOrbitope(SCIP *scip) Definition: objbranchrule.h:33 SCIP callable library. |