Springe zum Hauptinhalt
Professur Theoretische Informatik
Ehemalige Professur Theoretische Informatik

Theoretische Informatik I

Wintersemester 2009/2010

Vorlesung: Theoretische Informatik I

SWS (V/Ü/P)

4/2/0

Vorkenntnisse

keine

Inhalt

Eine der Säulen der Informatik - in Theorie und Praxis - ist die Algorithmik. Die Vorlesung führt in das Gebiet ein.

Es werden algorithmische Lösungen für verschiedene Standardprobleme behandelt. Relativ breiten Raum nehmen die Graphalgorithmen ein. Bei ihnen geht es um das systematische Aufsuchen aller Knoten eines beliebigen, gerichteten oder ungerichteten Graphen. Als die beiden hauptsächlichen Lösungswege werden die Breitensuche und die Tiefensuche behandelt. Ferner werden verschiedene Verfahren für die Bestimmung kürzester Wege und von minimalen Spannbäumen in Graphen betrachtet.

Weiterhin werden effiziente Algorithmen zur Lösung verschiedener anderer Probleme eingeführt. Bei den betrachteten Problemen handelt es sich um das Sortieren, das Auswahlproblem und die Matrizenmultiplikation. Eine generelle Strategie zum Vermeiden von Sackgassen im Problemlösungsprozess ist das Backtracking. Zur Beschränkung der möglichen Lösungswege bei einer Aufgabe werden Branch-and-Bound-Verfahren eingesetzt. Schließlich werden noch die lokale Suche in Graphen und das Dynamische Programmieren behandelt.

Literatur

Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, Cambridge, MA, 1994.

Kingston, J.H.: Algorithms and Data Structures. Design, Correctness, Analysis. 2 Addison-Wesley, Harlow, 1998.

Schöning, U.: Algorithmik. Spektrum Akademischer Verlag.

Termine

Vorlesung: Dienstag 11:30 - 13:001/305Prof. Goerdt
Donnerstag 13:45 - 15:151/204Prof. Goerdt
Übung: Die Übungen beginnen in der der Woche vom 19.10.2009 (zweite Vorlesungswoche).
Montag 11:30 - 13:001/375Falke
Verlegung Montag 11:30 - 13:001/204Anscheit
Dienstag 09:30 - 11:001/208Anscheit
Mittwoch 09:15 - 10:451/208Falke

Links