Logik in der Informatik

Institut für Informatik

Vorlesung Lineare Optimierung

Aktuelles  Einführung  Logbuch  Vorlesung  Übungen  Aufgaben  Prüfung Literatur

Aktuelles

Am Mittwoch, den 13. Juni 2012, fallen die Vorlesung und die Übung aus.



Einführung

InhaltDie Optimierung beschäftigt sich mit der Findung der besten Lösung(en)
eines Problems. Die LO untersucht Probleme, bei denen die Gesamtheit aller Lösungen
durch lineare (Un-)Gleichungen und das Ziel als eine bzw. mehrere lineare Funktionen gegeben sind.
Angewand in technischen, betriebs- und volkswirtschaftlichen Zusammenhängen, dient die
bereits in der Planung eingesetzte Optimierung dazu, knappe Ressourcen so effektiv wie möglich
zu verwenden bzw. ein gewünschtes Ergebnis mit möglichst geringem Ressourcenverbrauch zu erreichen.
In dieser Vorlesung werden wir die klassischen Lösungsverfahren kennenlernen: Simplexmethode, duale
Simplexmethode, Methode der Potentiale zur Lösung der klassischen Transportaufgabe, sowie die
Grundidee des polynomialen Algorithmus von Chatchijan der eingeschriebenen Ellipsoide. Die
entwickelten Verfahren werden  wir auch zur Lösung von 1-parametrischen LO-Aufgaben, verschiedenen
Transportaufgaben und zur Lösung von Aufgaben aus der Spieltheorie anwenden.



Logbuch

Das Skript zur Vorlesung: als ps-File bzw. als pdf-File.

1. Anhang: Anmerkung zum Beweis des Lemmas 3, Kapitel 1 (als Manuskript): pdf-File
2. Anhang: Zur Ellipsoidenmethode (als Manuskript): pdf-File

Informationen zum Vorlesungsbetrieb

Zeiten und Raum
V: montags    9 - 11   und   mittwochs   9 - 11,   Rudower Chaussee 26,   Raum 1'306
Ü: monstags 11 -13   und   mittwochs 11 - 13,   Rudower Chaussee 26,   Raum 1'306

Dozent/in
PD Dr. Louchka Popova-Zeugmann

Übungsaufgaben

Es wird regelmäßig Übungsaufgaben geben, deren erfolgreiche Bearbeitung (mindestens 50% der Punkte) Voraussetzung für den Scheinerwerb und die Zulassung zur Prüfung ist.

Hausaufgabenblatt   1: als pdf-File, Abgabe: 23.4.2012, vor der Vorlesung
Hausaufgabenblatt   2: als pdf-File, Abgabe: 30.4.2012, vor der Vorlesung
Hausaufgabenblatt   3: als pdf-File, Abgabe:   7.5.2012, vor der Vorlesung
Hausaufgabenblatt   4: als pdf-File, Abgabe: 14.5.2012, vor der Vorlesung
Hausaufgabenblatt   5: als pdf-File, Abgabe: 21.5.2012, vor der Vorlesung
Hausaufgabenblatt   6: als pdf-File, Abgabe: 30.5.2012, vor der Vorlesung
Hausaufgabenblatt   7: als pdf-File, Abgabe:   6.6.2012, vor der Vorlesung
Hausaufgabenblatt   8: als pdf-File, Abgabe: 18.6.2012, vor der Vorlesung
Hausaufgabenblatt   9: als pdf-File, Abgabe: 25.6.2012, vor der Vorlesung
Hausaufgabenblatt 10: als pdf-File, Abgabe:   2.7.2012, vor der Vorlesung

Prüfung

Für die Zulassung zur Prüfung müssen mindestens 50% der Punkte in den Übungaufgaben erworben werden. Die Prüfung ist mündlich und dauert 30 Minuten.

Prüfungstermine:  Fr.    13.07.2012,
                        Mo.   30. 07.2012,
                        Fr.    12.10.2012.


Literatur

[PZ]
Popova-Zeugmann, Skript zur Vorlesung, HUB, 2012
[F]
R. Fletcher, Practical Methods of Optimisation, John Wiley & Sons-Verlag, 2te Auflage, 1995
[M]
P. Morris, Introduction to  Game Theory, Springer-Verlag, 1994


Last modified: Feb 3 2012
L. Popova-Zeugmann