Benchmark für Solver
Hiwitätigkeit

Beschreibung

In der Praxis werden unterschiedliche Solver für das Lösen von Linear Programming (LP), Integer Programming (IP), Mixed-Integer Programming (MIP) oder Quadratic Programming (QP) angeboten und verwendet. Diese unterschiedlichen Solver sollen auf verschiedene Probleme, wie zum Beispiel "Travelling Salesman", angewendet und auf Geschwindigkeit analysiert werden. Dabei soll zum einen die praktische Laufzeit sowie die theoretischen Grundlagen der Solver betrachtet werden. Bei Interesse kann auch eine mögliche Abschlussarbeit eruiert werden.

Voraussetzungen

Interesse an theoretischer Komplexitätstheorie und praktischer Anwendung mathematischer Algorithmen. Ideallerweise Grundkenntnisse in der Programmiersprache Python.

Ansprechpartner: Timo Kaiser