Lehrende: Prof. Dr. Martin Ziegler
Veranstaltungsart: Seminar
Orga-Einheit: FB04 Mathematik
Anzeige im Stundenplan: 04-00-0206-se
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Deutsch und Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: Strukturelle Komplexitätstheorie
Voraussetzungen: "Komplexitätstheorie" oder "Introduction to Computability Theory" oder "Reelle Komplexität"
Weitere Informationen: Der endgültige Termin wird bei der Vorbesprechung mit den Teilnehmern abgestimmt.
Offizielle Kursbeschreibung: Die strukturelle Komplexitätstheorie wurde begründet von Juris Hartmanis und hat die großen offenen Fragen wie P versus NP versus PSPACE versus EXP wenngleich nicht gelöst, so doch neue Ansätze und Blickwinkel eröffnet. In diesem Seminar, das gemeinsam mit PD Dr. Ulrike Brandt vom Fachbereich Informatik veranstaltet wird, wollen wir ausgewählte (inzwischen klassische) Höhepunkt-Resultate dieser Theorie erarbeiten und präsentieren; gewissermaßen aus dem Buch der Beweise der Komplexitätstheorie. Für weitere Details siehe http://www3.mathematik.tu-darmstadt.de/evs/1000