Scippy

SCIP

Solving Constraint Integer Programs

heur_randrounding.h
Go to the documentation of this file.
1 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
2 /* */
3 /* This file is part of the program and library */
4 /* SCIP --- Solving Constraint Integer Programs */
5 /* */
6 /* Copyright (C) 2002-2014 Konrad-Zuse-Zentrum */
7 /* fuer Informationstechnik Berlin */
8 /* */
9 /* SCIP is distributed under the terms of the ZIB Academic License. */
10 /* */
11 /* You should have received a copy of the ZIB Academic License */
12 /* along with SCIP; see the file COPYING. If not email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file heur_randrounding.h
17  * @ingroup PRIMALHEURISTICS
18  * @brief randomized LP rounding heuristic which also generates conflicts via an auxiliary probing tree
19  * @author Gregor Hendel
20  *
21  * Randomized LP rounding uses a random variable from a uniform distribution
22  * over [0,1] to determine whether the fractional LP value x should be rounded
23  * up with probability x - floor(x) or down with probability ceil(x) - x.
24  *
25  * This implementation uses domain propagation techniques to tighten the variable domains after every
26  * rounding step.
27  *
28  * @see: The most relevant publication is Raghavan & Thompson,
29  * "Randomized rounding: A technique for provably good algorithms and algorithmic proofs",
30  * Combinatorica 7 (4): 365–374
31  * 1987
32  */
33 
34 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
35 
36 #ifndef __SCIP_HEUR_RANDROUNDING_H__
37 #define __SCIP_HEUR_RANDROUNDING_H__
38 
39 
40 #include "scip/scip.h"
41 
42 #ifdef __cplusplus
43 extern "C" {
44 #endif
45 
46 /** creates the rand rounding heuristic and includes it in SCIP */
47 extern
49  SCIP* scip /**< SCIP data structure */
50  );
51 
52 #ifdef __cplusplus
53 }
54 #endif
55 
56 #endif
57