SS 2013: Seminar "Graphen in der Informatik: Algorithmen und Modellierung"

Dozenten

Inhalt

Graphen, bestehend aus Knoten und Kanten, kommen in der Informatik in vielen Zusammenhängen vor. Beispielsweise können Rechner- und Straßennetze, das Internet, Nachbarschaftsbeziehungen, endliche Automaten, Transitionssysteme und semantische Beziehungen geeignet durch Graphen beschrieben werden. Es ist daher wichtig, Verfahren und Methoden zu besitzen, die die Struktur von Graphen untersuchen und auch Graphen transformieren können, wenn sich die Topologie des zu untersuchenden Systems ändern sollte. Insbesondere geht es in diesem Seminar um folgende Themen:

  • Graphentheorie: Welche Typen von Graphen gibt es? Welche Strukturen treten in Graphen auf? Welche bekannten Sätze über Graphen gibt es? (z.B. Vierfarbentheorem)
  • Graphalgorithmen: Wie kann man Graphen am besten algorithmisch verarbeiten? Welche Verfahren gibt es, um Graphen zu untersuchen (z.B. Chinese Postman Problem, Max Flow)?Wie lassen sich Graphen am besten zeichnen/visualisieren?
  • Graphtransformation: Wie kann man Graphen mit Hilfe von Regeln transformieren? Wie funktionieren Graphgrammatiken? Wie kann man nebenläufige Systeme mit Hilfe von Graphtransformationsregeln modellieren?

Termine

Wichtig: Am Mittwoch, dem 13.03.2013, um 14:00 Uhr, findet im Raum LF 125 ein Einführungstreffen statt. Studierende, die Interesse haben am Seminar teilzunehmen, sind zu diesem Treffen eingeladen. An dem Treffen werden die verschiedene Themen vorgestellt und unter den Anwesenden verteilt.

2. Einführungstreffen: Da beim ersten Einführungstreffen nicht alle Themen verteilt worden sind, findet am Montag, den 8.04.2013 um 12:00 Uhr ein weiteres Einführungstreffen in Raum LK 052 statt. Bei diesem Treffen werden die übrig gebliebenen Themen (siehe Downloads) neu verteilt.

Die eigentlichen Seminarvorträge finden zwischen dem 15.04.2013 und dem 15.07.2013 jeden Montag um 12:00 Uhr im Raum LK 052 statt.

Hinweis: Informationen zum Blockseminar zu diesem Thema, welches zu Beginn der Semesterferien angeboten wird, finden Sie hier.

Themen und Literatur

Die Themen und dazugehörigen Literatur werden im Einführungstreffen am Mittwoch, den 13.03.2013 bekanntgegeben. Die Themen befinden sich in den Bereichen "Graphentheorie", "Graphalgorithmen" und der "Graphtransformationssysteme".

Hinweis: Es sind noch zwei Themen für dieses Seminar frei. Dabei handelt es sich um die Themen "Graphtransformation durch Ersetzung von Kanten" und "Algebraischer Ansatz zur Graphtransformation". Bei Interesse an diesen Themen melden Sie sich bitte bei Christoph Blume.

Betreuung

Jeder Teilnehmer und jede Teilnehmerin wird von einem Dozenten oder einer Dozentin betreut. Der Betreuer oder die Betreuerin steht zur Verfügung für inhaltliche und Verständnisfragen, sowie für Hilfe bei der Bearbeitung der Vortragsfolien, dem Schreiben der Ausarbeitung und der Vorbereitung des Vortrags.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin