Projekt

Man vermutet, dass NP-vollständige Probleme nicht in Polynomzeit gelöst werden können. Trotzdem müssen für Eingaben solcher Probleme zulässige Lösungen - oft unter Verzicht auf Optimalität, aber möglichst gut - berechnet werden, solange sie nur schnell erhalten werden. Beim Entwurf schneller und guter derartiger Algorithmen für kombinatorische Optimierungsprobleme setzt man häufig auf randomisierte und aus Approximationsalgorithmen. Bei letzteren ist es oft eine ganz große Herausforderung, die Qualität der erzielten Lösung in Beziehung zur optimalen Lösung, deren Wert ja unbekannt ist, zu setzen.
Ein weiterer wichtiger Aspekt eines Approximationsalgorithmus ist der, für diesen Algorithmus Eingaben anzugeben, sog. Zeugen, bei denen er Ausgaben erzeugt, die sehr weit weg von optimalen Lösung sind. Insbesondere im Gebiet der Approximationsalgorithmen für das sog. Rundreiseproblem gibt es eine Reihe von Heuristiken, bei denen die Lücken zwischen Leistungsgarantien und Zeugen sehr groß sind. In diesem Forschungsbereich wollen wir gute Zeugen gegen einiger dieser Heuristiken entwerfen.
Im Bereich der randomisierten Verfahren untersuchen wir sog. Random-Walk-basierte Algorithmen für das NP-vollständige Erfüllbarkeitsproblem.
Weitere Informationen sind auf der folgenden Webseite zu finden: http://www12.cs.fau.de/people/rwanka/research/Approx/