Theses

You are looking for a B.Sc. or M.Sc. Thesis topic in operations research or mathematical optimization? Below you will find useful information.

66
Theses

At a Glance

You are a student of mathematics, computer science, business and economics, or industrial engineering. You have a profound knowledge in operations research or mathematical optimization, e.g., from our courses or seminars. Typically, your implementation skills are good or better. You write your thesis in English or German, and of course using LaTeX. 

Topics range from theoretical/structural analysis/improvement of optimization problems/algorithms and/or their modeling/implementation and/or their experimental evaluation. Should you be working on a practically motivated problem you often deal with the entire OR/analytics process. In that case you have participated in out course "practical optimization" and maybe also in an "OR lab."

In case you are specifically interested in branch-and-price, in particular in GCG, or you like the combination of optimization and machine learning, we will always find a challenging and interesting topic for you. If you have a concrete idea about your thesis already or look for something different than you find here, please contact Marco Lübbecke.

 

Open Thesis Topics

0
A Hierarchy of Dantzig-Wolfe Decompositions
Graduation M.Sc.
Contact: M. Lübbecke
Details

In this article

Bastubbe, M., Lübbecke, M. and Witt, J.T.
A Computational Investigation on the Strength of Dantzig-Wolfe Reformulations

 

we experimentally compute for "all" possible Dantzig-Wolfe reformulations of a (small) integer programthe strength of the resulting dual bound. To this end, we take all (exponentially many) subsets of constraints, perform the DW reformulation on the respective subset, and solve the root node to obtain the dual bound. One might expect to see many different value for the dual bound, but quite to the contrary, there are only very few different values. The reason is that many reformulations lead to the same dual bound, and the question is: why? In the conclusions of the above article we conjecture the existence of very few representatives of reformulations which together form a "hierarchy" of (stronger and stronger) relaxations, from the LP relaxtion to the integer hull.

In this thesis you will approach this conjecture theoretically and experimentally.

A Python Interface to GCG
Graduation M.Sc.
Contact: M. Lübbecke
Details

We develop the source-open solver GCG for structured integer programs (and when you want to embark on this topic, you will probably already have worked with it). GCG is based on the SCIP framework, for which there is (among others) a C/C++ API, and a Python API, which is called PySCIPOpt. In this thesis project, you will extend this Python interface to GCG. You need a solid knowledge in integer programming, Dantzig-Wolfe reformulation, column generation, branch-and-price. Yet, foremost, this is a topic of good software development and craftpersonship. The existing C/C++ API needs some love before the most important methods can be created in the (extension of the) PySCIPOpt Python API. As a documentation of the new API you develop an example branch-and-price project.

The Python API is the most wanted GCG feature, and the scientific community will be forever in your debt.

Branch-and-Price Applications: Improving on the Literature
Graduation M.Sc.
Contact: M. Lübbecke
Details

Integer programs are used as models in many publications about optimization problems in science and applications. We often see a different modeling approach that would lead to a column generation and branch-and-price approach, that has not been followed by the authors. In your thesis you take such an approach, formulate an alternative model, how to state the master and pricing problems, decide which algorithms to apply or design or adapt new ones, think about performance enhancements, implement everything in SCIP or ideally directly in GCG and compare your approach to the one in the literature. Theoretical components like thinking about computational complexity, exploiting combinatorial structure etc. are most welcome, too.

Branching in Branch-and-Price: An experimental Study
Graduation M.Sc.
Contact: M. Lübbecke
Details

We develop the generic branch-and-price solver GCG. GCG implements several classic branching rules like branching on original variables, Ryan-Foster branching for set partitioning problems, and also Vanderbeck's generic branching. There are no general computational comparisons of branching rules in the literature concerning branch-and-price. You will do such an experimental study in this thesis. You design and implement rules from the literature like strong branching, run experiements to evaluate the performance of the rules and inverstigate e.g., the influence of the choice of row pairs in Ryan-Foster branching and how an intelligent choice can look like. You conclude with a major computational study of branching rules across several applications.

Combinatorial Attacks on Binarized Neural Networks
Graduation M.Sc.
Contact: M. Lübbecke
Details

