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-2018 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 visit 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 #include "scip/def.h"
40 #include "scip/type_retcode.h"
41 #include "scip/type_scip.h"
42 
43 #ifdef __cplusplus
44 extern "C" {
45 #endif
46 
47 /** creates the rand rounding heuristic and includes it in SCIP
48  *
49  * @ingroup PrimalHeuristicIncludes
50  */
51 extern
53  SCIP* scip /**< SCIP data structure */
54  );
55 
56 #ifdef __cplusplus
57 }
58 #endif
59 
60 #endif
SCIP_RETCODE SCIPincludeHeurRandrounding(SCIP *scip)
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
type definitions for return codes for SCIP methods
type definitions for SCIP&#39;s main datastructure
common defines and data types used in all packages of SCIP