Skip to main content

On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations

Abstract

For variants of the single-mode resource-constrained project scheduling problem, state-of-the-art exact algorithms combine a Branch and Bound algorithm with principles from Constraint Programming and Boolean Satisfiability Solving. In our paper, we propose new exact approaches extending the above principles to the multi-mode RCPSP (MRCPSP) with generalized precedence relations (GPRs). More precisely, we implemented two constraint handlers cumulativemm and gprecedencemm for the optimization framework SCIP. With the latter, one can model renewable resource constraints and GPRs in the context of multi-mode activities, respectively. Moreover, they integrate domain propagation and explanation generation techniques for the above problem characteristics. We formulate three SCIP-models for the MRCPSP with GPRs, two without and one with our constraint handler gprecedencemm. Our computational results on instances from the literature with 30, 50 and 100 activities show that the addition of this constraint handler significantly strengthens the SCIP-model. Moreover, we outperform the state-of-the-art exact approach on instances with 50 activities when imposing time limits of 27 s. In addition, we close (find the optimal solution and prove its optimality for) 289 open instances and improve the best known makespan for 271 instances from the literature.

This is a preview of subscription content, access via your institution.

Fig. 1

Notes

  1. Note that gprecedencemm captures the explanation generation variant which uses the potentially stronger explanations (see Sect. 5.2). Preliminary experiments have shown that this version outperforms the weaker explanation generation variant in all categories.

  2. GPRs can be enforced by (15) in a valid way, i.e. it can be used in a standalone manner to model GPRs. Therefore, we speak of an “exact” formulation of GPRs through gprecedencemm.

  3. These are available Online (2014).

  4. For the 30-job instances, the respective upper bounds vary on average by at least 80 % from the best known makespan from the literature.

  5. For the 50-job instances, the respective upper bounds vary on average by at least 55 % from the best known makespan from the literature.

  6. For the 100-job instances, the upper bounds used in SCIPExStrBest20 deviate on average by at least 25 % from the best known makespan.