In their paper Combinatorial Attacks on Binarized Neural Networks the authors "attack" a binarized neural network (which is one with weights only 0 and 1). The "attacks" are small changes to the data such that the network misclassifies the input. To construct such attacks, the authors propose a mixed-integer program which, for larger inputs, does not solve in an acceptable amount of computing time. In this thesis project, you will conceive different way of modeling (as an integer program), implement (potentially) a branch-and-price approach, and experimentally compare against the literature. If successful, the results of this thesis can be turned into a scientific publication.

Covering Integer Programs for Rectilinear Picture Compression
Graduation M.Sc.
Contact: M. Lübbecke
Details

In this thesis we look for optimization models and algorithms that can be used for rectilinear picture compression for monochrome digital images. One can cover the pixels of an image with rectangles or more complicates shapes. Doing this with a minimum number of suitable shapes turns the task into an optimization problem. We can build on a preliminiary work here. Potentially, on has to dynamically build/select the shapes in a column generation approach which makes the problem also algorithmically interesting. It goes without saying that this topic is a rich playground for implementations and (graphically appealing) experiments.

End-to-End Testing in GCG
Graduation M.Sc.
Contact: M. Lübbecke
Details

We develop the source-open solver GCG for structured integer programs (and when you want to embark on this topic, you will probably already have worked with it). GCG is written in C/C++ and is based on the SCIP framework, for which a suite of example projects is available that document the use of the framework. In this thesis project, you will develop such example projects for GCG. These projects simultaneously serve as end-to-end (full stack) tests of certain components of the solver. You have a great expertise in software development (in particular in C/C++) and some understanding of end-to-end testing. If you want to apply this knowledge in a practice project (i.e., on GCG) this thesis is for you.

Erkennung von Strukturen in GAMS Modellen
Graduation M.Sc.
Contact: M. Lübbecke
Details
MIP Presolve that preserves decomposition structure
Graduation M.Sc.
Contact: M. Lübbecke
Details

Dantzig-Wofe reformulations an Benders decomposition are standard techniques to strengthen the relaxation of a MIP. We develop the source-open solver GCG for structured integer programs which automatically employs these techniques. As part of its functioning, GCG has to "detect" model structure in the MIP coefficient matrix which allow a reformulation.

MIP presolve comprises techniques that are applied to a MIP before it is actually solved, in order to simplify or strengthen the model, eliminate redundant information, strengthen inequalities, restrict the domains of variables, etc. Often, a MIP becomes solvable in acceptable time only because presolve was applied. Yet, decomposable model structure can be "destroyed" or "masked" by presolve, which hinders GCG's detection of such structure. Sometimes, GCG detects "better" model structure on the presolved model.

In this thesis project, common presolve techniques should be evaluated theoretically and experimentally with regard for their impact on model structure and its detectability.

The Temporal Facility Location Problem
Graduation M.Sc.
Contact: M. Lübbecke
Details

Faciliy location is a classical OR problem. From a set of potential capacitated locations one has to open a subset, and assign customers to opened locations in such a way that the capacity constraint is not exceed. In this thesis project we extend this problem in a temporal manner. Customers have a demand only in a (given) time window, need to be assigned to opened locations in such a way that the capacity constraints are not exceed at no point in time.

One motivation to study this problem comes from the location of charging stations for electric vehicles. The strategic locatin decision mixes with the operational demand for electricity. The literature knows a temporal extension of the knapsack problem, and also a temporal extension of the bin packing problem. Both are attacked using a branch-and-price approach which is a fruitful approach also for the temporal extension of the facility location problem. To design this approach, based on the literature, implement and experimentally test it is the subject of this thesis project.

 

Selection of Completed Theses

 

2020
The Seat Assignment Problem for Aeroplane Boarding
Student: Jens Doveren
Program: Informatik |
Type: M.Sc. |
Year: 2020
First Reviewer: W. Unger
| Second Reviewer: M. Lübbecke
Abstract

