TUM School of Computation, Information and Technology
Advisor:
Weltge, Stefan (Prof. Dr.)
Referee:
Weltge, Stefan (Prof. Dr.); Hojny, Christopher (Prof. Dr.)
Language:
en
Subject group:
MAT Mathematik
TUM classification:
MAT 500; MAT 910
Abstract:
The thesis consists of three parts, each considering a different viewpoint on integer programming. Firstly, we consider a practical perspective in form of a real-world problem, formulated as an integer program. Secondly, we consider a theoretic application, by giving a proof on a mathematical problem that has been found using integer programming, but can be verified by humans. Finally, we consider a theoretic question regarding the efficient solvability of certain subclasses of integer programs.
Translated abstract:
Die Arbeit besteht aus drei Teilen, die Ganzzahlige Programme aus verschiedenen Blickwinkeln betrachten. Zunächst formulieren wir ein anwendungsbezogenes Problem als Ganzzahliges Programm. Zweitens betrachten wir eine theoretische Anwendung, in Form eines mathematischen Beweises auf Basis eines solchen Programms, der auf überprüfbare Art formuliert ist. Zuletzt betrachten wir eine theoretische Fragestellung bezüglich der effizienten Lösbarkeit bestimmter Unterklassen Ganzzahliger Programme.