Binäre Entscheidungsgraphen (engl. Abkürzung BDDs) sind eine Datenstruktur für Schaltfunktionen, die zunächst für den Entwurf und die Analyse von Hardwaresystemen entwickelt wurden, heutzutage jedoch auch in vielen anderen Anwendungsbereichen der Informatik eingesetzt werden.
Das Seminar behandelt einige über die gleichnamige im SS 2002 gehaltene Vorlesung hinausgehenden Aspekte. U.a. werden einige Verfahren für das Variablenordnungsproblem (Simulated Annealing, evolutionäre Algorithmen, etc.), Varianten von BDDs (Binary Moment Diagrams, Edge-valued BDDs, Free DDs, etc.) und einige Anwendungen besprochen.
Aktuelle Änderungen
Teilnehmer beachten bitte auch folgendes Handout, welches die Details der Ausarbeitung, des Vortrages und der Vorbesprechungen beinhaltet.
Voraussetzungen: Das Seminar baut auf der im SS 2002 gehaltenen Vorlesung ``Binäre Entscheidungsgraphen'' auf.
Bereich: Für die erfolgreiche Teilnahme am Seminar wird ein Seminarschein des Typs A vergeben.
Nachfolge-/Begleitveranstaltungen: Parallel zum Seminar findet ein gleichnamiges Praktikum statt.
Termin:
Vorbesprechung: Eine erste Vorbesprechung für das Seminar und Praktikum findet am Mittwoch, den 17.7.2002, in Hörsaal 1 während der Vorlesung (ab ca. 10:00) statt. Interessenten am Seminar (und/oder Praktikum), die an diesem Termin verhindert sind, bitten wir, sich möglichst umgehend mit den Veranstaltern in Verbindung zu setzen.