In this thesis, we investigate possible optimisations of the aeroplane boarding process. To accomplish this, we define and mathematically model the process, formulate it as a minimisation problem, and propose a solution procedure. We show that the problem is computationally hard in a theoretical sense and investigate the quality of heuristic approaches as well as some of its online properties.

The boarding process is of particular interest for airlines to improve profitability as well as customer satisfaction. Since boarding policy changes pose a lower implementation barrier than buying new planes or making changes to existing infrastructure, advances in aeroplane boarding research have the potential to positively impact customers and airlines relatively immediately.

Download:
2019
Computational Analysis of Connected Subgraph Optimization Models
Student: Christian Plewnia
Program: Wirtschaftswissenschaften |
Type: M.Sc. |
Year: 2019
First Reviewer: M. Lübbecke
| Second Reviewer: B. Peis
Persistency Property of Stable-Set-Problems and its Connection to Unconstrained Pseudo-Boolean Optimization
Student: Karl Stickler
Program: Wirtschaftsingenieurwesen FR Maschinenbau |
Type: M.Sc. |
Year: 2019
First Reviewer: M. Lübbecke
| Second Reviewer: M. Walter
2018
Application of Supervised Machine Learning algorithms in a Predictive Maintenance use case at BMW
Student: Andrea Scholten
Program: Betriebswirtschaftslehre |
Type: M.Sc. |
Year: 2018
First Reviewer: M. Lübbecke
| Second Reviewer: G. Walther
Design and Training of Neural Networks using Mixed-Integer Optimization - a Feasibility Study
Student: Lukas Walbröl
Program: Informatik |
Type: M.Sc. |
Year: 2018
First Reviewer: B. Leibe
| Second Reviewer: M. Lübbecke
Abstract

This thesis aims to evaluate the boundaries of neural network training using
mixed-integer optimization. Neural networks are a powerful machine learn-
ing technique that is able to classify data non-linearly. This technique is
applied to a lot of different tasks. However, traditional approaches to neural
network training can get stuck in local minima, while algorithms exist that
solve a mixed-integer optimization problem optimally. The goal of this thesis
in the context of mixed-integer programming. We start by showing which
kind of activation functions can be expressed by a mixed-integer program
(MIP). After that variants of neural network training using mixed-integer
programming are presented and it is shown which activation functions can
be incorporated into these variants. Finally, we use a blackbox-solver to ap-
ply the resulting models to the parity function and evaluate the performance
of our approaches.

Evaluierung verteilter Optimierung zum Lösen von MILPs für das Energiemanagement in Stadtquatieren
Student: Corinna Buhlrich
Program: Wirtschaftsingenieurwesen Fachrichtung Elektrische Energietechni |
Type: M.Sc. |
Year: 2018
First Reviewer: A. Monti
| Second Reviewer: M. Lübbecke
Optimal Connected Vertex Clustering
Student: Sebastian Krott
Program: Informatik |
Type: M.Sc. |
Year: 2018
First Reviewer: G. Woeginger
| Second Reviewer: M. Lübbecke
Abstract

We introduce an optimization problem on graphs called Connected Vertex Clustering Problem (CVCP). The input consists of a finite graph, arbitrary linear constraints to restrict the set of feasible clusters and a linear objective function. The expected solution is a vertex clustering that optimizes the objective under the condition that each cluster induces a connected subgraph and satisfies the custom constraints. Besides partitional clustering, i.e., node partitioning, the solution may also be restricted to packings or coverings of nodes. We show that this highly configurable problem is NP-hard and propose a branch-and-price method as a solution approach. The suggested method is implemented as a framework which is capable of solving arbitrary CVCP instances. The framework can easily be extended with new features due to its plug-in architecture. This allows to exploit the characteristics of specific variants of the CVCP in order to enhance the efficiency of the solution process. We evaluate the developed framework on a districting problem for the German federal elections and on the Odd Cycle Packing Problem.

