Solving Constraint Integer Programs

heur_randrounding.h File Reference

Detailed Description

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

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.


SCIP_EXPORT SCIP_RETCODE SCIPincludeHeurRandrounding (SCIP *scip)