Department of Computer Science | Institute of Theoretical Computer Science | CADMO

Theory of Combinatorial Algorithms

Prof. Emo Welzl and Prof. Bernd Gärtner

Informatik (D-MATH,D-PHYS) HS10
Theory of Combinatorial Algorithms Institute for Theoretical Computer Science Department of Computer Science ETH Zurich

Informatik für Mathematiker und Physiker (252-0847-00) HS10

Ankündigung

Die Prüfung vom 10.8.2011 kann nun eingesehen werden. Die ist jedoch nur einzeln und nach vorgängiger Anmeldung bei Yves Brise (ybrise at inf.ethz.ch) möglich. Nach der Anmeldung können Sie die Prüfung bei Frau Andrea Salow (CAB G19.1) einsehen. Yves Brise (CAB G19.3) steht bei Fragen für Sie zur Verfügung. Vergessen Sie nicht, Ihre Legi mitzubringen.

Vorlesungsunterlagen

Die Vorlesungsunterlagen für den C++ Teil bestehen aus Skript, Vorlesungsfolien und Übungsunterlagen. Das Skript ist auf Englisch verfasst und wird in einer freien elektronischen Form zur Verfügung gestellt. Die Vorlesungsfolien sind auf Deutsch verfasst und stellen zusammen mit den Übungsblättern den Prüfungsstoff dar. Das heisst, das Skript enthält viele zusätzliche Erklärungen und Übungen.

Die ersten drei Vorlesungen behandelt einige theoretischen Aspekte der Informatik. Beachten Sie, dass es hier keine Vorlesungsfolien geben wird, jedoch ebenfalls vorausgesetzt wird, dass alles was in der Vorlesung besprochen wurde, an der Prüfung behandelt werden kann. Es wird auch für diesen Teil einige kurze Texte geben, die den Inhalt der Vorlesung vertiefen.

Material

Die Lösungen zu den Programmieraufgaben sind in schriftlicher Form in den Lösungsabschnitten zu den Vorlesungsunterlagen enthalten. Damit Sie die Programme auch ausprobieren können, sammeln wir die .cpp Dateien in diesem Ordner.

Datum Themen Folien / Handout Übungsaufgaben Lösung Programme

#1 (21.09.2010) Algorithmus, Programm, Registermaschine Kapitel 2 [PDF], (Sieben Wunder der Informatik), Zusammenfassung Registermaschine [PDF]

#2 (28.09.2010) Unendlichkeit,
Berechenbarkeit
Kapitel 3 [PDF] (Sieben Wunder der Informatik) Serie 1 [PDF] Lösung 1 [PDF]

#3 (5.10.2010) Reduktionen, Randomisierte Algorithmen Kapitel 4 [PDF] (Sieben Wunder der Informatik) Serie 2 [PDF] Lösung 2 [PDF]

#4 (12.10.2010) C++: Identifiers, Ausdrücke,
Variablen, Literale,
Operatoren, erstes Programm
Folien zu den Abschnitten 1.1 bis 2.1 im Skript [pdf zum Drucken] [pdf zum Ansehen] [pptx],
Ein Artikel aus der Anfangszeit der höheren Programmiersprachen
Serie 3 [PDF] Lösung 3 [PDF] [hello_world.cpp], [power8.cpp], [power8_exact.cpp]

#5 (19.10.2010) Integers, Booleans, Auswertungsreihenfolge Folien zu den Abschnitten 2.2 bis 2.3 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 4 [PDF] Lösungen zu Abschnitt 2.1 [PDF],
Lösungen zu Abschnitt 2.2 [PDF]
Lösungen zu Abschnitt 2.3 [PDF]
[fahrenheit.cpp] [limits.cpp]

#6 (26.10.2010) Kontrollanweisungen Folien zum Abschnitt 2.4 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 5 [PDF] Lösungen zu Abschnitt 2.4 [PDF] [collatz.cpp] [prime.cpp] [scope.cpp] [sum_n.cpp]

#7 (2.11.2010) Fliesskommazahlen Folien zum Abschnitt 2.5 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 6 [PDF] Lösungen zu Abschnitt 2.5 [PDF] [euler.cpp] [diff.cpp] [harmonic.cpp]

#8 (9.11.2010) Felder und Zeiger (I) Folien zum Abschnitt 2.6 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 7 [PDF] [read_array.cpp] [eratosthenes.cpp] [eratosthenes2.cpp]

