12412 - Effiziente Algorithmen II Modulübersicht

Modulnummer: 12412 - Modul nicht mehr im Angebot ab WS 2008/9
Modultitel:Effiziente Algorithmen II
  Efficient Algorithms II
Einrichtung: Fakultät 1 - Mathematik, Naturwissenschaften und Informatik
Verantwortlich:
  • Prof. Dr.rer.nat.habil von Braunmühl, Burchard
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 8
Lernziele:Auf dem Weg vom Problem zum Programm ist das Finden eines effizienten Algorithmus der erste Schritt. So ist ein wichtiger Aspekt der Mathematik das Finden von Verfahren zur Lösung von Problemen. Oft geht es darum ineffiziente Verfahren, die sich nahelegen, zu ersetzen durch Verfahren, die kostengünstiger sind. Dies muß dann allerdings nachgewiesen werden. Darum werden Algorithmen auf ihre Effizienz untersucht, analysiert. Auch ist es nicht immer offensichtlich, daß ein Verfahren in allen Fällen korrekt arbeitet. Auch dies muß gezeigt werden. Ziel der Veranstaltung ist es, einen Einblick in die Methoden der Erstellung, Verifikation und Analyse von Algorithmen zu geben.
Inhalte:Union-Find-Algorithmus (Beispiel für untere Schranke). Arithmetische Algorithmen: schnelle Matrizenmultiplikation und -inversion, schnelle diskrete Fouriertransformation, Polynom- und Integermultiplikation, Primzahltest. Approximationsalgorithmen, Parallele Algorithmen, Probabilistische Algorithmen (Monte Carlo, Las Vegas). Lineare Optimierung.
Empfohlene Voraussetzungen:keine
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 4 SWS
  • Übung / 2 SWS
Unterrichtsmaterialien und Literaturhinweise:- Donald E. Knuth: The Art of Computer Programming 1 - 3 , Addison-Wesley 1973.
- Kurt Mehlhorn: Effiziente Algorithmen, Teubner Studienbücher Informatik 1977.
- Ellis Horowitz, Sartaj Sahni: Fundamentals of Computer Algorithms, Computer Sciences Press, 1978
- Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman: Data Structures and Algorithms, Addison-Wesley 1983.
- Kurt Mehlhorn: Data Structures and Algorithms 1 - 3, Springer 1984.
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest: Introduction to Algorithms, MIT-Press, McGraw-Hill 1989.
- Thomas Ottman, Peter Widmayer: Algorithmen und Datenstrukturen, BI Wissenschaftsverlag 1993.
Modulprüfung:Keine Angabe - Angabe ab Wintersemester 2016/17 erforderlich!
Prüfungsleistung/en für Modulprüfung:Prüfungsgespräch benotet
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:keine
Veranstaltungen zum Modul:keine
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden