Scippy

SCIP

Solving Constraint Integer Programs

cons_cumulative.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-2015 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 cons_cumulative.h
17  * @ingroup CONSHDLRS
18  * @brief constraint handler for cumulative constraints
19  * @author Timo Berthold
20  * @author Stefan Heinz
21  * @author Jens Schulz
22  *
23  * Given:
24  * - a set of jobs, represented by their integer start time variables \f$S_j\f$, their array of processing times \f$p_j\f$ and of
25  * their demands \f$d_j\f$.
26  * - an integer resource capacity \f$C\f$
27  *
28  * The cumulative constraint ensures that for each point in time \f$t\f$ \f$\sum_{j: S_j \leq t < S_j + p_j} d_j \leq C\f$ holds.
29  *
30  * @par
31  * Separation:
32  * - can be done using binary start time model, see Pritskers, Watters and Wolfe
33  * - or by just separating relatively weak cuts on the start time variables
34  *
35  * @par
36  * Propagation:
37  * - time tabling, Klein & Scholl (1999)
38  * - Edge-finding from Petr Vilim, adjusted and simplified for dynamic repropagation
39  * (2009)
40  * - energetic reasoning, see Baptiste, Le Pape, Nuijten (2001)
41  */
42 
43 /*---+----1----+----2----+----3----+----4----+----5----+----6----+----7----+----8----+----9----+----0----+----1----+----2*/
44 
45 #ifndef __SCIP_CONS_CUMULATIVE_H__
46 #define __SCIP_CONS_CUMULATIVE_H__
47 
48 
49 #include "scip/scip.h"
50 
51 #ifdef __cplusplus
52 extern "C" {
53 #endif
54 
55 /** solves given cumulative condition as independent sub problem
56  *
57  * @note The time and memory limit should be respected.
58  *
59  * @note If the problem was solved to the earliest start times (ests) and latest start times (lsts) array contain the
60  * solution values; If the problem was not solved these two arrays contain the global bounds at the time the sub
61  * solver was interrupted.
62  *
63  * input:
64  * - njobs : number of jobs (activities)
65  * - objvals : array of objective coefficients for each job (linear objective function), or NULL if none
66  * - durations : array of durations
67  * - demands : array of demands
68  * - capacity : cumulative capacity
69  * - hmin : left bound of time axis to be considered (including hmin)
70  * - hmax : right bound of time axis to be considered (not including hmax)
71  * - timelimit : time limit for solving in seconds
72  * - memorylimit : memory limit for solving in mega bytes (MB)
73  * - maxnodes : maximum number of branch-and-bound nodes to solve the single cumulative constraint (-1: no limit)
74  *
75  * input/output:
76  * - ests : array of earliest start times for each job
77  * - lsts : array of latest start times for each job
78  *
79  * output:
80  * - solved : pointer to store if the problem is solved (to optimality)
81  * - infeasible : pointer to store if the problem is infeasible
82  * - unbounded : pointer to store if the problem is unbounded
83  * - error : pointer to store if an error occurred
84  *
85  */
86 #define SCIP_DECL_SOLVECUMULATIVE(x) SCIP_RETCODE x (int njobs, SCIP_Real* ests, SCIP_Real* lsts, SCIP_Real* objvals, \
87  int* durations, int* demands, int capacity, int hmin, int hmax, \
88  SCIP_Real timelimit, SCIP_Real memorylimit, SCIP_Longint maxnodes, \
89  SCIP_Bool* solved, SCIP_Bool* infeasible, SCIP_Bool* unbounded, SCIP_Bool* error)
90 
91 /** creates the constraint handler for cumulative constraints and includes it in SCIP */
92 extern
94  SCIP* scip /**< SCIP data structure */
95  );
96 
97 /** creates and captures a cumulative constraint */
98 extern
100  SCIP* scip, /**< SCIP data structure */
101  SCIP_CONS** cons, /**< pointer to hold the created constraint */
102  const char* name, /**< name of constraint */
103  int nvars, /**< number of variables (jobs) */
104  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
105  int* durations, /**< array containing corresponding durations */
106  int* demands, /**< array containing corresponding demands */
107  int capacity, /**< available cumulative capacity */
108  SCIP_Bool initial, /**< should the LP relaxation of constraint be in the initial LP?
109  * Usually set to TRUE. Set to FALSE for 'lazy constraints'. */
110  SCIP_Bool separate, /**< should the constraint be separated during LP processing?
111  * Usually set to TRUE. */
112  SCIP_Bool enforce, /**< should the constraint be enforced during node processing?
113  * TRUE for model constraints, FALSE for additional, redundant constraints. */
114  SCIP_Bool check, /**< should the constraint be checked for feasibility?
115  * TRUE for model constraints, FALSE for additional, redundant constraints. */
116  SCIP_Bool propagate, /**< should the constraint be propagated during node processing?
117  * Usually set to TRUE. */
118  SCIP_Bool local, /**< is constraint only valid locally?
119  * Usually set to FALSE. Has to be set to TRUE, e.g., for branching constraints. */
120  SCIP_Bool modifiable, /**< is constraint modifiable (subject to column generation)?
121  * Usually set to FALSE. In column generation applications, set to TRUE if pricing
122  * adds coefficients to this constraint. */
123  SCIP_Bool dynamic, /**< is constraint subject to aging?
124  * Usually set to FALSE. Set to TRUE for own cuts which
125  * are seperated as constraints. */
126  SCIP_Bool removable, /**< should the relaxation be removed from the LP due to aging or cleanup?
127  * Usually set to FALSE. Set to TRUE for 'lazy constraints' and 'user cuts'. */
128  SCIP_Bool stickingatnode /**< should the constraint always be kept at the node where it was added, even
129  * if it may be moved to a more global node?
130  * Usually set to FALSE. Set to TRUE to for constraints that represent node data. */
131  );
132 
133 /** creates and captures an absolute power constraint
134  * in its most basic version, i. e., all constraint flags are set to their basic value as explained for the
135  * method SCIPcreateConsCumulative(); all flags can be set via SCIPsetConsFLAGNAME-methods in scip.h
136  *
137  * @see SCIPcreateConsCumulative() for information about the basic constraint flag configuration
138  *
139  * @note the constraint gets captured, hence at one point you have to release it using the method SCIPreleaseCons()
140  */
141 extern
143  SCIP* scip, /**< SCIP data structure */
144  SCIP_CONS** cons, /**< pointer to hold the created constraint */
145  const char* name, /**< name of constraint */
146  int nvars, /**< number of variables (jobs) */
147  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
148  int* durations, /**< array containing corresponding durations */
149  int* demands, /**< array containing corresponding demands */
150  int capacity /**< available cumulative capacity */
151  );
152 
153 /** set the left bound of effective horizon */
154 extern
156  SCIP* scip, /**< SCIP data structure */
157  SCIP_CONS* cons, /**< constraint data */
158  int hmin /**< left bound of time axis to be considered */
159  );
160 
161 /** returns the left bound of the effective horizon */
162 extern
164  SCIP* scip, /**< SCIP data structure */
165  SCIP_CONS* cons /**< constraint */
166  );
167 
168 
169 /** set the right bound of the effective horizon */
170 extern
172  SCIP* scip, /**< SCIP data structure */
173  SCIP_CONS* cons, /**< constraint data */
174  int hmax /**< right bound of time axis to be considered */
175  );
176 
177 /** returns the right bound of effective horizon */
178 extern
180  SCIP* scip, /**< SCIP data structure */
181  SCIP_CONS* cons /**< constraint */
182  );
183 
184 /** returns the start time variables of the cumulative constraint */
185 extern
187  SCIP* scip, /**< SCIP data structure */
188  SCIP_CONS* cons /**< constraint data */
189  );
190 
191 /** returns the number of start time variables of the cumulative constraint */
192 extern
194  SCIP* scip, /**< SCIP data structure */
195  SCIP_CONS* cons /**< constraint data */
196  );
197 
198 /** returns the capacity of the cumulative constraint */
199 extern
201  SCIP* scip, /**< SCIP data structure */
202  SCIP_CONS* cons /**< constraint data */
203  );
204 
205 /** returns the durations of the cumulative constraint */
206 extern
208  SCIP* scip, /**< SCIP data structure */
209  SCIP_CONS* cons /**< constraint data */
210  );
211 
212 /** returns the demands of the cumulative constraint */
213 extern
215  SCIP* scip, /**< SCIP data structure */
216  SCIP_CONS* cons /**< constraint data */
217  );
218 
219 /** check for the given starting time variables with their demands and durations if the cumulative conditions for the
220  * given solution is satisfied
221  */
222 extern
224  SCIP* scip, /**< SCIP data structure */
225  SCIP_SOL* sol, /**< primal solution, or NULL for current LP/pseudo solution */
226  int nvars, /**< number of variables (jobs) */
227  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
228  int* durations, /**< array containing corresponding durations */
229  int* demands, /**< array containing corresponding demands */
230  int capacity, /**< available cumulative capacity */
231  int hmin, /**< left bound of time axis to be considered */
232  int hmax, /**< right bound of time axis to be considered */
233  SCIP_Bool* violated, /**< pointer to store if the cumulative condition is violated */
234  SCIP_CONS* cons, /**< constraint which is checked */
235  SCIP_Bool printreason /**< should the reason for the violation be printed? */
236  );
237 
238 /** normalize cumulative condition */
239 extern
241  SCIP* scip, /**< SCIP data structure */
242  int nvars, /**< number of start time variables (activities) */
243  SCIP_VAR** vars, /**< array of start time variables */
244  int* durations, /**< array of durations */
245  int* demands, /**< array of demands */
246  int* capacity, /**< pointer to store the changed cumulative capacity */
247  int* nchgcoefs, /**< pointer to count total number of changed coefficients */
248  int* nchgsides /**< pointer to count number of side changes */
249  );
250 
251 /** searches for a time point within the cumulative condition were the cumulative condition can be split */
252 extern
254  SCIP* scip, /**< SCIP data structure */
255  int nvars, /**< number of variables (jobs) */
256  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
257  int* durations, /**< array containing corresponding durations */
258  int* demands, /**< array containing corresponding demands */
259  int capacity, /**< available cumulative capacity */
260  int* hmin, /**< pointer to store the left bound of the effective horizon */
261  int* hmax, /**< pointer to store the right bound of the effective horizon */
262  int* split /**< point were the cumulative condition can be split */
263  );
264 
265 /** presolve cumulative condition w.r.t. effective horizon by detecting irrelevant variables */
266 extern
268  SCIP* scip, /**< SCIP data structure */
269  int nvars, /**< number of start time variables (activities) */
270  SCIP_VAR** vars, /**< array of start time variables */
271  int* durations, /**< array of durations */
272  int hmin, /**< left bound of time axis to be considered */
273  int hmax, /**< right bound of time axis to be considered (not including hmax) */
274  SCIP_Bool* downlocks, /**< array storing if the variable has a down lock, or NULL */
275  SCIP_Bool* uplocks, /**< array storing if the variable has an up lock, or NULL */
276  SCIP_CONS* cons, /**< constraint which gets propagated, or NULL */
277  SCIP_Bool* delvars, /**< array storing the variable which can be deleted from the constraint */
278  int* nfixedvars, /**< pointer to store the number of fixed variables */
279  int* nchgsides, /**< pointer to store the number of changed sides */
280  SCIP_Bool* cutoff /**< buffer to store whether a cutoff is detected */
281  );
282 
283 /** propagate the given cumulative condition */
284 extern
286  SCIP* scip, /**< SCIP data structure */
287  SCIP_PRESOLTIMING presoltiming, /**< current presolving timing */
288  int nvars, /**< number of variables (jobs) */
289  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
290  int* durations, /**< array containing corresponding durations */
291  int* demands, /**< array containing corresponding demands */
292  int capacity, /**< available cumulative capacity */
293  int hmin, /**< left bound of time axis to be considered */
294  int hmax, /**< right bound of time axis to be considered */
295  SCIP_CONS* cons, /**< constraint which gets propagated */
296  int* nchgbds, /**< pointer to store the number of variable bound changes */
297  SCIP_Bool* initialized, /**< was conflict analysis initialized */
298  SCIP_Bool* explanation, /**< bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL */
299  SCIP_Bool* cutoff /**< pointer to store if the cumulative condition is violated */
300  );
301 
302 /** resolve propagation w.r.t. the cumulative condition */
303 extern
305  SCIP* scip, /**< SCIP data structure */
306  int nvars, /**< number of start time variables (activities) */
307  SCIP_VAR** vars, /**< array of start time variables */
308  int* durations, /**< array of durations */
309  int* demands, /**< array of demands */
310  int capacity, /**< cumulative capacity */
311  int hmin, /**< left bound of time axis to be considered (including hmin) */
312  int hmax, /**< right bound of time axis to be considered (not including hmax) */
313  SCIP_VAR* infervar, /**< the conflict variable whose bound change has to be resolved */
314  int inferinfo, /**< the user information */
315  SCIP_BOUNDTYPE boundtype, /**< the type of the changed bound (lower or upper bound) */
316  SCIP_BDCHGIDX* bdchgidx, /**< the index of the bound change, representing the point of time where the change took place */
317  SCIP_Real relaxedbd, /**< the relaxed bound which is sufficient to be explained */
318  SCIP_Bool* explanation, /**< bool array which marks the variable which are part of the explanation if a cutoff was detected, or NULL */
319  SCIP_RESULT* result /**< pointer to store the result of the propagation conflict resolving call */
320  );
321 
322 /** this method visualizes the cumulative structure in GML format */
323 extern
325  SCIP* scip, /**< SCIP data structure */
326  SCIP_CONS* cons /**< cumulative constraint */
327  );
328 
329 /** sets method to solve an individual cumulative condition */
330 extern
332  SCIP* scip, /**< SCIP data structure */
333  SCIP_DECL_SOLVECUMULATIVE((*solveCumulative)) /**< method to use an individual cumulative condition */
334  );
335 
336 /** solves given cumulative condition as independent sub problem
337  *
338  * @note If the problem was solved to the earliest start times (ests) and latest start times (lsts) array contain the
339  * solution values; If the problem was not solved these two arrays contain the global bounds at the time the sub
340  * solver was interrupted.
341  */
342 extern
344  SCIP* scip, /**< SCIP data structure */
345  int njobs, /**< number of jobs (activities) */
346  SCIP_Real* ests, /**< array with the earlier start time for each job */
347  SCIP_Real* lsts, /**< array with the latest start time for each job */
348  SCIP_Real* objvals, /**< array of objective coefficients for each job (linear objective function), or NULL if none */
349  int* durations, /**< array of durations */
350  int* demands, /**< array of demands */
351  int capacity, /**< cumulative capacity */
352  int hmin, /**< left bound of time axis to be considered (including hmin) */
353  int hmax, /**< right bound of time axis to be considered (not including hmax) */
354  SCIP_Real timelimit, /**< time limit for solving in seconds */
355  SCIP_Real memorylimit, /**< memory limit for solving in mega bytes (MB) */
356  SCIP_Longint maxnodes, /**< maximum number of branch-and-bound nodes to solve the single cumulative constraint (-1: no limit) */
357  SCIP_Bool* solved, /**< pointer to store if the problem is solved (to optimality) */
358  SCIP_Bool* infeasible, /**< pointer to store if the problem is infeasible */
359  SCIP_Bool* unbounded, /**< pointer to store if the problem is unbounded */
360  SCIP_Bool* error /**< pointer to store if an error occurred */
361  );
362 
363 /** creates the worst case resource profile, that is, all jobs are inserted with the earliest start and latest
364  * completion time
365  */
366 extern
368  SCIP* scip, /**< SCIP data structure */
369  SCIP_PROFILE* profile, /**< resource profile */
370  int nvars, /**< number of variables (jobs) */
371  SCIP_VAR** vars, /**< array of integer variable which corresponds to starting times for a job */
372  int* durations, /**< array containing corresponding durations */
373  int* demands /**< array containing corresponding demands */
374  );
375 
376 /** computes w.r.t. the given worst case resource profile the first time point where the given capacity can be violated */
377 extern
378 int SCIPcomputeHmin(
379  SCIP* scip, /**< SCIP data structure */
380  SCIP_PROFILE* profile, /**< worst case resource profile */
381  int capacity /**< capacity to check */
382  );
383 
384 /** computes w.r.t. the given worst case resource profile the first time point where the given capacity is satisfied for sure */
385 extern
386 int SCIPcomputeHmax(
387  SCIP* scip, /**< SCIP data structure */
388  SCIP_PROFILE* profile, /**< worst case profile */
389  int capacity /**< capacity to check */
390  );
391 
392 #ifdef __cplusplus
393 }
394 #endif
395 
396 #endif
enum SCIP_Result SCIP_RESULT
Definition: type_result.h:51
enum SCIP_BoundType SCIP_BOUNDTYPE
Definition: type_lp.h:50
SCIP_RETCODE SCIPnormalizeCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int *capacity, int *nchgcoefs, int *nchgsides)
struct SCIP_Cons SCIP_CONS
Definition: type_cons.h:48
SCIP_RETCODE SCIPsolveCumulative(SCIP *scip, int njobs, SCIP_Real *ests, SCIP_Real *lsts, SCIP_Real *objvals, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_Real timelimit, SCIP_Real memorylimit, SCIP_Longint maxnodes, SCIP_Bool *solved, SCIP_Bool *infeasible, SCIP_Bool *unbounded, SCIP_Bool *error)
int SCIPgetNVarsCumulative(SCIP *scip, SCIP_CONS *cons)
#define SCIP_DECL_SOLVECUMULATIVE(x)
SCIP_RETCODE SCIPcreateConsCumulative(SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, SCIP_Bool initial, SCIP_Bool separate, SCIP_Bool enforce, SCIP_Bool check, SCIP_Bool propagate, SCIP_Bool local, SCIP_Bool modifiable, SCIP_Bool dynamic, SCIP_Bool removable, SCIP_Bool stickingatnode)
enum SCIP_Retcode SCIP_RETCODE
Definition: type_retcode.h:53
int SCIPgetCapacityCumulative(SCIP *scip, SCIP_CONS *cons)
int * SCIPgetDemandsCumulative(SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE SCIPcheckCumulativeCondition(SCIP *scip, SCIP_SOL *sol, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_Bool *violated, SCIP_CONS *cons, SCIP_Bool printreason)
SCIP_RETCODE SCIPvisualizeConsCumulative(SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE SCIPcreateWorstCaseProfile(SCIP *scip, SCIP_PROFILE *profile, int nvars, SCIP_VAR **vars, int *durations, int *demands)
SCIP_RETCODE SCIPsplitCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int *hmin, int *hmax, int *split)
int SCIPcomputeHmax(SCIP *scip, SCIP_PROFILE *profile, int capacity)
int SCIPcomputeHmin(SCIP *scip, SCIP_PROFILE *profile, int capacity)
SCIP_RETCODE SCIPpresolveCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int hmin, int hmax, SCIP_Bool *downlocks, SCIP_Bool *uplocks, SCIP_CONS *cons, SCIP_Bool *delvars, int *nfixedvars, int *nchgsides, SCIP_Bool *cutoff)
SCIP_RETCODE SCIPpropCumulativeCondition(SCIP *scip, SCIP_PRESOLTIMING presoltiming, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_CONS *cons, int *nchgbds, SCIP_Bool *initialized, SCIP_Bool *explanation, SCIP_Bool *cutoff)
unsigned int SCIP_PRESOLTIMING
Definition: type_timing.h:50
SCIP_VAR ** SCIPgetVarsCumulative(SCIP *scip, SCIP_CONS *cons)
struct Scip SCIP
Definition: type_scip.h:30
SCIP_RETCODE SCIPsetHminCumulative(SCIP *scip, SCIP_CONS *cons, int hmin)
struct SCIP_Sol SCIP_SOL
Definition: type_sol.h:45
#define SCIP_Bool
Definition: def.h:50
SCIP_RETCODE SCIPcreateConsBasicCumulative(SCIP *scip, SCIP_CONS **cons, const char *name, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity)
int * SCIPgetDurationsCumulative(SCIP *scip, SCIP_CONS *cons)
struct SCIP_BdChgIdx SCIP_BDCHGIDX
Definition: type_var.h:83
struct SCIP_Var SCIP_VAR
Definition: type_var.h:95
int SCIPgetHmaxCumulative(SCIP *scip, SCIP_CONS *cons)
struct SCIP_Profile SCIP_PROFILE
Definition: type_misc.h:105
int SCIPgetHminCumulative(SCIP *scip, SCIP_CONS *cons)
SCIP_RETCODE SCIPincludeConshdlrCumulative(SCIP *scip)
#define SCIP_Real
Definition: def.h:124
#define SCIP_Longint
Definition: def.h:109
SCIP_RETCODE SCIPrespropCumulativeCondition(SCIP *scip, int nvars, SCIP_VAR **vars, int *durations, int *demands, int capacity, int hmin, int hmax, SCIP_VAR *infervar, int inferinfo, SCIP_BOUNDTYPE boundtype, SCIP_BDCHGIDX *bdchgidx, SCIP_Real relaxedbd, SCIP_Bool *explanation, SCIP_RESULT *result)
SCIP_RETCODE SCIPsetHmaxCumulative(SCIP *scip, SCIP_CONS *cons, int hmax)
SCIP callable library.
SCIP_RETCODE SCIPsetSolveCumulative(SCIP *scip, SCIP_DECL_SOLVECUMULATIVE((*solveCumulative)))