Download:
2017
Entwicklung eines Algorithmus zum Clustering eines Graphen zur Vereinfachung des Lösens eines Multi Commodity Flow Problems
Student: Karl Stickler
Program: Wirtschaftsignenieurwesen MB |
Type: B.Sc. |
Year: 2017
First Reviewer: M. Lübbecke
| Second Reviewer: M. Schneider
Abstract
This thesis’ target is to develop an algorithm which clusters the vertices of a graph into different clusters. Said graph is going to be derived from a logistical problem dealing with vehicle transportation. The goal is based on the idea of partitioning the database of a Multi Commodity Flow problem into several smaller problems that can be solved individually. Those smaller problem units are formed by the generated clusters and by the edges connecting two vertices that have been associated with different clusters. By applying this process to the Multi Commodity Flow problem one is hopefully able to reduce the overall runtime of the problem-solving process. Hence, this thesis is first reviewing existing clustering methods which are currently being discussed. Those methods are then being assessed in terms of their applicability to this thesis’ problem. Afterwards, suitable methods are being chosen to develop a fitting algorithm based on the chosen approaches. This algorithm is going to be tested on different instances of the mentioned problem and the resulting outputs are going to be evaluated.
Heuristics for the Energy Minimizing Vehicle Routing Problem
Student: Boris Lyubenov
Program: Informatik |
Type: B.Sc. |
Year: 2017
First Reviewer: P. Rossmanith
| Second Reviewer: M. Lübbecke
Abstract
The Energy Minimizing Vehicle Routing Problem (EMVRP) introduced by Kara and Yetis in 2007 is an extended version of the traditional Vehicle Routing Problem of transportation logistics. In this thesis we consider different algorithms, which heuristically solve the EMVRP in reasonable computation time. This thesis also includes a comparison between the proposed heuristics, which lays out the advantages and disadvantages of each one using different sets of test instances.
Machine Learning as a Decision Support for a Generic Column Generation Framework
Student: Simon Grubert
Program: Informatik |
Type: M.Sc. |
Year: 2017
First Reviewer: B. Leibe
| Second Reviewer: M. Lübbecke
Abstract

Dantzig-Wolfe (DW) reformulation is a well-known approach to produce strong dual bounds for Mixed-Integer Programs (MIPs). If a MIP has a special structure which can be exploited well by a DW reformulation the solver could be much faster on the reformulated model than on the original. Otherwise the solver may fail completely. Providing a strong DW reformulation typically requires enhanced knowledge about the underlying model structure of the MIP which makes an automatic reformulation without such knowledge difficult. Despite this problem there have been several approaches proposed which implement such an automatic DW reformulation process into a state-of the-art MIP solver, especially the Generic Column Generation (GCG) framework [1]. In such frameworks the detection of a decomposition that exploits the underlying model structure is one of the most important aspects. GCG for example uses different detectors that use heuristics and clustering algorithms to generate a set of possible decompositions. Recently supervised learning algorithms have been applied by Kruber et al. [2] to decide if a reformulation of the model should be solved (and also which if several have been detected) or if the original model should better be solved by a standard solver. These first promising results showed that machine learning could be a useful support in this decision process. Besides this single question there might be other decisions in the entire process that could also potentially benefit by the use of supervised machine learning.

MILP Optimization for the Design and Operation of a District Heating Network Energy System Based on Measured Data from a Holiday Village in Blatten-Belalp (Switzerland)
Student: Marten Fesefeldt
Program: Wirtschaftswissenschaften |
Type: M.Sc. |
Year: 2017
First Reviewer: M. Lübbecke
| Second Reviewer: G. Walther
Abstract
Solving Large Multi Constraint Multi-Commoditiy Flow Problems by Decomposition on Commodities
Student: Frederik Schulz
Program: Wirtschaftsignenieurwesen EET |
Type: B.Sc. |
Year: 2017
First Reviewer: M. Lübbecke
| Second Reviewer: M. Schneider
Abstract

