Discrete OptimizationMulti-mode resource-constrained project scheduling using RCPSP and SAT solvers
Highlights
► A novel approach to solve the multi-mode resource-constrained project scheduling problem. ► The solution approach splits the problem into a mode assignment step and a single mode project scheduling step. ► The solution approach use only one priority list, instead of using an activity and a mode list as normally done in literature. ► The solution approach has the potential to solve numerous extensions to the well-known MRCPSP. ► The results are comparable to state-of-the-art procedures and even outperforms them when run times are set long enough.
Introduction
Resource-constrained project scheduling has been a research topic for many decades, resulting in a wide variety of optimization procedures that differ in objective functions, activity assumptions, resource constraints and many more. The main focus on project makespan minimization has led to the development of various exact and (meta-)heuristic procedures for scheduling projects with tight renewable resource constraints where the well-known resource-constrained project scheduling problem (RCPSP) clearly took the lead. This problem type aims at minimizing the total duration or makespan of a project subject to precedence relations between the activities and the limited renewable resource availabilities, and is known to be NP-hard (Blazewicz et al., 1983). Extensions to other objective functions (see e.g. the vast amount of research in net present value optimization), resource constraints (to non-renewable and doubly-constrained resources), multiple activity modes, etc. often result in highly complex optimization problems and have been studied in literature by many authors. For an overview of resource-constrained project scheduling in general, we refer to excellent overview papers of Brucker et al., 1999, Herroelen et al., 1998, Icmeli et al., 1993, Kolisch and Padman, 2001, Kolisch and Hartmann, 2006, Özdamar and Ulusoy, 1995 and the research handbook by Demeulemeester and Herroelen (2002).
Many research efforts have extended the RCPSP to the presence of multiple activity modes where each activity can be executed under a different duration and a corresponding renewable and nonrenewable resource use. Due to the complex nature of the problem, only a few exact algorithms have been presented in literature (Slowinski, 1980, Talbot, 1982, Patterson et al., 1989, Speranza and Vercellis, 1993, Sprecher, 1994, Sprecher et al., 1997, Hartmann and Drexl, 1998, Sprecher and Drexl, 1998, Zhu et al., 2006). Due to the intrinsic hardness of the problem formulation, many heuristic (Boctor, 1993, Drexl and Grünewald, 1993, Özdamar and Ulusoy, 1994, Boctor, 1996a, Kolisch and Drexl, 1997, Knotts et al., 2000, Lova et al., 2006) and meta-heuristic (Slowinski et al., 1994, Boctor, 1996b, Mori and Tseng, 1997, Özdamar, 1999, Hartmann, 2001, Józefowska et al., 2001, Nonobe and Ibaraki, 2002, Alcaraz et al., 2003, Bouleimen and Lecocq, 2003, Zhang et al., 2006, Lova et al., 2009, Jarboui et al., 2008, Ranjbar et al., 2009, Van Peteghem and Vanhoucke, 2009, Van Peteghem and Vanhoucke, 2010) solution algorithms have been presented in the literature. A clear distinction can be made between algorithms incorporating both renewable and non-renewable resource constraints and algorithms limited to projects with only renewable resource constraints.
In this paper, we present a novel meta-heuristic approach to solve the non-preemptive multi-mode resource-constrained project scheduling problem (MRCPSP) within the presence of both limited renewable and non-renewable resource constraints. The paper is organized as follows. Section 2 introduces the notation and describes the problem formulation in detail. In Section 3 we present our approach to solve the scheduling problem type under study and give illustrative examples. Moreover, it is shown that the solution approach is very general and can be used for various other scheduling extensions. Section 4 enhances this solution approach to cope with excessive memory requirements. Section 5 reports comparative computational results and Section 6 contains the conclusions.
Section snippets
Model formulation
The multi-mode project scheduling problem with multiple renewable and non-renewable resources can be stated as follows. A set of activities N, numbered from a dummy start node 0 to a dummy end node n + 1, is to be scheduled without pre-emption on a set Rr of renewable resources and a set of Rn of non-renewable resources. Each renewable resource k ∈ Rr has a constant availability per period while each non-renewable resource l ∈ Rn is restricted to units over the complete planning horizon. Each
Solution approach
The MRCPSP can be easily modeled as an RCPSP instance where each multi-mode activity i is split into Mi single-mode sub-activities among which exactly one sub-activity needs to be selected for execution. Consequently, the project network of Fig. 1 can be transformed into an RCPSP network with non-dummy sub-activities as displayed in Fig. 2, where the first number below the node denotes the sub-activity duration and the two other numbers below the node the renewable and non-renewable
Adapted pseudo boolean solver approach
In the model presented earlier, each non-renewable constraint is the subject of the enumeration scheme of Section 3.1.1, which leads to a set of clauses that need to be stored as an input file for the SAT solver (i.e. the DPLL procedure) that is called for each activity list generated during the search. When the size of the project network instance become relatively large, both in terms of the number of project activities as the number of non-renewable resource constraints, the number of
Computational results
This section reports computational results to evaluate the performance of the algorithm. The algorithm has been coded in C++ and tests have been run on a Dell Dimension DM051 with a Pentium D with a 2.80 GHz processor. The first benchmark test set is the well-known PSPLIB dataset which contains multi-mode project network instances generated by ProGen (Kolisch et al., 1995) with 10, 12, 14, 16, 18, 20 and 30 activities and with 2 renewable and 2 nonrenewable resources. The set is available from
Conclusions
In this paper, a novel approach has been presented to solve the multi-mode resource-constrained project scheduling problem (MRCPSP). The algorithm splits the problem into a mode assignment step and a single mode project scheduling step. The mode assignment step is solved using a fast and efficient SAT solver. Due to excessive memory requirements, a number of small and straightforward adaptations to this solver have been implemented to solve the SAT problem instances in less memory. The single
Acknowledgements
We acknowledge the support given by the Fonds voor Wetenschappelijk Onderzoek (FWO), Vlaanderen, Belgium under Contract Number G.0463.04.
References (58)
- et al.
Scheduling subject to resource constraints: Classification and complexity
Discrete Applied Mathematics
(1983) A new and efficient heuristic for scheduling projects with resource restrictions and multiple execution modes
European Journal of Operational Research
(1996)- et al.
A new efficient simulated annealing algorithm for the resource-constrained project scheduling problem and its multiple mode version
European Journal of Operational Research
(2003) - et al.
Resource-constrained project scheduling: Notation, classification, models, and methods
European Journal of Operational Research
(1999) - et al.
A hybrid scatter search/electromagnetism meta-heuristic for project scheduling
European Journal of Operational Research
(2006) - et al.
Resource-constrained project scheduling: A survey of recent developments
Computers & Operations Research
(1998) - et al.
A combinatorial particle swarm optimization for solving multi-mode resource-constrained project scheduling problems
Applied Mathematics and Computation
(2008) - et al.
Experimental investigation of heuristics for resource-constrained project scheduling: An update
European Journal of Operational Research
(2006) - et al.
An integrated survey of deterministic project scheduling
Omega The International Journal of Management Science
(2001) - et al.
An iterative scheduling technique for resource-constrained project scheduling
European Journal of Operational Research
(1992)
An efficient hybrid genetic algorithm for scheduling projects with resource constraints and multiple execution modes
International Journal of Production Economics
A genetic algorithm for the multi-mode resource constrained project scheduling problem
European Journal of Operational Research
A local constraint based analysis approach to project scheduling under general resource constraints
European Journal of Operational Research
An algorithm for a general class of precedence and resource constrained scheduling problem
A hybrid scatter-search for the discrete time/resource trade-off problem in project scheduling
European Journal of Operational Research
Project scheduling under resource and mode identity constraints: Model, complexity, methods and application
European Journal of Operational Research
DSS for multi-objective project scheduling subject to multiple-category resource constraints
European Journal of Operational Research
Hierarchical models for multi-project planning and scheduling
European Journal of Operational Research
Multi-mode resource-constrained project scheduling with a simple, general and powerful sequencing algorithm
European Journal of Operational Research
Justification and RCPSP: A technique that pays
European Journal of Operational Research
A hybrid genetic algorithm for the resource-constrained project scheduling problem
European Journal of Operational Research
Resource-constrained project scheduling: A critical activity reordering heuristic
European Journal of Operational Research
Solving the multi-mode resource-constrained project scheduling problem with genetic algorithms
Journal of the Operational Research Society
A translation of pseudo-boolean constraints to SAT
Journal on Satisfiability, Boolean Modeling and Computation
Heuristics for scheduling projects with resource restrictions and several resource-duration modes
International Journal of Production Research
Resource-constrained project scheduling by simulated annealing
International Journal of Production Research
A fast pseudo-boolean constraint solver
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
A machine program for theorem proving
Communications of ACM
Cited by (102)
A genetic algorithm for the Resource-Constrained Project Scheduling Problem with Alternative Subgraphs using a boolean satisfiability solver
2024, European Journal of Operational ResearchResource-constrained multi-project scheduling problem: A survey
2023, European Journal of Operational ResearchA data-driven meta-learning recommendation model for multi-mode resource constrained project scheduling problem
2023, Computers and Operations ResearchIntegrated multi-project planning and scheduling - a multiagent approach
2022, European Journal of Operational ResearchMulti-objective stochastic project scheduling with alternative execution methods: An improved quantum-behaved particle swarm optimization approach
2022, Expert Systems with ApplicationsCitation Excerpt :The classical RCPSP aims to generate an optimal schedule to minimize the whole project’s makespan satisfying the precedence relationship between activities and the resource constraints simultaneously (Afshar-Nadjafi et al., 2017). For example, Van Peteghem and Vanhoucke (2010), Coelho and Vanhoucke (2011) and Cheng et al. (2015) proposed to minimize the total makespan of the project for an RCPSP with consideration of the constraints for both renewable and non-renewable resources. These studies aim to deal with deterministic project structures, which means that the activities and the corresponding durations included in a project are fixed.
Improving probability selection based weights for satisfiability problems
2022, Knowledge-Based Systems