cons_storeGraph.h
Go to the documentation of this file.
20 * This file implements the constraints that are used for the branching in the coloring algorithm.
25 * First of all, it stores the type of the constraint ("same" or "differ", the root has type root)
30 * takes the graph of the constraint related to the branch-and-bound father of the current node and
35 * an edge between v and w. For a SAME(v,w) constraint, the original idea is to collapse the nodes v
36 * and w into one single vertex. Since this is not possible in the tclique-graph data structure, we
41 * This does of course not hold for sets created in a higher level of the branch-and-bound tree or
48 * The information about all fusions of nodes (caused by the SAME() operation) is stored, so that the nodes
49 * constituting a union can be accessed easily. Each union has a representative and a set of nodes, whereas
50 * each node knows the representative of the union it belongs to. At the beginning, each node forms its own
51 * union and therefore each node also represents this union, consisting of only this node. Later on, some
52 * nodes represent unions of several nodes, while other nodes are part of a union which they do not represent,
53 * so they have another node as representative. The representatives of the nodes are returned by the methods
54 * COLORconsGetRepresentative() / COLORconsGetRepresentatives(), the union represented by a node is returned
78 /** returns the store graph constraint of the current node, needs the pointer to the constraint handler */
115 /** returns array of all unions, a union is saved in the array at the position of its representative */
143 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:1065
Definition: cons_storeGraph.h:73
SCIP_CONS * COLORconsGetActiveStoreGraphCons(SCIP *scip)
Definition: cons_storeGraph.c:858
SCIP_RETCODE COLORincludeConshdlrStoreGraph(SCIP *scip)
Definition: cons_storeGraph.c:746
Definition: struct_scip.h:59
Definition: cons_storeGraph.h:72
SCIP_CONS * COLORconsGetActiveStoreGraphConsFromHandler(SCIP_CONSHDLR *conshdlr)
Definition: cons_storeGraph.c:842
int COLORconsGetRepresentative(SCIP *scip, int node)
Definition: cons_storeGraph.c:969
tclique user interface
Definition: struct_tree.h:132
Definition: struct_cons.h:37
Definition: struct_cons.h:117
void COLORconsGetUnion(SCIP *scip, int **unionSet, int *length, int node)
Definition: cons_storeGraph.c:1034
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:781
TCLIQUE_GRAPH * COLORconsGetComplementaryGraph(SCIP *scip)
Definition: cons_storeGraph.c:910
int * COLORconsGetRepresentatives(SCIP *scip)
Definition: cons_storeGraph.c:941
void COLORconsGetUnions(SCIP *scip, int ***unions, int **lengths)
Definition: cons_storeGraph.c:1002
Definition: cons_storeGraph.h:74
Definition: objbenders.h:33
TCLIQUE_GRAPH * COLORconsGetCurrentGraph(SCIP *scip)
Definition: cons_storeGraph.c:882
SCIP callable library.