The bachelor thesis deals with solving multi-commodity flow problems. These kinds of problems occur in different everyday situations. For example, the transport of goods in distribution networks or the movement of messages in communication networks. In addition to the considerable size of these flow problems, which often occurs, there can be further complicating constraints on nodes, edges, or goods. In the context of the work, an alternative solution approach for minimal-cost multi-commodity flow problems, which is based for the most part on the computation of k-shortest paths, is developed. Based on optimally solved single-sink single-source single-commodity flow sub-problems, whose accumulated solutions are usually an inadmissible solution of the multi-commodity flow, the developed solution approach tries to obtain a feasible solution by rerouting the flow of edges that are infeasible in the original problem. The developed approach will be evaluated in a feasibility study based on a real use case, which is a time-expanded distribution network of an automobile manufacturer with limitations on edges and goods.

2016
Clustering algorithms to find special structures in matrices
Student: Igor Pesic
Program: Informatik |
Type: B.Sc. |
Year: 2016
First Reviewer: M. Lübbecke
| Second Reviewer: B. Leibe
Download:
2015
An Adaptive Large Neighborhood Search Algorithm for the Tail Assignment Problem of Airlines
Student: Andreas Hottenrott
Program: Wirtschaftsingenieurwesen |
Type: M.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: M. Lübbecke
Download:
Ansätze zur Lösung eines auf Kompaktheit fokussierten Gebietseinteilungsproblems am Beispiel der Wahlkreiseinteilung von Deutschland
Student: Heiko Samlowski
Program: Betriebswirtschaftslehre |
Type: M.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Bewertung von Löser-Technologien für Gemischt-Ganzzahlige Lineare Optimierung eines Dezentralen Energiesystems
Student: Fritz Arnold
Program: Wirtschaftsingenieurwesen |
Type: B.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: A. Bardow
Optimal rescheduling in automotive industry
Student: Markus Kruber
Program: Informatik |
Type: M.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: W. Unger
Abstract

In automotive industry long delivery periods and the Just-In-Time production yield to an inflexible production plan for several weeks. At the same time the exact prediction of incoming customer orders is nearly impossible due to mass customization. However, mass customization is a core concept of automotive industry. In combination with time consumption requirements these conditions generate a challenging problem in practice. This thesis is about presenting an algorithm, where mixed integer programming is used to reduce the average waiting period for an ordered car. Based on an existing production schedule the algorithm is able to determine an optimal rescheduling with respect to restrictions in warehousing and customer preferences to guarantee the earliest possible delivery date.

Download:
Room Assignment for Graduation Trip of Humboldt Gymnasium Solingen
Student: Jan Derkum
Program: Betriebswirtschaftslehre |
Type: B.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: M. Lübbecke
Abstract
This thesis is about implementing an algorithm that develops an assignement of rooms to students/teachers of the Humboldt Gymnasium Solingen. The goal is among others to rent as few rooms as possible. Additional constraints are: - Each student is assigned to one hotel and one room. - Both girls and boys as well as students and teachers are in separate rooms. - As in most years five classes are assigned to four hotels, at least one class is divided among hotels. In this case, the class shall not be divided among more than two hotels. In addition, the class which gets divided is sometimes identified beforehand. - Most rooms can be furnished with additional beds. Although the overall number of rooms is minimized, the rooms shall not be too crowded. In the end, the user shall be able to read in data, express preference (e.g. about which class to divide) and obtain the room assignment in a clear format. Programming skills in C/C++ are required.
The Consecutive Dinner Problem
Student: Britta Grimm
Program: Wirtschaftswissenschaft |
Type: M.Sc. |
Year: 2015
First Reviewer: M. Lübbecke
| Second Reviewer: Grit Walther
Abstract
The consecutive dinner problem describes the problem of finding routes and differing groupes for each participating team. A team's route must contain exactly three stops: one at the appetizer, one at the main course and one at the dessert. Furthermore, the team itself must prepare one of the three courses of its own route. Each group that is formed at a course must consist of three teams that have not already / will not again meet at another course. Each team has the possibility to name a course they would like to prepare. The objective function minimizes the distance all teams have to travel between their courses as well as maximizes the number of teams that get their favorite course.
Further extensions to this model can include a differentiation by age and/or gender to obtain a more diverse/equal group set-up. Also the number of previously participated dinners might be taken into consideration.