References

  • Achterberg T (2004) SCIP-a framework to integrate constraint and mixed integer programming. Konrad-Zuse-Zentrum für Informationstechnik Berlin, Berlin

    Google Scholar 

  • Achterberg T (2009) SCIP: solving constraint integer programs. Math Program Comput 1(1):1–41

    Article  Google Scholar 

  • Apt KR (2003) Principles of constraint programming. Cambridge University Press, Cambridge

    Book  Google Scholar 

  • Ballestín F, Barrios A, Valls V (2013) Looking for the best modes helps solving the MRCPSP/max. Int J Prod Res 51(3):813–827

    Article  Google Scholar 

  • Bartusch M, Möhring RH, Radermacher FJ (1988) Scheduling project networks with resource constraints and time windows. Ann Oper Res 16(1):199–240

    Article  Google Scholar 

  • Blazewicz J, Lenstra JK, Rinnooy Kan AHG (1983) Scheduling subject to resource constraints: classification and complexity. Discrete Appl Math 5(1):11–24

    Article  Google Scholar 

  • Brucker P, Knust S (2003) Lower bounds for resource-constrained project scheduling problems. Eur J Oper Res 149(2):302–313

    Article  Google Scholar 

  • Brucker P, Knust S (2006) Complex scheduling. Springer, Berlin (ISBN 3540295453)

    Google Scholar 

  • CPU benchmark (2014) Passmark CPU benchmark. https://www.cpubenchmark.net/cpu_list.php. Accessed 27 Jan 2015

  • De Reyck B, Herroelen W (1999) The multi-mode resource-constrained project scheduling problem with generalized precedence relations. Eur J Oper Res 119(2):538–556

    Article  Google Scholar 

  • Elmaghraby SE (1977) Activity networks: project planning and control by network models. Wiley, New York

    Google Scholar 

  • Fischetti M, Monaci M (2014) Exploiting erraticism in search. Oper Res 62(1):114–122

    Article  Google Scholar 

  • Hartmann S, Briskorn D (2010) A survey of variants and extensions of the resource-constrained project scheduling problem. Eur J Oper Res 207(1):1–14

    Article  Google Scholar 

  • Heilmann R (2003) A branch-and-bound procedure for the multi-mode resource-constrained project scheduling problem with minimum and maximum time lags. Eur J Oper Res 144(2):348–365

    Article  Google Scholar 

  • Horbach A (2010) A boolean satisfiability approach to the resource-constrained project scheduling problem. Ann Oper Res 181(1):89–107

    Article  Google Scholar 

  • Kolisch R, Drexl A (1997) Local search for nonpreemptive multi-mode resource-constrained project scheduling. IIE Trans 29(11):987–999

    Google Scholar 

  • Kolisch R, Sprecher A (1997) PSPLIB-a project scheduling problem library. Eur J Oper Res 96(1):205–216

    Article  Google Scholar 

  • Kolisch R, Sprecher A, Drexl A (1995) Characterization and generation of a general class of resource-constrained project scheduling problems. Manag Sci 41(10):1693–1703. doi:10.1287/mnsc.41.10.1693

    Article  Google Scholar 

  • Marques-Silva JP, Sakallah KA (1999) GRASP: a search algorithm for propositional satisfiability. IEEE Trans Comput 48(5):506–521

    Article  Google Scholar 

  • Moskewicz MW, Madigan CF, Zhao Y, Zhang L, Malik S (2001) Chaff: engineering an efficient SAT solver. In: Proceedings of the 38th annual design automation conference, DAC ’01, New York, NY, USA. ACM, pp 530–535 (ISBN 1-58113-297-2). doi:10.1145/378239.379017

  • Nonobe K, Ibaraki T (2003) A tabu search algorithm for a generalized resource constrained project scheduling problem. In: MIC2003: the fifth metaheuristics international conference, pp 55–1

  • Ohrimenko O, Stuckey PJ, Codish M (2009) Propagation via lazy clause generation. Constraints 14(3):357–391 (ISSN 1383-7133)

    Article  Google Scholar 

  • Online (2014) Operations Management Group of the TU Clausthal. http://www.wiwi.tu-clausthal.de/en/chairs/produktion/research/research-areas/project-generator/mrcpspmax/. Accessed 1 Feb 2015

  • Schnell A, Hartl RF (2012) The effect of the predefined search space on recent exact algorithms for the resource-constrained project scheduling problem. In: Working paper

  • Schnell A, Hartl RF (2013) On the generalization of constraint programming and boolean satisfiability solving techniques to schedule a resource-constrained project consisting of multi-mode jobs. In: Working paper (under review)

  • Schutt A, Feydy T, Stuckey PJ, Wallace MG (2011) Explaining the cumulative propagator. Constraints 16(3):250–282. doi:10.1007/s10601-010-9103-2 (ISSN 1383–7133)

    Article  Google Scholar 

  • Schutt A, Chu G, Stuckey PJ, Wallace MG (2012) Maximising the net present value for resource-constrained project scheduling. In: Beldiceanu N, Jussien N, Pinson E (eds) Integration of AI and OR techniques in constraint programming for combinatorial optimzation problems, Lecture notes in computer science, vol 7298. Springer, Berlin, pp 362–378 (ISBN 978-3-642-29827-1)

  • Schutt A, Feydy T, Stuckey PJ, Wallace MG (2013) Solving RCPSP/max by lazy clause generation. J Sched 16(3):273–289

    Article  Google Scholar 

  • Schwindt C (1998) Generation of resource constrained project scheduling problems subject to temporal constraints. In: Report WIOR-543. Institut für Wirtschaftstheorie und Operations Research, Universität Karlsruhe

  • Zhu G, Bard JF, Yu G (2006) A branch-and-cut procedure for the multimode resource-constrained project-scheduling problem. Informs J Comput 18(3):377–390

    Article  Google Scholar 

Download references

Acknowledgments

We would like to thank the SCIP team and especially Stefan Heinz and Jens Schulz for their helpful information about the implementation of constraint handlers. Moreover, we are very grateful to the associate editor and to the anonymous reviewers for their highly valuable comments. These helped a lot to improve the presentation and the results of our paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Alexander Schnell.

Electronic supplementary material

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Schnell, A., Hartl, R.F. On the efficient modeling and solution of the multi-mode resource-constrained project scheduling problem with generalized precedence relations. OR Spectrum 38, 283–303 (2016). https://doi.org/10.1007/s00291-015-0419-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00291-015-0419-6

Keywords

  • Project scheduling
  • Constraint programming
  • Multi-mode
  • Generalized precedence relations
  • SAT solving