Scippy

    SCIP

    Solving Constraint Integer Programs

    heur_randrounding.h File Reference

    Detailed Description

    randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree

    Author
    Gregor Hendel

    Randomized LP rounding uses a random variable from a uniform distribution over [0,1] to determine whether the fractional LP value x should be rounded up with probability x - floor(x) or down with probability ceil(x) - x.

    This implementation uses domain propagation techniques to tighten the variable domains after every rounding step.

    See also
    : The most relevant publication is Raghavan & Thompson, "Randomized rounding: A technique for provably good algorithms and algorithmic proofs", Combinatorica 7 (4): 365–374 1987

    Definition in file heur_randrounding.h.

    #include "scip/def.h"
    #include "scip/type_retcode.h"
    #include "scip/type_scip.h"

    Go to the source code of this file.

    Functions

    SCIP_RETCODE SCIPincludeHeurRandrounding (SCIP *scip)