The student will develop an integer program that solves the consecutive dinner problem as well as implement the program. Real life instances will be provided to test the IP. Therefore, the student must know how to develop a mathematical program as well as how to implement IPs in C/C++ or Java.
2014
Covering Rectilinear Polygons by Rectangles
Student: Jaromil Najman
Program: Mathematik |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
Abstract

In this Master Thesis we consider the problem of covering rectilinear polygons by the
minimum number of axis-parallel rectangles. This problem finds applications in the
fabrication of DNA chip arrays [Hannenhalli et al. 2002], in VLSI design, where the
rectilinear polygon is a chip that has to be covered by a huge number of rectangular
transistors.
Other applications are data compression and in particular image compression, where
large rectangular areas with the same color can be compressed into one pixel.

Download:
Development of the application for inventory management automation and optimization
Student: Pavlo Zhdanov
Program: Mathematik |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
Download:
Entwicklung eines Software-Tools zur Analyse, Prognose und Bewertung der Prognosegüte von Zeitreihen im Strommarkt
Student: Nina Deeg
Program: Wirtschaftswissenschaften |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
Download:
Ganzzahlige Optimierung für ein Zeitablaufsteuerungsproblem aus der Farbmittelindustrie
Student: Richard Spiegelberg
Program: BWL |
Type: B.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
Download:
Optimierte Einteilung der Wahlkreise für die Deutsche Bundestagswahl: Problemanalyse, Modelle, Algorithmen & Ergebnisse
Student: Sebastian Goderbauer
Program: Mathematik |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Download:
Optimierung von dezentralen Enegieversorgungssystemen mit Branch-and-Price
Student: Georg Schneider
Program: Wirtschaftswissenschaft |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
| Second Reviewer: A. Bardow
Abstract

This work evaluates whether optimization problems resulting from modelling the optimal synthesis, design and operation of a decentralized energy supply system have an embedded structure which can be exploited by decomposition methods in solution algorithms. The objective is to determine if the the accuracy and/or the problem size in terms of number of periods of time and number of units considered may be increased, as these are limited if the branch-and-bound method combined with the simplex method is used to solve the problems. A model of the problem is formulated as a mixed-integer linear program as proposed by Yokoyama et al. (2002) and Voll (2013). The model is analyzed and two embedded structures suitable for decomposition are identified.

The first structure emphasizes the independent operation and design of every component. The second structure emphasizes the design and operation of all components and focuses on the independence of every period of time considered. The model is reformulated using the Dantzig-Wolfe decomposition principle for both proposed embedded structures. A numerical study is conducted where the synthesis, design and operation of a fictional energy supply system is optimized by both the branch-and-bound method combined with the simplex method and by the branch-and-price method. A set of instances is created for different degrees of complexity in terms of the number of units and the number of periods of time considered.

The results show that the dual bounds obtained by solving the rootnode LP relaxation can be improved in comparison to the conventional solution approach, if the reformulation emphasizing independent components is utilized. The results provide no evidence on improvements on the considered test set for the reformulation emphasizing design and operation. For the case of an optimal solution computing times required to solve the considered instances of a test set are found to be reduced by utilizing the branch-and-price method and the reformulation emphasizing components, if identical components are considered in the energy supply system in comparison to the non-commercial solver SCIP.

Download:
Robuste Lokale Suche für das Job Shop Scheduling Problem
Student: Friederike Menge
Program: Mathematik |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
Download:
Schleusen trotz Verspätung. Robuste Modelle, Algorithmen und Rechenstudien
Student: Ilja Schwanke
Program: Mathematik |
Type: M.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Download:
Structure and Characterization of Popular Matchings
Student: Oliver Scheel
Program: BWL |
Type: B.Sc. |
Year: 2014
First Reviewer: M. Lübbecke
| Second Reviewer: Britta Peis
Download:
2013
Die Auswirkungen verschiedener Preprocessing-Routinen und Branch-And-Cut-Frameworks auf das Lösungsverhalten der Time Bucket Formulation des Travelling Salesman Problems mit Zeitfenstern
Student: Stephan M.F. Beckhäuser
Program: Betriebswirtschaftslehre |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
Download:
Die richtige Distributionslogistik als Wettbewerbsvorteil in der Nutzfahrzeugindustrie am Beispiel der Schmitz Cargobull AG
Student: Thorben Deckers
Program: Betriebswirtschaftslehre |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: J. Schönberger
Ein Grammatik-basiertes Modell zur optimalen Planung von Universitäts-Stundenplänen
Student: Andreas Bil
Program: Mathematik |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
Models for the Steiner Tree Packing Problem
Student: Michael Sausen
Program: Mathematik |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: J. Derks
Abstract

