Univ-Logo Universität Karlsruhe (TH) – Fakultät für Informatik
 
Institut für Theoretische Informatik

Algorithmik II
 
ph

Übungsblätter und Lösungen

Wintersemester 2006/2007

An dieser Stelle werden an jedem Donnerstag die Übungsblätter veröffentlicht, sowie, nach der Besprechung eines Übungsblatts, die Lösungsvorschläge.

Abgabetag eines Übungsblatts ist jeweils der Freitag. Ein Hinweis darauf ist auch auf jedem Übungsblatt zu finden.

Informatik Vordiplom, Bachelor Informationswirtschaft: Angaben zum Übungsschein

Korrekturen

Übungsblatt 1
Für die Aufgabe 1 auf Übungsblatt 1, gibt es 10 statt 7 Punkte. (2.11.2006)
Übungsblatt 3
Die Aufgabe 2 ist Korrekturaufgabe (10.11.2006)
Weiters muß (die verbal ebenfalls angegebene) Festlegung der Eineindeutigkeit der Konstruktorfunktion im zweiten Argument heißen: x = y folgt aus a o x = a o y. (16.11.2006)
Übungsblatt 7
Die Terminalalphabete sind {a, c} bzw. {a, b}. Der Fehler ist seit 7.12., 15.30 Uhr korrigiert.
Übungsblatt 8
In Aufgabe 1 muß es heißen:
Sie dürfen annehmen, daß aus allen Variablensymbolen Wörter aus Sigma+ ableitbar sind.
(Korrigiert seit 15.12., 17.15 Uhr)
Übungsblatt 12
In Aufgabe 1 muß der zweite Satz heißen:
„Geben Sie wie im Beweis zur NP-Vollständigkeit des Erfüllbarkeitsproblems die folgenden Bedingungen an:“
(Korrigiert 30.1.2007, 15.45 Uhr)
Auch in Aufgabe 1:
Es muß delta(s, a) heißen (und nicht delta(a, s)). Der Fehler wird nur im Lösungsvorschlag zu diesem Übungsblatt korrigiert.
(1.2.2007)
Übungsblatt 14
In Aufgabe 2 ist die fehlerhafte Festlegung der Postfixform verbessert. Im Teil b ist der Durchschnitt von SAT mit DNF jetzt (hoffentlich) richtig festgelegt.
(9.2.2007, 12 Uhr)
Aufgabe 2:
Fehler Angabe der disjunktiven Normalform verbessert. (12.2.2007, 14.30 Uhr)
Übungsblatt 13
In Aufgabe 5 fehlerhafte Verwendung des Worts „Polynom“ verbessert. Am Lösungsgang ändert sich nichts. (14.2.2007)
Übungsblatt 14
In der Besprechung des Übungsblatts wurde irrtümlicherweise gesagt, der Aufwand in Teilaufgabe 2a lasse sich nicht linear beschränken. Der Lösungsvorschlag enthält eine Korrektur. (19.2.2007)
 

 

Letzte Änderung: 19. Feb. 2007
URL: algo2.iti.kit.edu/info3/uebungen/

Thomas Käufl, kaeufl@ira.uka.de