#9 (16.11.2010) Felder und Zeiger (II) Folien zum Abschnitt 2.6 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 8 [PDF] Lösung 8 [PDF], Lösungen zu Abschnitt 2.6 [PDF] [string_matching.cpp] [string_matching2.cpp] [shortest_path.cpp]
Input data

#10 (23.11.2010) Funktionen Folien zum Abschnitt 3.1 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 9 [PDF] Lösungen zu Abschnitt 3.1 [PDF] [callpow.cpp]

#11 (30.11.2010) Rekursion (I) Folien zum Abschnitt 3.2 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 10 [PDF] [fak-1.cpp] [fibonacci.cpp] [fibonacci2.cpp] [ackermann.cpp] [merge_sort.cpp] [minimum_sort.cpp]

#12 (7.12.2010) Rekursion (II)
Structs
Referenztypen
Operator-Überladung
Folien zum Abschnitt 3.2, 4.1 und 4.2 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 11 [PDF] Lösungen zu Abschnitt 3.2 [PDF], Lösungen zu Abschnitt 4.1 [PDF] [dragon.cpp] [lindenmayer.cpp] [snowflake.cpp] [rational.cpp] [userational.cpp] [userational2.cpp]

#13 (14.12.2010) Referenzen (const),
Klassen (I),
Zufallszahlen
Folien zum Abschnitt 4.2 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Serie 12 [PDF] Lösungen zu Abschnitt 4.2 [PDF] [clock.cpp] [random.h] [random.cpp] [random_pi.cpp] [loaded_dice.h] [loaded_dice.cpp] [choosing_numbers.cpp]

#14 (21.12.2010) Klassen (II) Folien zum Abschnitt 4.3 im Skript [pdf zum Drucken] [pdf zum Ansehen] [ppt] Lösungen zu Abschnitt 4.3 [PDF]

Merkblatt zur Vorlesung [PDF]

Wichtige Unix Kommandos [PDF] [PS]

Termine

Vorlesung: Dienstag 13:15-15:00, HG F1
Bernd Gärtner, CAB G31.1, Tel: 044 632 70 26, .
Juraj Hromkovic, CAB F16, Tel: 044 632 44 08 .
Übung: Dienstag 15:15-17:00
Yves Brise, CAB G19.3, Tel: 044 44 632 77 96, .
Gruppe A,Dienstag 15:15-17:00,CAB G56,Sara Khalatbari.
Gruppe B,Dienstag 15:15-17:00,CHN D44,Lukas Herrmann.
Gruppe C,Dienstag 15:15-17:00,CHN D48,Stefan Pauli.
Gruppe D,Dienstag 15:15-17:00,CHN E42,Omar Awile.
Gruppe E,Dienstag 15:15-17:00,CHN G22,Gerardo Tauriello.
Gruppe F,Dienstag 15:15-17:00,CHN G46, Andrea Arteaga (italiano).
Gruppe G,Dienstag 15:15-17:00,HG D3.3,Benjamin Schindler.
Gruppe H,Dienstag 15:15-17:00,HG D5.3,Kaan Yücer.
Gruppe I,Dienstag 15:15-17:00,HG E1.2,Alessandro Zala.
Gruppe J,Dienstag 15:15-17:00,HG F26.3,Hermann Lehner.
Gruppe K,Dienstag 15:15-17:00,HG F26.5,Konstantinos Ritos (english).
Gruppe L,Dienstag 15:15-17:00,IFW A34,Florian Andritsch.
Gruppe M,Dienstag 15:15-17:00,LFO G25,Arsenii Rudich (english).
Gruppe N,Dienstag 15:15-17:00,LFW E11,Milos Novacek (english).
Gruppe O,Dienstag 15:15-17:00,LFW E13,Martin Maag.
Gruppe P,Dienstag 15:15-17:00,ML H34.3, Christian Reiter.
Gruppe Q,Dienstag 15:15-17:00,ML J37.1,Bruno Montalto (english).
Gruppe R,Dienstag 15:15-17:00,NO D11,Sebastian Stich.

Inhalt der Vorlesung

Der Hauptteil der Vorlesung ist eine algorithmisch orientierte Einführung ins Programmieren anhand der Sprache C++. Dieser Teil gliedert sich in die drei Bereiche "Grundlagen", "Funktionen" und "Klassen". Besonderes Augenmerk liegt auf dem Rechnen mit arithmetischen Typen. Des weiteren geben wir einen Einblick in die Geschichte der Informatik und einige ihrer wichtigen theoretischen Grundlagen.

Arbeitsumgebung

Wir arbeiten mit einem Unix System wie es in der Form von Linux in den ETH Computerräumen installiert ist. Es stehen etliche öffentliche Rechner in verschiedenen Räumen zur Verfügung. Eine komplette Liste gibt es hier. Bei Zugangsproblemen, die Sie nicht mir ihrem Übungsleiter zusammen lösen können, kontaktieren Sie bitte die Informatikdienste der ETH (Telefon intern 27777). Die meisten der PCs sind dualboot Windows/Linux. Das heisst Sie müssen zuerst Linux starten, falls Sie mit einem Windows Login Fenster begrüsst werden. Informationen dazu gibt es hier.

Wenn vorhanden, können natürlich auch private Rechner benutzt werden. Wer mit dem Gedanken spielt, sich ein eigenes Notebook anzuschaffen, der sollte einen Blick auf die Neptun Angebote werfen. Für die privaten Rechner verwenden wir in diesem Semester eine Linux openSUSE Installation, die auf allen gängigen Betriebssystemen über eine sogenannte VirtualBox von uns zur Verfügung gestellt wird.

Wenn Sie den Sprung in die Welt der freien Software gleich ganz wagen wollen, dann können Sie das Angebot von [project21] nutzen. Diese studentische Organisation setzt sich für eine nachhaltige Entwicklung der digitalen Welt und für die Verbreitung freier Software ein. Am 7. Oktober wird ein Linux Installations Event angeboten, bei dem Sie mit Unterstützung auf Ihrem eigenen Rechner openSUSE installieren und mit einigen einfachen Schritten für die Verwendung im Zusammenhang mit dieser Vorlesung konfigurieren können.

Unabhängig davon, ob Sie auf einem öffentlichen oder privaten Rechner arbeiten, muss man den Rechner für den Einsatz in der Vorlesung konfigurieren. Einzig in der VirtualBox Distribution sind alle Einstellungen schon integriert. Lesen Sie dazu die Anleitung für Linux.

Hinweise zur Übung

Auf jeder Übungsserie gibt es mehrere Aufgaben, die schriftlich zu bearbeiten und zum angegebenen Termin abzugeben sind. Programmieraufgaben senden sie bis zu diesem Termin per E-Mail an den Übungsleiter. Gruppenabgaben wie auch das Einreichen identischer Lösungen sind nicht zulässig.

Lindenmayer Challenge

Seht euch die Liste der eingereichten Abgaben an.

Testatbedingungen

Bitte lesen Sie sich die folgenden Absätze genau durch. Es handelt sich dabei um wichtige Informationen bezüglich der Leistungskontrollen.

Was ist das Testat, und wie bekomme ich es?

Das Testat bescheinigt Ihnen eine erfolgreiche Teilnahme am Übungsbetrieb. Jede der wöchentlich ausgegebenen Übungsserien enthält 3-4 reguläre Übungsaufgaben, für deren korrekte Lösung insgesamt 16 Punkte vergeben werden. Zusätzlich enthalten die meisten Serien Challenge-Aufgaben, aus denen jeweils 8 Punkte erzielt werden können. Insgesamt wird es 12 Übungsserien geben.

Um das Testat zu erhalten, müssen Sie 25% der regulären Punkte aus allen Übungsserien erlangen. Bei 12 Übungsserien werden das voraussichtlich 48 Punkte sein. Es spielt dabei jedoch keine Rolle, ob Sie die Punkte aus regulären Aufgaben oder aus Challenge-Aufgaben erzielen. Insbesondere können Sie sowohl die regulären als auch die Challenge-Aufgaben einer Serie lösen und somit mehr als 16 Punkte pro Serie erzielen.

Der Sinn dieser Anforderung besteht darin, Sie in Ihrem eigenen Interesse zu regelmässiger Beschäftigung mit dem Vorlesungsstoff zu motivieren. Die Erfahrung zeigt, dass viele Studierend beim Fehlen solcher Anforderungen die Vorlesung schleifen lassen und bei der späteren Vorbereitung auf die Prüfung dann hoffnungslos überfordert sind.

Studierende, die sich durch den Vorlesungsstoff eher unterfordert fühlen und das regelmässige Bearbeiten "langweiliger" Aufgaben als Zumutung empfinden, sind eingeladen, jeweils die Challenge-Aufgaben zu bearbeiten. Dies sind meist schwierigere Aufgaben, für die auch entsprechend mehr Punkte vergeben werden.

