TUM School of Computation, Information and Technology
Betreuer:
Weltge, Stefan (Prof. Dr.)
Gutachter:
Weltge, Stefan (Prof. Dr.); Hojny, Christopher (Prof. Dr.)
Sprache:
en
Fachgebiet:
MAT Mathematik
TU-Systematik:
MAT 500; MAT 910
Kurzfassung:
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.
Übersetzte Kurzfassung:
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.