| Current Activities |
|---|
Priority Program Algorithm Engineering
Participants: Martin Bergner
Participants: Tobias Harks, Felix G. König, Jannick Matuschke, Britta Peis
Participants: Elisabeth Günther, Rolf H. Möhring
| Completed Projects (2005-2009) |
|---|
Participants: Wiebke Höhn, Felix G. König
Participants: Ines Spenke, Björn Stenzel
Participants: Felix G. König, Rolf H. Möhring, Guido Schäfer, Ines Spenke
Participants: Tobias Achterberg, Alberto Ceselli, Michael J. Gatto, Marc Nunkesser, Heiko Schilling
Participants: Alberto Ceselli, Ines Spenke
| 2006-2008 |
|---|
In this project, we are interested in establishing such a new paradigm and considerably advance the current state of algorithmic research by attacking optimization questions in perhaps the most complex and largest in scale (transportation) setting: that of railway systems. Railway optimization deals with planning and scheduling problems over several time horizons. We focus on two important and actually unexplored facets of planning that pose even harder optimization questions: robust planning and online (real-time) planning. These two, tightly coupled, facets constitute a proactive and a reactive approach, respectively, to deal with disruptions to the normal operation.
Our main goal is to develop the necessary foundational algorithmic research in order to provide ingenious and sound answers to the fundamental efficiency and quality issues encapsulated in robust and online planning of complex, largescale systems as those in railways. We will endeavor to develop a thorough understanding of the fundamental issues that make robust and online railway optimization problems hard and to subsequently develop new algorithmic and complexity principles to deal with hardness through an integrated, interdisciplinary approach drawn from algorithmic, operations research, and constraint programming techniques.
Funded by:
Sixth
Framework Programme of the European Commission
| Former Long Term Industrial Projects |
|---|
In a first step, the railroad network is decomposed into regions. For each region the supply of cars of each type is known. We construct a bipartite graph which represents feasible supply-demand pairs. The rough distribution of cars among regions is then easily determined by solving a standard transportation problem.
In each region, when the upper level transportation problem is solved, the demand for each car type is fixed. We face the following shunting problem. Each track is attributed a cost, which occurs when pulling any one car out of the track. The goal is to provide at least the demand of cars from each type at minimal total cost. A practical assumption is that no space limitations apply to intermediate car storage. Currently, neither pushing surplus cars back onto their tracks give rise to any cost, nor exists a prescribed sequence of ordering the cars in the resulting train.
It can be shown by a reduction from vertex cover that this problem is NP-hard. We present integer programming formulations for the two problem levels separately, and an integrated model. Several modeling alternatives take more pratical details into account. In our computational experiments instances of practical size can be optimally solved within seconds.
Funded by:

Research program:
New Mathematical Methods
in Industry and Services
Cooperation with:
Participants: Marco Lübbecke, Uwe Zimmermann
Journal Article: PostScript PDF
Funded by:

Research program:
Mathematical Methods
for Problems in Industry and Business
Cooperation with:
CSC Ploenzke AG
Verkehrsbetriebe Peine-Salzgitter
Eisenbahn und Häfen
EKO Trans
Participants: Marco Lübbecke, Uwe Zimmermann
Journal Article: PostScript PDF
Ph.D. thesis: PostScript
PDF
Visit the project web site (German)
| Former Short Term Involvement in Industrial Projects |
|---|
Both, linear and non-linear integer programming are adequate and intuitive modeling approaches for this problem. We present a heuristic variable fixing procedure which builds on problem knowledge from both techniques. We derive and compare lower bounds from different linearizations in order to assess the quality of our solutions. The involved integer linear programs are strengthened by means of problem specific valid inequalities. Computational results with practical data from the Dutch Railways indicate that our algorithm gives excellent solutions within minutes of computation time.
Funded by:

Research program:
Application Oriented Joint Projects in Mathematics
Participants: Michael Bussieck, Thomas Lindner, Marco Lübbecke, Uwe Zimmermann
Journal Article: PostScript PDF
Ph.D. thesis:
PDF
Cooperation with:

Hüttenwerke Krupp Mannesmann
Participants: Michael Bussieck, Thomas Lindner, Marco Lübbecke, Uwe Zimmermann
Journal Article: PostScript PDF
| Software |
|---|

Given the linear description P = {x | Ax <= b} of a polytope P entirely contained in the unit hypercube {0 <= x <= 1}, our software zerOne dumps P's integral vertices. In other words, it lists all vertices with all coordinates equal to zero or one (regardless of the 0-1 property of P). This is a frequent (sub-)task when designing models or analyzing the associated (integral) polytopes in combinatorial optimization and is usually done by listing (virtually or actually) all vertices and filtering out the integral ones.
Unlike incremental algorithms for more general input (e.g., porta), our algorithm has an output independent memory consumption and runs in time linear in the output (which, by the way, is the theoretical achievement here). Currently, the code relies on a working CPLEX licence installed on your machine.
Participants: Michael Bussieck, Marco Lübbecke
Journal Article: PostScript
PDF
Software download from the zerOne
home page