Scippy

SCIP

Solving Constraint Integer Programs

heur.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 email to scip@zib.de. */
13 /* */
14 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
15 
16 /**@file heur.h
17  * @ingroup INTERNALAPI
18  * @brief internal methods for primal heuristics
19  * @author Tobias Achterberg
20  */
21 
22 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
23 
24 #ifndef __SCIP_HEUR_H__
25 #define __SCIP_HEUR_H__
26 
27 
28 #include "scip/def.h"
29 #include "blockmemshell/memory.h"
30 #include "scip/type_retcode.h"
31 #include "scip/type_result.h"
32 #include "scip/type_set.h"
33 #include "scip/type_primal.h"
34 #include "scip/type_heur.h"
35 #include "scip/pub_heur.h"
36 #include "scip/stat.h"
37 
38 #ifdef __cplusplus
39 extern "C" {
40 #endif
41 
42 /** create a set of diving heuristic settings */
43 extern
45  SCIP_DIVESET** diveset, /**< pointer to the freshly created diveset */
46  SCIP_HEUR* heur, /**< the heuristic to which this dive setting belongs */
47  const char* name, /**< name for the diveset, or NULL if the name of the heuristic should be used */
48  SCIP_SET* set, /**< global SCIP settings */
49  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
50  BMS_BLKMEM* blkmem, /**< block memory for parameter settings */
51  SCIP_Real minreldepth, /**< minimal relative depth to start diving */
52  SCIP_Real maxreldepth, /**< maximal relative depth to start diving */
53  SCIP_Real maxlpiterquot, /**< maximal fraction of diving LP iterations compared to node LP iterations */
54  SCIP_Real maxdiveubquot, /**< maximal quotient (curlowerbound - lowerbound)/(cutoffbound - lowerbound)
55  * where diving is performed (0.0: no limit) */
56  SCIP_Real maxdiveavgquot, /**< maximal quotient (curlowerbound - lowerbound)/(avglowerbound - lowerbound)
57  * where diving is performed (0.0: no limit) */
58  SCIP_Real maxdiveubquotnosol, /**< maximal UBQUOT when no solution was found yet (0.0: no limit) */
59  SCIP_Real maxdiveavgquotnosol,/**< maximal AVGQUOT when no solution was found yet (0.0: no limit) */
60  SCIP_Real lpresolvedomchgquot,/**< percentage of immediate domain changes during probing to trigger LP resolve */
61  int lpsolvefreq, /**< LP solve frequency for (0: only if enough domain reductions are found by propagation)*/
62  int maxlpiterofs, /**< additional number of allowed LP iterations */
63  unsigned int initialseed, /**< initial seed for random number generation */
64  SCIP_Bool backtrack, /**< use one level of backtracking if infeasibility is encountered? */
65  SCIP_Bool onlylpbranchcands, /**< should only LP branching candidates be considered instead of the slower but
66  * more general constraint handler diving variable selection? */
67  SCIP_DIVETYPE divetypemask, /**< bit mask that represents the supported dive types by this dive set */
68  SCIP_DECL_DIVESETGETSCORE((*divesetgetscore)) /**< method for candidate score and rounding direction */
69  );
70 
71 /** resets diving settings counters */
72 extern
74  SCIP_DIVESET* diveset, /**< diveset to be reset */
75  SCIP_SET* set /**< global SCIP settings */
76  );
77 
78 /** update diveset statistics and global diveset statistics */
79 extern
81  SCIP_DIVESET* diveset, /**< diveset to be reset */
82  SCIP_STAT* stat, /**< global SCIP statistics */
83  int depth, /**< the depth reached this time */
84  int nprobingnodes, /**< the number of probing nodes explored this time */
85  int nbacktracks, /**< the number of backtracks during probing this time */
86  SCIP_Longint nsolsfound, /**< number of new solutions found this time */
87  SCIP_Longint nbestsolsfound, /**< number of new best solutions found this time */
88  SCIP_Bool leavesol /**< has the diving heuristic reached a feasible leaf */
89  );
90 
91 /** get the candidate score and preferred rounding direction for a candidate variable */
92 extern
94  SCIP_DIVESET* diveset, /**< general diving settings */
95  SCIP_SET* set, /**< SCIP settings */
96  SCIP_DIVETYPE divetype, /**< the type of diving that should be applied */
97  SCIP_VAR* divecand, /**< the candidate for which the branching direction is requested */
98  SCIP_Real divecandsol, /**< LP solution value of the candidate */
99  SCIP_Real divecandfrac, /**< fractionality of the candidate */
100  SCIP_Real* candscore, /**< pointer to store the candidate score */
101  SCIP_Bool* roundup /**< pointer to store whether preferred direction for diving is upwards */
102  );
103 
104 /** update diveset LP statistics, should be called after every LP solved by this diving heuristic */
105 extern
107  SCIP_DIVESET* diveset, /**< diving settings */
108  SCIP_STAT* stat, /**< global SCIP statistics */
109  SCIP_Longint niterstoadd /**< additional number of LP iterations to be added */
110  );
111 
112 /** copies the given primal heuristic to a new scip */
113 extern
115  SCIP_HEUR* heur, /**< primal heuristic */
116  SCIP_SET* set /**< SCIP_SET of SCIP to copy to */
117  );
118 
119 /** creates a primal heuristic */
120 extern
122  SCIP_HEUR** heur, /**< pointer to primal heuristic data structure */
123  SCIP_SET* set, /**< global SCIP settings */
124  SCIP_MESSAGEHDLR* messagehdlr, /**< message handler */
125  BMS_BLKMEM* blkmem, /**< block memory for parameter settings */
126  const char* name, /**< name of primal heuristic */
127  const char* desc, /**< description of primal heuristic */
128  char dispchar, /**< display character of primal heuristic */
129  int priority, /**< priority of the primal heuristic */
130  int freq, /**< frequency for calling primal heuristic */
131  int freqofs, /**< frequency offset for calling primal heuristic */
132  int maxdepth, /**< maximal depth level to call heuristic at (-1: no limit) */
133  SCIP_HEURTIMING timingmask, /**< positions in the node solving loop where heuristic should be executed */
134  SCIP_Bool usessubscip, /**< does the heuristic use a secondary SCIP instance? */
135  SCIP_DECL_HEURCOPY ((*heurcopy)), /**< copy method of primal heuristic or NULL if you don't want to copy your plugin into sub-SCIPs */
136  SCIP_DECL_HEURFREE ((*heurfree)), /**< destructor of primal heuristic */
137  SCIP_DECL_HEURINIT ((*heurinit)), /**< initialize primal heuristic */
138  SCIP_DECL_HEUREXIT ((*heurexit)), /**< deinitialize primal heuristic */
139  SCIP_DECL_HEURINITSOL ((*heurinitsol)), /**< solving process initialization method of primal heuristic */
140  SCIP_DECL_HEUREXITSOL ((*heurexitsol)), /**< solving process deinitialization method of primal heuristic */
141  SCIP_DECL_HEUREXEC ((*heurexec)), /**< execution method of primal heuristic */
142  SCIP_HEURDATA* heurdata /**< primal heuristic data */
143  );
144 
145 /** calls destructor and frees memory of primal heuristic */
146 extern
148  SCIP_HEUR** heur, /**< pointer to primal heuristic data structure */
149  SCIP_SET* set, /**< global SCIP settings */
150  BMS_BLKMEM* blkmem /**< block memory */
151  );
152 
153 /** initializes primal heuristic */
154 extern
156  SCIP_HEUR* heur, /**< primal heuristic */
157  SCIP_SET* set /**< global SCIP settings */
158  );
159 
160 /** calls exit method of primal heuristic */
161 extern
163  SCIP_HEUR* heur, /**< primal heuristic */
164  SCIP_SET* set /**< global SCIP settings */
165  );
166 
167 /** informs primal heuristic that the branch and bound process is being started */
168 extern
170  SCIP_HEUR* heur, /**< primal heuristic */
171  SCIP_SET* set /**< global SCIP settings */
172  );
173 
174 /** informs primal heuristic that the branch and bound process data is being freed */
175 extern
177  SCIP_HEUR* heur, /**< primal heuristic */
178  SCIP_SET* set /**< global SCIP settings */
179  );
180 
181 /** should the heuristic be executed at the given depth, frequency, timing, ... */
182 extern
184  SCIP_HEUR* heur, /**< primal heuristic */
185  int depth, /**< depth of current node */
186  int lpstateforkdepth, /**< depth of the last node with solved LP */
187  SCIP_HEURTIMING heurtiming, /**< current point in the node solving process */
188  SCIP_Bool* delayed /**< pointer to store whether the heuristic should be delayed */
189  );
190 
191 /** calls execution method of primal heuristic */
192 extern
194  SCIP_HEUR* heur, /**< primal heuristic */
195  SCIP_SET* set, /**< global SCIP settings */
196  SCIP_PRIMAL* primal, /**< primal data */
197  int depth, /**< depth of current node */
198  int lpstateforkdepth, /**< depth of the last node with solved LP */
199  SCIP_HEURTIMING heurtiming, /**< current point in the node solving process */
200  SCIP_Bool nodeinfeasible, /**< was the current node already detected to be infeasible? */
201  int* ndelayedheurs, /**< pointer to count the number of delayed heuristics */
202  SCIP_RESULT* result /**< pointer to store the result of the callback method */
203  );
204 
205 /** sets priority of primal heuristic */
206 extern
208  SCIP_HEUR* heur, /**< primal heuristic */
209  SCIP_SET* set, /**< global SCIP settings */
210  int priority /**< new priority of the primal heuristic */
211  );
212 
213 /** sets copy callback of primal heuristic */
214 extern
215 void SCIPheurSetCopy(
216  SCIP_HEUR* heur, /**< primal heuristic */
217  SCIP_DECL_HEURCOPY ((*heurcopy)) /**< copy callback of primal heuristic or NULL if you don't want to copy your plugin into sub-SCIPs */
218  );
219 
220 /** sets destructor callback of primal heuristic */
221 extern
222 void SCIPheurSetFree(
223  SCIP_HEUR* heur, /**< primal heuristic */
224  SCIP_DECL_HEURFREE ((*heurfree)) /**< destructor of primal heuristic */
225  );
226 
227 /** sets initialization callback of primal heuristic */
228 extern
229 void SCIPheurSetInit(
230  SCIP_HEUR* heur, /**< primal heuristic */
231  SCIP_DECL_HEURINIT ((*heurinit)) /**< initialize primal heuristic */
232  );
233 
234 /** sets deinitialization callback of primal heuristic */
235 extern
236 void SCIPheurSetExit(
237  SCIP_HEUR* heur, /**< primal heuristic */
238  SCIP_DECL_HEUREXIT ((*heurexit)) /**< deinitialize primal heuristic */
239  );
240 
241 /** sets solving process initialization callback of primal heuristic */
242 extern
243 void SCIPheurSetInitsol(
244  SCIP_HEUR* heur, /**< primal heuristic */
245  SCIP_DECL_HEURINITSOL ((*heurinitsol)) /**< solving process initialization callback of primal heuristic */
246  );
247 
248 /** sets solving process deinitialization callback of primal heuristic */
249 extern
250 void SCIPheurSetExitsol(
251  SCIP_HEUR* heur, /**< primal heuristic */
252  SCIP_DECL_HEUREXITSOL ((*heurexitsol)) /**< solving process deinitialization callback of primal heuristic */
253  );
254 
255 /** enables or disables all clocks of \p heur, depending on the value of the flag */
256 extern
258  SCIP_HEUR* heur, /**< the heuristic for which all clocks should be enabled or disabled */
259  SCIP_Bool enable /**< should the clocks of the heuristic be enabled? */
260  );
261 
262 #ifdef __cplusplus
263 }
264 #endif
265 
266 #endif
enum SCIP_Result SCIP_RESULT
Definition: type_result.h:52
SCIP_RETCODE SCIPdivesetCreate(SCIP_DIVESET **diveset, SCIP_HEUR *heur, const char *name, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, SCIP_Real minreldepth, SCIP_Real maxreldepth, SCIP_Real maxlpiterquot, SCIP_Real maxdiveubquot, SCIP_Real maxdiveavgquot, SCIP_Real maxdiveubquotnosol, SCIP_Real maxdiveavgquotnosol, SCIP_Real lpresolvedomchgquot, int lpsolvefreq, int maxlpiterofs, unsigned int initialseed, SCIP_Bool backtrack, SCIP_Bool onlylpbranchcands, SCIP_DIVETYPE divetypemask, SCIP_DECL_DIVESETGETSCORE((*divesetgetscore)))
Definition: heur.c:184
#define SCIP_DECL_HEURINITSOL(x)
Definition: type_heur.h:97
SCIP_RETCODE SCIPdivesetGetScore(SCIP_DIVESET *diveset, SCIP_SET *set, SCIP_DIVETYPE divetype, SCIP_VAR *divecand, SCIP_Real divecandsol, SCIP_Real divecandfrac, SCIP_Real *candscore, SCIP_Bool *roundup)
Definition: heur.c:647
SCIP_RETCODE SCIPheurFree(SCIP_HEUR **heur, SCIP_SET *set, BMS_BLKMEM *blkmem)
Definition: heur.c:777
unsigned int SCIP_HEURTIMING
Definition: type_timing.h:97
void SCIPheurSetExitsol(SCIP_HEUR *heur, SCIP_DECL_HEUREXITSOL((*heurexitsol)))
Definition: heur.c:1187
SCIP_RETCODE SCIPheurExec(SCIP_HEUR *heur, SCIP_SET *set, SCIP_PRIMAL *primal, int depth, int lpstateforkdepth, SCIP_HEURTIMING heurtiming, SCIP_Bool nodeinfeasible, int *ndelayedheurs, SCIP_RESULT *result)
Definition: heur.c:1008
SCIP_RETCODE SCIPheurInitsol(SCIP_HEUR *heur, SCIP_SET *set)
Definition: heur.c:892
void SCIPheurSetPriority(SCIP_HEUR *heur, SCIP_SET *set, int priority)
Definition: heur.c:1269
#define SCIP_DECL_HEURCOPY(x)
Definition: type_heur.h:62
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
#define SCIP_DECL_HEUREXEC(x)
Definition: type_heur.h:128
type definitions for global SCIP settings
struct SCIP_HeurData SCIP_HEURDATA
Definition: type_heur.h:51
SCIP_RETCODE SCIPdivesetReset(SCIP_DIVESET *diveset, SCIP_SET *set)
Definition: heur.c:86
SCIP_RETCODE SCIPheurCreate(SCIP_HEUR **heur, SCIP_SET *set, SCIP_MESSAGEHDLR *messagehdlr, BMS_BLKMEM *blkmem, const char *name, const char *desc, char dispchar, int priority, int freq, int freqofs, int maxdepth, SCIP_HEURTIMING timingmask, SCIP_Bool usessubscip, SCIP_DECL_HEURCOPY((*heurcopy)), SCIP_DECL_HEURFREE((*heurfree)), SCIP_DECL_HEURINIT((*heurinit)), SCIP_DECL_HEUREXIT((*heurexit)), SCIP_DECL_HEURINITSOL((*heurinitsol)), SCIP_DECL_HEUREXITSOL((*heurexitsol)), SCIP_DECL_HEUREXEC((*heurexec)), SCIP_HEURDATA *heurdata)
Definition: heur.c:692
type definitions for return codes for SCIP methods
unsigned int SCIP_DIVETYPE
Definition: type_heur.h:48
#define SCIP_DECL_DIVESETGETSCORE(x)
Definition: type_heur.h:149
SCIP_RETCODE SCIPheurCopyInclude(SCIP_HEUR *heur, SCIP_SET *set)
Definition: heur.c:673
void SCIPdivesetUpdateLPStats(SCIP_DIVESET *diveset, SCIP_STAT *stat, SCIP_Longint niterstoadd)
Definition: heur.c:615
type definitions for primal heuristics
SCIP_Bool SCIPheurShouldBeExecuted(SCIP_HEUR *heur, int depth, int lpstateforkdepth, SCIP_HEURTIMING heurtiming, SCIP_Bool *delayed)
Definition: heur.c:946
void SCIPheurSetCopy(SCIP_HEUR *heur, SCIP_DECL_HEURCOPY((*heurcopy)))
Definition: heur.c:1132
void SCIPheurSetFree(SCIP_HEUR *heur, SCIP_DECL_HEURFREE((*heurfree)))
Definition: heur.c:1143
void SCIPdivesetUpdateStats(SCIP_DIVESET *diveset, SCIP_STAT *stat, int depth, int nprobingnodes, int nbacktracks, SCIP_Longint nsolsfound, SCIP_Longint nbestsolsfound, SCIP_Bool leavesol)
Definition: heur.c:116
#define SCIP_Bool
Definition: def.h:61
SCIP_RETCODE SCIPheurInit(SCIP_HEUR *heur, SCIP_SET *set)
Definition: heur.c:812
void SCIPheurEnableOrDisableClocks(SCIP_HEUR *heur, SCIP_Bool enable)
Definition: heur.c:1364
SCIP_RETCODE SCIPheurExit(SCIP_HEUR *heur, SCIP_SET *set)
Definition: heur.c:862
#define SCIP_DECL_HEUREXIT(x)
Definition: type_heur.h:86
#define SCIP_DECL_HEURINIT(x)
Definition: type_heur.h:78
#define SCIP_Real
Definition: def.h:149
internal methods for problem statistics
result codes for SCIP callback methods
#define SCIP_DECL_HEURFREE(x)
Definition: type_heur.h:70
SCIP_RETCODE SCIPheurExitsol(SCIP_HEUR *heur, SCIP_SET *set)
Definition: heur.c:922
#define SCIP_Longint
Definition: def.h:134
void SCIPheurSetExit(SCIP_HEUR *heur, SCIP_DECL_HEUREXIT((*heurexit)))
Definition: heur.c:1165
void SCIPheurSetInit(SCIP_HEUR *heur, SCIP_DECL_HEURINIT((*heurinit)))
Definition: heur.c:1154
type definitions for collecting primal CIP solutions and primal informations
public methods for primal heuristics
common defines and data types used in all packages of SCIP
struct BMS_BlkMem BMS_BLKMEM
Definition: memory.h:419
#define SCIP_DECL_HEUREXITSOL(x)
Definition: type_heur.h:108
void SCIPheurSetInitsol(SCIP_HEUR *heur, SCIP_DECL_HEURINITSOL((*heurinitsol)))
Definition: heur.c:1176
memory allocation routines