cons_storeGraph.h
Go to the documentation of this file.
29 * This file implements the constraints that are used for the branching in the coloring algorithm.
34 * First of all, it stores the type of the constraint ("same" or "differ", the root has type root)
39 * takes the graph of the constraint related to the branch-and-bound father of the current node and
44 * an edge between v and w. For a SAME(v,w) constraint, the original idea is to collapse the nodes v
45 * and w into one single vertex. Since this is not possible in the tclique-graph data structure, we
50 * This does of course not hold for sets created in a higher level of the branch-and-bound tree or
57 * The information about all fusions of nodes (caused by the SAME() operation) is stored, so that the nodes
58 * constituting a union can be accessed easily. Each union has a representative and a set of nodes, whereas
59 * each node knows the representative of the union it belongs to. At the beginning, each node forms its own
60 * union and therefore each node also represents this union, consisting of only this node. Later on, some
61 * nodes represent unions of several nodes, while other nodes are part of a union which they do not represent,
62 * so they have another node as representative. The representatives of the nodes are returned by the methods
63 * COLORconsGetRepresentative() / COLORconsGetRepresentatives(), the union represented by a node is returned
87 /** returns the store graph constraint of the current node, needs the pointer to the constraint handler */
124 /** returns array of all unions, a union is saved in the array at the position of its representative */
152 COLOR_CONSTYPE type, /**< type of the constraint: ROOT for root-constraint, else SAME or DIFFER */
void COLORconsGetStack(SCIP *scip, SCIP_CONS ***stack, int *nstackelements)
Definition: cons_storeGraph.c:1077
Definition: cons_storeGraph.h:82
SCIP_CONS * COLORconsGetActiveStoreGraphCons(SCIP *scip)
Definition: cons_storeGraph.c:870
SCIP_RETCODE COLORincludeConshdlrStoreGraph(SCIP *scip)
Definition: cons_storeGraph.c:758
Definition: struct_scip.h:68
Definition: cons_storeGraph.h:81
SCIP_CONS * COLORconsGetActiveStoreGraphConsFromHandler(SCIP_CONSHDLR *conshdlr)
Definition: cons_storeGraph.c:854
int COLORconsGetRepresentative(SCIP *scip, int node)
Definition: cons_storeGraph.c:981
tclique user interface
Definition: struct_tree.h:141
Definition: struct_cons.h:46
Definition: struct_cons.h:126
void COLORconsGetUnion(SCIP *scip, int **unionSet, int *length, int node)
Definition: cons_storeGraph.c:1046
SCIP_RETCODE COLORcreateConsStoreGraph(SCIP *scip, SCIP_CONS **cons, const char *name, SCIP_CONS *fatherconstraint, COLOR_CONSTYPE type, int node1, int node2, SCIP_NODE *stickingnode)
Definition: cons_storeGraph.c:793
TCLIQUE_GRAPH * COLORconsGetComplementaryGraph(SCIP *scip)
Definition: cons_storeGraph.c:922
int * COLORconsGetRepresentatives(SCIP *scip)
Definition: cons_storeGraph.c:953
void COLORconsGetUnions(SCIP *scip, int ***unions, int **lengths)
Definition: cons_storeGraph.c:1014
Definition: cons_storeGraph.h:83
Definition: objbenders.h:43
TCLIQUE_GRAPH * COLORconsGetCurrentGraph(SCIP *scip)
Definition: cons_storeGraph.c:894
SCIP callable library.