|
Julia Osthues

Prof. Dr. Holger Hoos (Univ. of British Columbia): Lehrvortrag: Boolesche Algebra und aussagenlogische Erfüllbarkeit, Forschungsvortrag: Automatische Performanz-Optimierung von Algorithmen und Programming by Optimisation

Wednesday, 14.01.2015 15:00 im Raum SR 0

Mathematik und Informatik

Für viele schwierige und anwendungsrelevante Probleme, wie etwa aussagenlogische Erfüllbarkeit (SAT), das Handlungsreisenden Problem (TSP) und binäre Klassifikation im maschinellen Lernen, gibt es keinen einzelnen "besten" Algorithmus, und die Performanz von Hochleistungsverfahren zur Lösung solcher Probleme hängt stark von Einsatz und Kalibrierung heuristischer Mechanismen ab. Dieser Vortrag befasst sich mit generischen Methoden zur automatischen Performanz-Optimierung praktisch relevanter Algorithmen, basierend auf Verfahren zur automatischen Algorithmenselektion und -konfiguration. Der Einsatz dieser Verfahren hat in den letzten Jahren zu deutlichen Verbesserungen in den praktisch besten Lösern für viele prominente Probleme, wie etwa SAT, geführt. In letzter Konsequenz bildet er die Grundlage eines neuartigen Ansatzes zur Konstruktion praktisch effizienter Algorithmen. Im Gegensatz zur herkömmlichen Herangehensweise steht bei diesem, "Programming by Optimisation (PbO)" genannten Ansatz das Offenlegen von Freiheitsgraden und Designalternativen beim Entwurf und bei der Implementierung von Algorithmen im Vordergrund, um so eine breite Grundlage für die automatische Performanz-Optimierung für verschiedene Anwendungsfälle zu schaffen. Der Vortrag behandelt die Thematik am Beispiel des aussagenlogischen Erfüllbarkeitsproblems, beinhaltet jedoch auch eine kurze Übersicht über zahlreiche weitere Anwendungen.



Angelegt am Thursday, 08.01.2015 14:58 von Julia Osthues
Geändert am Thursday, 08.01.2015 14:58 von Julia Osthues
[Edit | Vorlage]

Sonstige Vorträge