@inproceedings{VierhausFuegenschuh2015, author = {Vierhaus, Ingmar and F{\"u}genschuh, Armin}, title = {Global and Local Optimal Control of a Resource Utilization Problem}, booktitle = {Proceedings of the 33rd International Conference of the System Dynamics Society}, year = {2015}, abstract = {System Dynamic models describe physical, technical, economical, or social systems using differential and algebraic equations. In their purest form, these models are intended to describe the evolution of a system from a given initial state. In many applications, it is possible to intervene with the system in order to obtain a desired dynamic or a certain outcome in the end. On the mathematical side, this leads to control problems, where aside from the simulation one has to find optimal intervention functions over time that maximize a specific objective function. Using a dynamical model for the utilization of a natural nonrenewable resource of Behrens as a demonstrator example, we present two main mathematical solution strategies. They are distinguished by the quality certificate on their respective solution: one leads to proven local optimal solution, and the other technique yields proven global optimal solutions. We present implementational and numerical issues, and a comparison of both methods.}, language = {en} } @inproceedings{HillerSaitenmacherWalther2017, author = {Hiller, Benjamin and Saitenmacher, Ren{\´e} and Walther, Tom}, title = {Analysis of operating modes of complex compressor stations}, booktitle = {Proceedings of Operations Research 2016}, doi = {10.1007/978-3-319-55702-1_34}, pages = {251 -- 257}, year = {2017}, abstract = {We consider the modeling of operation modes for complex compressor stations (i.e., ones with several in- or outlets) in gas networks. In particular, we propose a refined model that allows to precompute tighter relaxations for each operation mode. These relaxations may be used to strengthen the compressor station submodels in gas network optimization problems. We provide a procedure to obtain the refined model from the input data for the original model.}, language = {en} } @masterthesis{Viernickel2016, type = {Bachelor Thesis}, author = {Viernickel, Jan Merlin}, title = {Absch{\"a}tzung der Suchbaumgr{\"o}ße und Laufzeit f{\"u}r Branch-and-Bound Algorithmen}, year = {2016}, language = {de} } @misc{Gottwald2016, type = {Master Thesis}, author = {Gottwald, Robert Lion}, title = {Experiments with Concurrency and Heuristics in SCIP}, year = {2016}, language = {en} } @masterthesis{Roessig2016, type = {Bachelor Thesis}, author = {Roessig, Ansgar}, title = {Formulations and algorithms for the USCCSP}, year = {2016}, language = {en} } @misc{Teuchert2017, type = {Master Thesis}, author = {Teuchert, Andreas}, title = {Degeneriertheit im Simplexverfahren}, year = {2017}, language = {de} } @misc{Brueckner2015, type = {Master Thesis}, author = {Br{\"u}ckner, Michael}, title = {On the Shortest Path Problem with Pair Constraints}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57265}, year = {2015}, abstract = {This thesis investigates the shortest path problem with pair constraints or the pair constraint problem (PCP) for short. We consider two types of pair constraints, namely forbidden pairs and binding pairs consisting of two distinct vertices each. A path respects a forbidden pair if it uses at most one of the two vertices and it respects a binding pair (x,y) if it uses also y, if x is used. Within this thesis, we bring together and compare several formulations and variants of the pair constraint problem and their complexities. We also collect existing recursive algorithms and present their running times. Most of the presented contributions only consider forbidden pairs. We introduce a new recursive algorithm also handling binding pairs and prove its theoretical complexity of O(n^4). We implemented the algorithm and tested it on real-world instances provided by Lufthansa Systems AG. Therefore we needed to develop a heuristic translating the real-world data into an instance of the shortest path problem with pair constraints. This heuristic is presented as well as all computational results. In Chapter 4, we start investigating the associated polytope of an integer program formulation of the shortest path problem with pair constraints. For the case of one forbidden or binding pair, we find a complete linear description of the associated polytope. We prove that the number of facets grows exponentially in |V| even in these simple cases. However, separation is still possible in polynomial time. The complete linear description can be extended to the case of contiguously disjoint pairs.}, language = {en} } @misc{D'AndreagiovanniFeliciLacalandra2015, author = {D'Andreagiovanni, Fabio and Felici, Giovanni and Lacalandra, Fabrizio}, title = {Revisiting the use of Robust Optimization for optimal energy offering under price uncertainty}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57128}, year = {2015}, abstract = {We propose a new Robust Optimization method for the energy offering problem of a price-taker generating company that wants to build offering curves for its generation units, in order to maximize its profit while taking into account the uncertainty of market price. Our investigations have been motivated by a critique to another Robust Optimization method, which entails the solution of a sequence of robust optimization problems imposing full protection and defined over a sequence of nested subintervals of market prices: this method presents a number of issues that may severely limit its application and computational efficiency in practice and that may expose a company to the risk of presenting offering curves resulting into suboptimal or even infeasible accepted offers. To tackle all such issues, our method provides for solving one single robust counterpart, considering an intermediate level of protection between null and full protection, and to make energy offers at zero price, practically eliminating the risk of non-acceptance. Computational results on instances provided by our industrial partners show that our new method is able to grant a great improvement in profit.}, language = {en} } @misc{BorndoerferHoppmannKarbstein2015, author = {Bornd{\"o}rfer, Ralf and Hoppmann, Heide and Karbstein, Marika}, title = {Passenger Routing for Periodic Timetable Optimization}, issn = {1438-0064}, doi = {10.1007/s12469-016-0132-0}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-56739}, year = {2015}, abstract = {The task of periodic timetabling is to schedule the trips in a public transport system by determining arrival and departure times at every station such that travel and transfer times are minimized. To date, the optimization literature generally assumes that passengers do not respond to changes in the timetable, i.e., the passenger routes are fixed. This is unrealistic and ignores potentially valuable degrees of freedom. We investigate in this paper periodic timetabling models with integrated passenger routing. We show that different routing models have a huge influence on the quality of the entire system: Whatever metric is applied, the performance ratios of timetables w.r.t. to different routing models can be arbitrarily large. Computations on a real-world instance for the city of Wuppertal substantiate the theoretical findings. These results indicate the existence of untapped optimization potentials that can be used to improve the efficiency of public transport systems.}, language = {en} } @misc{PulajRaymondTheis2015, author = {Pulaj, Jonad and Raymond, Annie and Theis, Dirk}, title = {New Conjectures For Union-Closed Families}, issn = {1438-0064}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-56804}, year = {2015}, abstract = {The Frankl conjecture, also known as the union-closed sets conjecture, states that there exists an element in at least half of the sets of any (non-empty) union-closed family. From an optimization point of view, one could instead prove that 2a is an upper bound to the number of sets in a union-closed family with n elements where each element is in at most a sets, where a and n are non-negative integers. Formulating these problems as integer programs we observe that computed optimal values do not vary with n. We formalize these observations as conjectures, and show that they are not equivalent to the Frankl conjecture while still having wide-reaching implications if proven true. Finally, we partially prove the new conjectures and discuss possible approaches to solve them completely.}, language = {en} } @misc{Hendel2015, author = {Hendel, Gregor}, title = {Exploiting Solving Phases for Mixed-Integer Programs}, issn = {1438-0064}, doi = {10.1007/978-3-319-42902-1_1}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-57098}, year = {2015}, abstract = {Modern MIP solving software incorporates dozens of auxiliary algorithmic components for supporting the branch-and-bound search in finding and improving solutions and in strengthening the relaxation. Intuitively, a dynamic solving strategy with an appropriate emphasis on different solving components and strategies is desirable during the search process. We propose an adaptive solver behavior that dynamically reacts on transitions between the three typical phases of a MIP solving process: The first phase objective is to find a feasible solution. During the second phase, a sequence of incumbent solutions gets constructed until the incumbent is eventually optimal. Proving optimality is the central objective of the remaining third phase. Based on the MIP-solver SCIP, we demonstrate the usefulness of the phase concept both with an exact recognition of the optimality of a solution, and provide heuristic alternatives to make use of the concept in practice.}, language = {en} } @article{BorndoerferReutherSchlechteetal.2016, author = {Bornd{\"o}rfer, Ralf and Reuther, Markus and Schlechte, Thomas and Waas, Kerstin and Weider, Steffen}, title = {Integrated Optimization of Rolling Stock Rotations for Intercity Railways}, volume = {50}, journal = {Transportation Science}, number = {3}, doi = {10.1287/trsc.2015.0633}, pages = {863 -- 877}, year = {2016}, abstract = {This paper proposes a highly integrated solution approach for rolling stock planning problems in the context of long distance passenger traffic between cities. The main contributions are a generic hypergraph-based mixed-integer programming model for the considered rolling stock rotation problem and an integrated algorithm for its solution. The newly developed algorithm is able to handle a large spectrum of industrial railway requirements, such as vehicle composition, maintenance constraints, infrastructure capacities, and regularity aspects. We show that our approach has the power to produce rolling stock rotations that can be implemented in practice. In this way, the rolling stock rotations at the largest German long distance operator Deutsche Bahn Fernverkehr AG could be optimized by an automated system utilizing advanced mathematical programming techniques.}, language = {en} } @article{BlancoBorndoerferBrueckneretal.2015, author = {Blanco, Marco and Bornd{\"o}rfer, Ralf and Br{\"u}ckner, Michael and Hoang, Nam-Dung and Schlechte, Thomas}, title = {On the Path Avoiding Forbidden Pairs Polytope}, volume = {50}, journal = {Electronic Notes in Discrete Mathematics}, doi = {10.1016/j.endm.2015.07.057}, pages = {343 -- 348}, year = {2015}, abstract = {Given a directed, acyclic graph, a source and a sink node, and a set of forbidden pairs of arcs, the path avoiding forbidden pairs (PAFP) problem is to find a path that connects the source and sink nodes and contains at most one arc from each forbidden pair. The general version of the problem is NP-hard, but it becomes polynomially solvable for certain topological configurations of the pairs. We present the first polyhedral study of the PAFP problem. We introduce a new family of valid inequalities for the PAFP polytope and show that they are sufficient to provide a complete linear description in the special case where the forbidden pairs satisfy a disjointness property. Furthermore, we show that the number of facets of the PAFP polytope is exponential in the size of the graph, even for the case of a single forbidden pair.}, language = {en} } @inproceedings{ShinanoAchterbergBertholdetal.2014, author = {Shinano, Yuji and Achterberg, Tobias and Berthold, Timo and Heinz, Stefan and Koch, Thorsten and Winkler, Michael}, title = {Solving Hard MIPLIP2003 Problems with ParaSCIP on Supercomputers: An Update}, booktitle = {IPDPSW'14 Proceedings of the 2014 IEEE, International Parallel \& Distributed Processing Symposium Workshops}, editor = {IEEE,}, publisher = {IEEE Computer Society}, address = {Washington, DC, USA}, isbn = {978-1-4799-4117-9}, doi = {10.1109/IPDPSW.2014.174}, pages = {1552 -- 1561}, year = {2014}, language = {en} } @article{Groetschel2015, author = {Gr{\"o}tschel, Martin}, title = {Die IMU und ihr Sekretariat}, volume = {23}, journal = {Mitteilungen der DMV}, number = {1}, doi = {10.1515/dmvm-2015-0012}, pages = {24 -- 29}, year = {2015}, abstract = {Was macht die International Mathematical Union (IMU) eigentlich, und wozu ist das IMU-Sekretariat da? ...}, language = {de} } @misc{YokoyamaShinanoTaniguchietal.2014, author = {Yokoyama, Ryohei and Shinano, Yuji and Taniguchi, Syusuke and Ohkura, Masashi and Wakui, Tetsuya}, title = {Optimization of energy supply systems by MILP branch and bound method in consideration of hierarchical relationship between design and operation}, issn = {1438-0064}, doi = {10.1016/j.enconman.2014.12.020}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-49413}, year = {2014}, abstract = {To attain the highest performance of energy supply systems, it is necessary to rationally determine types, capacities, and numbers of equipment in consideration of their operational strategies corresponding to seasonal and hourly variations in energy demands. In the combinatorial optimization method based on the mixed-integer linear programming (MILP), integer variables are used to express the selection, numbers, and on/off status of operation of equipment, and the number of these variables increases with those of equipment and periods for variations in energy demands, and affects the computation efficiency significantly. In this paper, a MILP method utilizing the hierarchical relationship between design and operation variables is proposed to solve the optimal design problem of energy supply systems efficiently: At the upper level, the optimal values of design variables are searched by the branch and bound method; At the lower level, the values of operation variables are optimized independently at each period by the branch and bound method under the values of design variables given tentatively during the search at the upper level; Lower bounds for the optimal value of the objective function are evaluated, and are utilized for the bounding operations at both the levels. This method is implemented into open and commercial MILP solvers. Illustrative and practical case studies on the optimal design of cogeneration systems are conducted, and the validity and effectiveness of the proposed method are clarified.}, language = {en} } @article{ShinanoInuiFukagawaetal.2013, author = {Shinano, Yuji and Inui, Nobuo and Fukagawa, Youzou and Takakura, Noburu}, title = {Optimizing Movement Sequences for Step-and-Scan Lithography Equipment}, volume = {7}, journal = {Journal of Advanced Mechanical Design, Systems, and Manufacturing}, number = {4}, doi = {10.1299/jamdsm.7.608}, pages = {608 -- 618}, year = {2013}, abstract = {The purpose of this work is to improve the throughput of step-and-scan lithography equipment to shorten the production time of a wafer. For this purpose, we propose a method for solving the MSOP (Movement Sequence Optimization Problem), which is the problem of computing the fastest schedule for visiting all shots on a wafer. It is well-known that the MSOP on step-and-repeat lithography equipment can be modeled as a traveling salesman problem. In contrast to step-and-repeat lithography equipment, a schedule for step-and-scan lithography equipment must also indicate the scanning direction of each shot, in addition to the sequence of the shots. For this reason, the traveling salesman problem formulation for step-and-repeat lithography equipment cannot be applied to solve the MSOP on step-and-scan lithography equipment directly. We overcame this difficulty by introducing auxiliary vertices to model the scanning directions in the traveling salesman problem formulation. By this method, we were able to compute exact optimal sequences considering the scanning directions of shots for several MSOP instances. Our numerical experiments demonstrated that our proposed method was capable of computing exact optimal solutions for real-world MSOP instances having up to 232 shots on a wafer. These optimal solutions gave a 0.25\% to 4.66\% improvement in productivity over solutions computed by previously known methods.}, language = {en} } @phdthesis{Fuegenschuh2011, author = {F{\"u}genschuh, Armin}, title = {Computational aspects of time in scheduling and dynamic flow problems}, year = {2011}, language = {en} } @misc{Winter2011, type = {Master Thesis}, author = {Winter, Bianca}, title = {Mathematische Optimierungsverfahren f{\"u}r die Konferenzplanung}, year = {2011}, language = {de} } @masterthesis{Laaser2013, type = {Bachelor Thesis}, author = {Laaser, A.}, title = {Gr{\"o}bnerbasen und das Resource-Constrained-Shortest-Path Problem}, year = {2013}, language = {de} } @masterthesis{Radke2013, type = {Bachelor Thesis}, author = {Radke, A.}, title = {Das Travelling Salesman Problem als Modell f{\"u}r Kapazit{\"a}tsanalysen im Schienenverkehr}, year = {2013}, language = {de} } @misc{Jung2012, type = {Master Thesis}, author = {Jung, S.}, title = {Optimierung der Bahnplanung f{\"u}r eine Pick-and-Place-Maschine}, year = {2012}, language = {de} } @misc{Roos2011, type = {Master Thesis}, author = {Roos, Stephanie}, title = {Analysis of Routing on Sparse Small-World Topologies}, year = {2011}, language = {en} } @misc{GleixnerSteffyWolter2015, author = {Gleixner, Ambros and Steffy, Daniel and Wolter, Kati}, title = {Iterative Refinement for Linear Programming}, issn = {1438-0064}, doi = {10.1287/ijoc.2016.0692}, url = {http://nbn-resolving.de/urn:nbn:de:0297-zib-55118}, year = {2015}, abstract = {We describe an iterative refinement procedure for computing extended precision or exact solutions to linear programming problems (LPs). Arbitrarily precise solutions can be computed by solving a sequence of closely related LPs with limited precision arithmetic. The LPs solved share the same constraint matrix as the original problem instance and are transformed only by modification of the objective function, right-hand side, and variable bounds. Exact computation is used to compute and store the exact representation of the transformed problems, while numeric computation is used for solving LPs. At all steps of the algorithm the LP bases encountered in the transformed problems correspond directly to LP bases in the original problem description. We show that this algorithm is effective in practice for computing extended precision solutions and that it leads to a direct improvement of the best known methods for solving LPs exactly over the rational numbers. Our implementation is publically available as an extension of the academic LP solver SoPlex.}, language = {en} }