The Steiner tree packing problem is a long studied problem in combinato-
rial optimization. In contrast to many other problems, where an enormous
progress has been made in the practical problem solving, the Steiner tree
packing problem remains very difficult. Most heuristics schemes are ineffec-
tive and even finding feasible solutions is already NP -hard. What makes this
problem special, is that in order to reach an overall optimal solution non-
optimal solutions to the underlying NP -hard Steiner tree problems must be
used. Any non-global approach to the Steiner tree packing problem is likely
to fail. Integer programming is currently the best approach for computing
optimal solutions.
The goal of this master thesis is to give a survey of models relating to the
Steiner tree packing problem from the literature. In addition, a closer look
at a model for the switchbox routing problem in VLSI-Design will be given.

Download:
Preprocessing-gestütztes Lösen des Vehicle Routing Problems mit Zeitfenstern mittels verschiedener IP-Formulierungen
Student: Alena Gridchina
Program: Betriebswirtschaftslehre |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: H.-J. Sebastian
Download:
Robuste Terminvergabe im Krankenhaus unter unsicheren Behandlungspfaden
Student: Luisa Eickmeyer
Program: Mathematik |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Download:
Separation of generic cutting planes in branch-and-price
Student: Jonas Witt
Program: Mathematik |
Type: M.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Abstract

When reformulating a given mixed integer program by the use of classical Dantzig-Wolfe decomposition, a subset of the constraints is partially convexified, which corresponds to implicitly adding all valid inequalities for the associated integer hull. Since these inequalities are not known, a solution of the original linear programming (LP) relaxation which is obtained by transferring an optimal basic solution of the reformulated LP relaxation is in general not basic. Hence, cutting planes which are separated using a basis like Gomory mixed integer cuts are usually not directly applicable when separating such a solution.

Nevertheless, we can use some crossover method in order to obtain a basic solution which is nearby the considered non-basic solution and generate cutting planes for the basic solution using its basis information. These cutting planes might also the solution we originally wanted to separate. So far, this problem was only considered extensively by Range, who proposed the previously described approach including a particular crossover method. We present a modified crossover method and extend this procedure by considering additional valid inequalities strengthening the original LP relaxation. Furthermore, we provide the first full implementation of a separator like this and tested it on instances of several problem classes.

