Circuits, Cutting Planes, and Compact Formulations
Translated title:
Circuits, Schnittebenen und kompakte Formulierungen
Author:
Brugger, Matthias
Year:
2024
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Advisor:
Schulz, Andreas S. (Prof. Dr.)
Referee:
Schulz, Andreas S. (Prof. Dr.); Kaibel, Volker (Prof. Dr.); Borgwardt, Steffen (Prof. Dr.)
Language:
en
Subject group:
MAT Mathematik
TUM classification:
MAT 001
Abstract:
We study three fundamental aspects of the theory of integer and linear programming. First, we study polyhedra whose integer hull is obtained by means of certain cutting planes and show that they are hard to recognize. Second, we explore the limitations of a technique for bounding sizes of extended formulations. Finally, we consider circuits and circuit diameters of polyhedra and investigate whether bounded counterexamples to the Hirsch conjecture may disprove its circuit analogue.
Translated abstract:
Diese Arbeit widmet sich drei theoretischen Aspekten der ganzzahligen und linearen Optimierung. Zuerst untersuchen wir Polyeder, deren ganzzahlige Hülle sich mit bestimmten Schnittebenen erreichen lässt. Dann beschäftigen wir uns mit den Grenzen einer Technik, um Größen erweiterter Formulierungen zu beschränken. Schließlich betrachten wir Circuits und Circuit-Durchmesser von Polyedern und untersuchen Polytope, die die Hirsch-Vermutung widerlegen, im Circuit-Fall.