Scippy

    SCIP

    Solving Constraint Integer Programs

    tclique_coloring.h File Reference

    Detailed Description

    coloring part of algorithm for maximum cliques

    Author
    Tobias Achterberg
    Ralf Borndoerfer
    Zoltan Kormos
    Kati Wolter

    Definition in file tclique_coloring.h.

    Go to the source code of this file.

    Typedefs

    typedef struct _ITV ITV
     
    typedef struct _LIST_ITV LIST_ITV
     
    typedef struct _NBC NBC
     

    Functions

    TCLIQUE_WEIGHT tcliqueColoring (TCLIQUE_GETNNODES((*getnnodes)), TCLIQUE_GETWEIGHTS((*getweights)), TCLIQUE_SELECTADJNODES((*selectadjnodes)), TCLIQUE_GRAPH *tcliquegraph, BMS_CHKMEM *mem, int *buffer, int *V, int nV, NBC *gsd, TCLIQUE_Bool *iscolored, TCLIQUE_WEIGHT *apbound, int *clique, int *nclique, TCLIQUE_WEIGHT *weightclique)
     

    Typedef Documentation

    ◆ ITV

    typedef struct _ITV ITV

    ◆ LIST_ITV

    typedef struct _LIST_ITV LIST_ITV

    ◆ NBC

    typedef struct _NBC NBC

    Function Documentation

    ◆ tcliqueColoring()

    TCLIQUE_WEIGHT tcliqueColoring ( TCLIQUE_GETNNODES((*getnnodes))  ,
    TCLIQUE_GETWEIGHTS((*getweights))  ,
    TCLIQUE_SELECTADJNODES((*selectadjnodes))  ,
    TCLIQUE_GRAPH tcliquegraph,
    BMS_CHKMEM mem,
    int *  buffer,
    int *  V,
    int  nV,
    NBC gsd,
    TCLIQUE_Bool iscolored,
    TCLIQUE_WEIGHT apbound,
    int *  clique,
    int *  nclique,
    TCLIQUE_WEIGHT weightclique 
    )

    colors the positive weighted nodes of a given set of nodes V with the lowest possible number of colors and finds a clique in the graph induced by V, an upper bound and an apriori bound for further branching steps

    Parameters
    tcliquegraphpointer to graph data structure
    memblock memory
    bufferbuffer of size nnodes
    Vnon-zero weighted nodes for branching
    nVnumber of non-zero weighted nodes for branching
    gsdneighbor color information of all nodes
    iscoloredcoloring status of all nodes
    apboundpointer to store apriori bound of nodes for branching
    cliquebuffer for storing the clique
    ncliquepointer to store number of nodes in the clique
    weightcliquepointer to store the weight of the clique

    Definition at line 230 of file tclique_coloring.c.

    References ALLOC_ABORT, BMSallocChunkMemory, BMSallocMemoryArray, BMSclearChunkMemory, BMSclearMemoryArray, BMScopyMemoryArray, BMSfreeChunkMemory, BMSfreeMemoryArray, debugMessage, debugPrintf, FALSE, getMaxSatdegIndex(), getMaxWeightIndex(), scip::min(), NULL, TCLIQUE_Bool, TRUE, and updateNeighbor().

    Referenced by boundSubgraph().