Download:
The vertex separation problem in bipartite graphs: A cycle-based algorithm
Student: Ina Hoffmann
Program: Mathematik |
Type: B.Sc. |
Year: 2013
First Reviewer: M. Lübbecke
| Second Reviewer: M. Lübbecke
Download:
2012
Ein Spaltengenerierungsansatz für die Zuordnung von Güterzügen
Student: Tuğba Güçlü
Program: Mathematik |
Type: M.Sc. |
Year: 2012
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Download:
Eine Heuristik zum Erkennen von Staircase-Strukturen in Matrizen
Student: Mathias Luers
Program: N. N. |
Type: Dipl |
Year: 2012
First Reviewer: M. Lübbecke
Download:
Erzeugen von Treppenstufenformen in Matrizen
Student: Christina Schoenen
Program: Mathematik |
Type: M.Sc. |
Year: 2012
First Reviewer: M. Lübbecke
Experiments on Vanderbeck’s generic Branch-and-Price scheme
Student: Marcel Schmickerath
Program: Mathematik |
Type: M.Sc. |
Year: 2012
First Reviewer: M. Lübbecke
| Second Reviewer: A.M.C.A. Koster
Download:
Lineare Optimierung von Transportwegen und Aufbau einer Sendungsverfolgung im OBI-Logistiknetzwerk
Student: Florian Hillebrand
Program: Wirtschaftswissenschaftliches Zusatzstudium |
Type: M.Sc. |
Year: 2012
First Reviewer: M. Lübbecke
Optimierungsmodelle für das Project Scheduling mit Iterationen
Student: Christina van Megen
Program: N. N. |
Type: Dipl |
Year: 2012
First Reviewer: M. Lübbecke
Permutieren einer Matrix in Blockdiagonalform mittels Graph-Partitionierung
Student: Christian Kind
Program: Mathematik |
Type: M.Sc. |
Year: 2012
First Reviewer: M. Lübbecke
Download:
2011
Algorithms for Detecting Block Structures in Matrices
Student: Michael Bastubbe
Program: Techno- und Wirtschaftsmathematik |
Type: Dipl |
Year: 2011
First Reviewer: M. Lübbecke
| Second Reviewer: R. Möhring
Download:
Gesamtheitliche Prozesskettensimulation
Student: Mehmet Ali Sener
Program: Wirtschaftsingenieurwesen EET |
Type: B.Sc. |
Year: 2011
First Reviewer: M. Lübbecke
| Second Reviewer: M. Lübbecke
Primal Heuristics for Branch-and-Price Algorithms
Student: Christian Puchert
Program: Mathematik |
Type: M.Sc. |
Year: 2011
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
2010
A Branch-and-Price Approach for Resource Leveling
Student: Eamonn Thorsten Coughlan
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: R. Möhring
A cutting plane algorithm for graph coloring
Student: Lena Maria Schwan
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Analyse einer Heuristik zur Reihenfolgeplanung paralleler Maschinen
Student: Lars Bauer
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Atomic routing games on maximum congestion
Student: Ann-Kathrin Heyse
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Aufspannende Teilgraphen mit kürzesten Umwegen
Student: Christoph Werner Acker
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Bestimmung eines aufspannenden Baumes mit annähernd minimalen Max-Stretch
Student: Frank Borchert
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Bikriterielle kürzeste Wege Probleme: Algorithmen
Student: Sorana Goetzke
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: R. Möhring
Bikriterielle Kürzeste-Wege-Probleme: Theorie
Student: Maria Skoutarianou
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: R. Möhring
Effizienter Algorithmus für das beschränkte zweidimensionale Zuschneideproblem
Student: Benedikt Kehr
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Ein Approximationsalgorithmus für das metrische unkapazitierte Facility Location Problem
Student: Florian Uhl
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Ein Approximationsalgorithmus für die zeitliche Einteilung unabhängiger parallel laufender Maschinen
Student: Stefan Schwarzkopf
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Ein Branch-and-Price-Algorithmus für den Straßenwinterdienst
Student: Sarah Kirchner
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Flottenplanung von Flugzeugen
Student: Sebastian Erik Vock
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Ganzzahlige Programmierung für die Bestimmung der Dimension einer partiell geordneten Menge
Student: Katja Krüger
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Felsner
Gemischt-ganzzahlige Optimierung am Beispiel von Losgrößenproblemen
Student: Philipp Walter
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Generic Branch-Cut-and-Price
Student: Gerald Gamrath
Program: Mathematik |
Type: Dipl |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: M. Grötschel
Download:
Modellieren und Lösen eines Gemischt-Ganzzahligen linearen Programms für die Erstellung eines kostenminimalen Luftverkehrsnetzes
Student: Tim Weisgerber
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
Train Timetabling Problem
Student: Dominique Achard
Program: Mathematik |
Type: B.Sc. |
Year: 2010
First Reviewer: M. Lübbecke
| Second Reviewer: S. Ulbrich
Download:
2009
Winkelminimierung bei Überdeckungsproblemen in Graphen
Student: Olaf Maurer
Program: Mathematik |
Type: Dipl |
Year: 2009
First Reviewer: M. Lübbecke
| Second Reviewer: R. Möhring
Download:
2008
Aspects of Quickest Multicommodity Flows
Student: Jens Hillmann
Program: Mathematik |
Type: Dipl |
Year: 2008
First Reviewer: M. Lübbecke
| Second Reviewer: M. Skutella