|
Komplexitätstheorie
|
|
Vorlesung
|
|
Veranstalter
|
| Name der Universität |
Universität Trier |
| Anbietende Einrichtung |
Lehrstuhl für theoretische
Konzepte und neue Anwendungen in der Informatik |
| Dozent / Dozentin |
Prof. Dr. Christoph Meinel |
| Anschrift |
Fachbereich IV - Informatik
Universität Trier
54286 Trier |
|
|
Anmeldung
|
|
Anmeldungsende für diese Vorlesung ist der 24.10.2003!
|
|
Inhalt
|
|
In der Vorlesung werden die Grundlagen der
Komplexitätstheorie erarbeitet. In einem ersten
Abschnitt der Vorlesung werden die Grundbegriffe und
-konzepte der Komplexitätstheorie behandelt, wie z.B.
Komplexität von Problemen und Algorithmen,
Berechnungsmodelle und Akzeptierungsmodi,
Komplexitätsklassen (P, NP) und Reduktionskonzepte.
Im zweiten Abschnitt der Vorlesung werden die
Komplexitätsklassen P und NP und die zu ihrer
Charakterisierung entwickelten Konzepte und Methoden im
Detail besprochen. Neben der Charakterisierung
NP-vollständiger Probleme werden dabei auch
randomisierte und approximierte Berechnungen behandelt. Im
dritten Abschnitt der Vorlesung geht es dann um
Komplexitätsuntersuchungen und -klassen innerhalb von P
(z.B. NC, L und NL) während im vierten Abschnitt
wichtige Komplexitätsklassen über NP (z.B.
Polynomialzeithierarchie, PSPACE, EXP) besprochen werden.
|
|
Notwendige Vorkenntnisse
|
|
Die Vorlesung ist für alle Studenten der Informatik,
Wirtschaftsinformatik und Mathematik geeignet. Vorkenntnisse
im Bereich der Berechenbarkeit und Algorithmentheorie sind
hilfreich.
|
|
Curriculare Einordnung beim Anbieter
|
|
Vorlesung im Hauptstudium
|
|
Ablauf
|
|
Beginn der Veranstaltungen zum WS03/04: 28.10.2003;
Vorlesung: Dienstag und Donnerstag 08-10 Uhr;
Übung: Mittwoch 08-10 Uhr.
Die Vorlesung wird sowohl live ins Internet übertragen
als auch aufgezeichnet. Die Vorlesung kann ohne besondere
Voreinstellungen mit dem kostenlosen RealPlayer an jedem
z.B. über ISDN oder DSL mit dem Internet verbundenen
Rechner verfolgt werden.
Zu jeder Vorlesung gibt es ein Übungsblatt, welches in
der darauffolgenden Woche abzugeben ist.
|
|
Prüfungsbedingungen
|
|
Erfolgreiche Teilnahme an den Übungen,
wenigstens 50% der Übungsaufgabenpunkte und
mündliche Rücksprache
|
|
Umfang
|
|
|
|
Betreuung
|
| Name des Betreuers / der Betreuerin |
Dipl. Inf. Volker Klotz |
| Adresse |
FB IV, Universität Trier, 54286
Trier |
| Telefon |
0651-201-2837 |
| E-Mail |
klotz@ti.uni-trier.de |
| Sprechstunden |
- |
|
|
Startseite
|
|
http://www.informatik.uni-trier.de/~klotz/lehre/WS03-04/KTH/index-uli.html
|