|
|
|
|
|
held by: |
Univ.-Prof. Dr. Helmut Veith †
Dr. Christian Schallhart
|
|
|
held in: |
WS 2007/2008
|
|
|
schedule: |
Wednesday, 10:15 - 12:00 (MI HS 2) start date: 2007-10-31 / end date: 2008-02-09
Thursday, 12:00 - 15:15 (MI HS 2) start date: 2007-10-25 / end date: 2008-02-09
|
|
|
sws: |
4
|
|
|
ects: |
8
|
|
|
Die nächsten Termine der geblockt abgehaltenen Vorlesung sind:
- 8. Dezember 2007
- 12. Januar 2008
- 25. oder 26. Januar 2008: Der genau Tag wird noch geklärt.
Die Vorlesung beginnt an diesen Samstagen jeweils um 10:00 Uhr und findet im HS2 statt.
Tragen Sie sich bitte bei Interesse an der Vorlesung mittels des Webformulars in die Mailingliste zur Lehrveranstaltung ein. Wir können Ihnen dann Ankündigungen, Organisatorisches, etc. direkt mitteilen.
4 SWS Vorlesung im Bereich Informatik III (Theoretische Informatik)
Wahlpflichtvorlesung im Gebiet syntaktische und operationelle Beschreibungen
Informationen und Aufgabenblätter zur Übung finden Sie hier: Übung zur Vorlesung Komplexitätstheorie
Literatur
- J. L. Balcázar, J. Díaz, and
J. Gabarró.
Structural Complexity I, volume 11 of EATCS Monographs
on Theoretical Computer Science.
Springer, 1988.
- J. L. Balcázar, J. Díaz, and
J. Gabarró.
Structural Complexity II, volume 22 of EATCS Monographs
on Theoretical Computer Science.
Springer, 1990.
-
J. E. Hopcroft and J. D. Ullman.
Formal Languages and Their Relation to Automata.
Addison-Wesley, 1968.
-
J. E. Hopcroft and J. D. Ullman.
Introduction to Automata Theory, Languages and
Computation.
Addison-Wesley, 1979.
-
C. H. Papadimitriou.
Computational Complexity.
Addison-Wesley, 1994.
-
M. R. Garey and D. S. Johnson.
Computers and Intractability (A Guide to the Theory of NP-Completeness). Freeman, San Francisco, 1979.
-
K. R. Reischuk.
Einführung in die Komplexitätstheorie.
Teubner, 1990
Weiterführende Literatur:
- L. A. Hemaspaandra and M. Ogihara.
The Complexity Theory Companion.
EATCS Monographs in Theoretical Computer Science. Springer, 2002.
-
K. Wagner and G. Wechsung.
Computational Complexity.
Mathematics and its applications (East Europeans series). VEB
Deutscher Verlag der Wissenschaften, Berlin, 1986.
|
|
|
downloadable material:
|
|
|
slides
|
title / description
|
download
|
|
Turing Maschinen
|
click here...
|
|
Strukturelle Komplexitätstheorie
|
click here...
|
|
PSPACE-vollständige Probleme
|
click here...
|
|
Optimierungsprobleme, Approximation, Approximations-Klassen und deren Beziehungen
|
click here...
|
|
|
|
|
|
|