Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-3602
Main Title: Hybrid Solving Techniques for Project Scheduling Problems
Translated Title: Hybride Lösungstechniken für Projektschedulingprobleme
Author(s): Schulz, Jens
Advisor(s): Möhring, Rolf
Granting Institution: Technische Universität Berlin, Fakultät II - Mathematik und Naturwissenschaften
Type: Doctoral Thesis
Language: English
Language Code: en
Abstract: Ressourcenbeschränkte Scheduling-Probleme umfassen viele praktische, kombinatorische Optimierungsprobleme, wie sie u.a. in Produktionsbetrieben entstehen. Bereits einzelne Charakteristika dieser Probleme sind auf stark NP-schweren Probleme zurückkzuführen, so dass sowohl Theoretiker als auch Praktiker neue und ausgeklügeltere Lösungstechniken entwickelt haben. Constraint Integer Programming ist ein hybrides Branch-and-Bound-Verfahren, das Techniken aus dem Constraint Programming (CP), Integer Programming (IP) und von SAT-Lösern eng miteinander verknüpft. Es ermöglicht die Anwendung dieser Techniken in jedem Knoten des Branch-and-Bound-Baumes, wie z.B. dem Propagieren der Variablendomains, der Berechnung von unteren Schranken mittels einer LP-Relaxierung und dem Generieren von Konfliktklauseln. In dieser Arbeit werden Techniken für Ressourcen-beschränkte Scheduling-Probleme in diesem Framework entwickelt. Wir stellen ein approximatives Resultat zum Identifizieren relevanter Intervalle für den Propagieralgorithmus energetic reasoning vor. Eine algorithmische Anwendung dieses Resultats senkt die Laufzeit auf ein Viertel. Diese Arbeit ist die erste, in der ausführliche Komplexitätsbetrachtungen für die Erklärung von Unzulässigkeiten im Zuge der Propagieralgorithmen des kumulativen Constraints durchgeführt werden und auf denen aufbauend Algorithmen entwickelt und evaluiert werden. Die Größe des Branching-Baumes kann um bis zu 90% im Durchschnitt verringert werden und die Laufzeit wird um ca. 2/3 gesenkt. Desweiteren stellen wir eine kontinuierliche Relaxierung des kumulativen Constraints vor, die dem B&B-Framework IP-Techniken zur Verfügung stellt, ohne zusätzliche Variablen einzuführen. Eine Reduktion der Knoten um die Hälfte und eine Laufzeitersparnis von 1/3 sind durchschnittlich zu beobachten. Die Verallgemeinerung des coefficient strengthening aus dem IP auf CP sorgt dafür, dass einige schwere hoch-kumulative Instanzen zum ersten Mal optimal gelöst werden können. Eine Verallgemeinerung dieser Technik auf andere globale CP-Constraints lässt Raum für weitere Arbeiten. Insgesamt sind unsere Rechenresultate kompetitiv zu anderen Verfahren auf den Instanzen aus der PSPLib und teils besser auf den hoch-kumulativen Pack-Instanzen. In den letzten beiden Kapiteln werden die gewonnenen Erkenntnisse auf drei verschiedene Praxisprobleme angewendet. Darunter fallen Net Present Value-Probleme, wie sie im Bergbau auftreten, und Labor-beschränkte Scheduling Probleme, wie sie in der chemischen Industrie auftreten. Abschließend nutzen wir das Konzept der Dantzig-Wolfe Dekomposition, um scharfe Schranken an die Optimallösung von Turnaround Scheduling Problemen zu ermitteln.
Resource-constrained Project Scheduling problems (RCPSP) contain practically relevant and combinatorial optimization problems as they occur e.g., in manufacturing. Already single characteristics of these problems are known to belong to the class of NP-hard problems such that people from theory and practice developed sophisticated solving techniques to approach such kinds of problems. Constraint Integer Programming is a hybrid branch-and-bound framework, that integrates techniques from Constraint Programming (CP), Integer Programming (IP) and SAT solving. Given this framework, the different techniques can be applied in each node of the search tree such as propagation of the variable domains, computation of lower bounds from the LP relaxation as well as conflict analysis. In this thesis, techniques for RCPSP are developed in such a framework. We introduce an approximative criterion to identify promising intervals for propagation algorithms such as energetic reasoning. Using this result algorithmically, we are able to reduce the average running time to 1/4. This work is the first to perform an in-depth complexity study for explaining infeasibilities and bound changes as detected by the propagation algorithms of the cumulative constraint. Based on this study, explanation algorithms of different strengths are developed and evaluated. The size of the search tree can be reduced by up to 90%, while the average running time can be reduced by 2/3. Furthermore, we propose a continuous relaxation of the cumulative constraint which enables the solver to apply techniques from IP without adding additional (time-indexed) variables. On average we experience a reduction of half of the nodes and decrease running times by 1/3. The idea to apply coefficient strengthening on the cumulative constraint, enables us to solve some of the hard highly cumulative instances for the first time. A generalization of this technique to other global constraints from CP leaves ample room for future research. In total, or computational results are competitive to those reported in the literature and sometimes better on highly cumulative Pack instances. In the last two chapters, the gained knowledge and techniques are applied to problems coming from practical applications. Among them are net present value problems from the mining industry and labor constrained scheduling problems from chemical manufacturing. Finally, we apply a Dantzig-Wolfe decomposition to obtain tight dual bounds on the optimal solution for a Turnaround Scheduling problem.
URI: urn:nbn:de:kobv:83-opus-39956
http://depositonce.tu-berlin.de/handle/11303/3899
http://dx.doi.org/10.14279/depositonce-3602
Exam Date: 14-Dec-2012
Issue Date: 24-May-2013
Date Available: 24-May-2013
DDC Class: 510 Mathematik
Subject(s): Hybride Lösungsverfahren
Projektscheduling
Constraint Integer Programming
Scheduling
Usage rights: Terms of German Copyright Law
Appears in Collections:Technische Universität Berlin » Fakultäten & Zentralinstitute » Fakultät 2 Mathematik und Naturwissenschaften » Institut für Mathematik » Publications

Files in This Item:
File Description SizeFormat 
Dokument_21.pdf1,51 MBAdobe PDFThumbnail
View/Open


Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.