Warum brauche ich das Testat?

In der Regel nach dem ersten Studienjahr findet für die Bachelor-Studierenden die schriftliche Basisprüfung (bestehend aus vier Einzelprüfungen) über alle obligatorischen Fächer des Basisjahres statt. Der Erhalt des Testats ist eine unabdingbare Zulassungsvoraussetzung für die Basisprüfung.

Was passiert, wenn ich das Testat nicht erhalte?

Selbst wenn Sie die Testate in allen anderen obligatorischen Fächern erhalten haben, werden Sie bei Fehlen eines Testats nicht zur Basisprüfung zugelassen und sind damit gezwungen, das Testat im darauf folgenden Studienjahr nachzuholen und somit alle Einzelprüfungen (auch die über die anderen obligatorischen Fächer, in denen Sie die Testate erhalten haben) um mindestens ein halbes Jahr zu verschieben.

Kann ich das Testat auch nachträglich noch erhalten?

Nein. Wenn Sie während des Semesters nicht auf 48 Punkte kommen, wird Ihnen das Testat nicht erteilt, und es gibt keine Möglichkeit, es nachträglich noch zu bekommen. Sonderregelungen gelten nur bei nachgewiesener Krankheit, Absenzen wegen Militärdienst, oder bei später in den Studiengang eintretenden Studierenden.

Ich studiere nicht im Bachelor-Programm D-MATH / D-PHYS. Was gilt für mich?

Das hängt von Ihrem Studiengang ab und kann nicht pauschal beantwortet werden. Wenn Sie zu irgendeinem Zeitpunkt eine Prüfung über diese Vorlesung ablegen wollen, erkundigen Sie sich bitte bei den Verantwortlichen für Ihren Studiengang über die Zulassungsvoraussetzungen und Bedingungen. Falls Sie nicht an einen Prüfungsblock gebunden sind, können Sie die Prüfung bereits im Winter (zusammen mit den Repetierenden des letzten Studienjahres) ablegen.

Was ist, wenn ich das Testat in einem früheren Semester schon erhalten habe?

Einmal erhalten, bleibt das Testat für immer gültig. Sie sind gerne dazu eingeladen, die Übungen trotzdem abzugeben, müssen dies aber nicht tun.

Prüfung

Die Prüfung besteht aus einer zweistündigen Klausur. Es sind keine Hilfsmittel erlaubt. Bedingung für die Zulassung zur Prüfung ist das Übungstestat.

Die Referenz für den Prüfungsstoff ist alles, was in der Vorlesung besprochen wurde, und die Übungsaufgaben. Insbesondere bedeutet das, dass zusätzliche Informationen aus dem Skript nicht an der Prüfung verlangt werden.

Es gibt dieses Jahr zwei Ausnahmen von der Regel oben. Erstens wird das Thema "Reduktionen" aus dem Teil von Hromkovic nicht verlangt. Zweitens fällt auch das Thema "Dynamische Datentypen" aus dem Teil Gärtner weg (Folien vom 21.12.2010).

Diese Regeln gelten sowohl für die Wiederholungsprüfung Montag den 24. Januar 2011, als auch für die reguläre Sessionsprüfung im Herbst 2011.

Alte Prüfungen

Als Vorbereitung auf die Prüfung stellen wir Ihnen hier eine Liste alter Prüfungen und Musterlösungen zu dieser Vorlesung zur Verfügung. Angaben in den Lösungen ohne Gewähr. Die Lösungen sind zum jetzigen Zeitpunkt noch nicht zugänglich und werden gegen Ende des Semesters freigeschaltet.
  1. Klausur Frühjahr 2011 und die Lösung dazu.
  2. Klausur Herbst 2010 und die Lösung dazu.
  3. Klausur Frühjahr 2010 und die Lösung dazu.
  4. Klausur Herbst 2009 und die Lösung dazu.
  5. Klausur Frühjahr 2009 und die Lösung dazu.
  6. Klausur Herbst 2008 und die Lösung dazu.
  7. Klausur Frühjahr 2008 und die Lösung dazu.
  8. Klausur Herbst 2007 und die Lösung dazu.
  9. Klausur Herbst 2006 und die Lösung dazu.
  10. Klausur Frühjahr 2006 und die Lösung dazu.
  11. Klausur Herbst 2005 und die Lösung dazu.

Literatur und Links


Last modified: , by Yves Brise. Valid HTML 4.0! Valid CSS!