University of Bremen - Winter 2020/21

60 University of Bremen - Winter 2020/21 https://www.uni-bremen.de/en/cslog/teaching/winter-2020-21 This is the teaching homepage of the working group CSLog led by Prof. Dr. Nicole Megow for the Winter Semester 20/21. en University of Bremen Sun, 10 May 2026 03:53:16 +0200 Sun, 10 May 2026 03:53:16 +0200 University of Bremen content-296198 Thu, 05 Mar 2026 09:46:29 +0100 Algorithmentheorie https://www.uni-bremen.de/en/cslog/teaching/winter-2020-21#c296198 <h4>Wintersemester 2020/21, 4SWS, 6CP 03-BB-602.02</h4> Algorithmen bilden eine der wichtigsten Grundlagen der Informatik. Anschaulich beschreibt ein Algorithmus eine Vorgehensweise um ein Problem zu lösen. Somit bilden Algorithmen eine Grundlage der Programmierung, sind aber unabhängig von der konkreten Programmiersprache und Umsetzung. Algorithmen sind so vielfältig wie ihre Anwendungen, darum ist es umso wichtiger die fundamentalen Prinzipien des effizienten Algorithmenentwurfs und in den wichtigsten Problembereichen die grundlegenden Lösungsverfahren zu kennen. Die Vorlesung hat zum Ziel diese fundamentalen Prinzipien des Algorithmenentwurfs zu vermitteln. Die Prinzipien werden anhand klassischer Algorithmen für wichtige Probleme illustriert und eingeübt. Auf der theoretischen Seite werden die Grundlagen abstrakter Maschinenmodelle, formale Korrektheitsbeweise und Laufzeitanalyse vermittelt. Das erworbene Wissen ermöglicht es den Studierenden für ein gegebenes algorithmisches Problem verschiedene Lösungsansätze bezüglich ihrer Effizienz zu beurteilen, den am besten geeigneten Ansatz zur Lösung auszuwählen und seine Korrektheit zu beweisen. • Algorithmenparadigmen: Greedy, Divide-and-Conquer, Dynamische Programmierung • Sortierverfahren • Grundlegende Begriffe der Graphentheorie • Graphenprobleme: Kürzeste-Wege, minimale aufspannende Bäume, maximale Netzwerkflüsse Dozenten:&nbsp; <a class="mail" href="mailto:nicole.megow@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Prof. Dr. Nicole Megow</a> <a class="mail" href="mailto:se_si@uni-bremen.de">Prof. Dr. Sebastian Siebertz</a> Die Veranstaltung findet online asynchron statt. Der online Einführungstermin in der ersten Veranstaltungswoche steht noch nicht fest. Content content-296207 Thu, 05 Mar 2026 09:46:29 +0100 Algorithmische Diskrete Mathematik https://www.uni-bremen.de/en/cslog/teaching/winter-2020-21#c296207 <h4>Wintersemester 2020/21, 9CP 03-M-WP-18</h4> Inhalt <ul> <li>Einführung in Graphentheorie, kombinatorische und lineare Optimierung</li> <li>Graphentheorie: Grundbegriffe, Wege in Graphen, Euler- und Hamiltonkreise, Bäume</li> <li>Algorithmische Grundlagen (Kodierungslänge, Laufzeit, Polynomialzeitalgorithmen)</li> <li>Spannbäume, Matchings, Netzwerkflüsse und -schnitte (kombinatorische Algorithmen)</li> <li>Einblick in lineare Optimierung: Modellierung und Struktur linearer Programme, Polyeder, Optimalitätskriterien, Dualität, Simplex-Algorithmus</li> <li>Elemente der Komplexitätstheorie</li> </ul> Dozentin:&nbsp; <a class="mail" href="mailto:nicole.megow@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Prof. Dr. Nicole Megow</a> Assistent:&nbsp; <a class="mail" href="mailto:eberle@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Dr. Franziska Eberle</a> Ablauf Die Vorlesungen und Übungen werden online stattfinden. Um Zugang zu erhalten, melden Sie sich bitte auf StudIP für die Veranstaltung an. Literatur: <ul> <li>[KV] Korte, Vygen: Kombinatorische Optimierung: Theorie und Algorithmen, Springer, 2012.</li> <li>[KN] Krumke, Noltemeier: Graphentheoretische Konzepte und Algorithmen, Springer-Vieweg, 2012.</li> <li>[CLRS] Corman, Leiserson, Rivest, Stein: Introduction to Algorithms, 3rd edition, MIT Press, 2009.</li> <li>[KT] Kleinberg, Tardos: Algorithm Design, Pearson, 2006.</li> <li>[AMO] Ahuja, Magnanti, Orlin: Network Flows: Theory, Algorithms, and Applications, Prentice-Hall, 1993.</li> <li>[BT] Bertsimas, Tsitsiklis: Introduction to Linear Optimization, Athena Scientific, 1997.</li> <li>[GKT] Guenin, Könemann, Tuncel: A Gentle Introduction to Optimization, Cambridge University Press, 2014.</li> </ul> Content content-296201 Thu, 05 Mar 2026 09:46:29 +0100 Projekt Match-Up https://www.uni-bremen.de/en/cslog/teaching/winter-2020-21#c296201 <h4>Wintersemester 2020/21, 12CP 03-MP-902.70</h4> Dieses Projekt befasst sich mit anwendungsbezogenen Fragestellungen, welche sich mithilfe von Matchings modellieren lassen. Ein Matching ist eine graphentheoretische Struktur, welche bestimmten Objekten einen eindeutigen Partner zuordnet. Solche Strukturen finden sich bei einer Vielzahl von interessanten Fragestellungen, welche teilweise stark unterschiedliche Ziele verfolgen. Teils soll lediglich möglichst vielen Objekten ein Partner zugewiesen werden, teils gilt es komplizierteren Anforderungen, wie zum Beispiel Fairness, zu genügen. Strukturelle, graphentheoretische Aussagen über Matchings helfen dabei, effiziente Algorithmen für die Lösunge solcher Fragestellungen zu entwickeln.&nbsp; Im Laufe des Projekts werden verschiedene reale Probleme (Auktionsmärkte, effizientes Cloud Computing, Schul-/Studienplatzvergabe) theoretisch behandelt. Dies beinhaltet unter anderem Modellierung, Algorithmenentwurf, Implementierung, Evaluation und Visualisierung aber auch das Erlernen von spieltheoretischen und graphentheoretischen Konzepten. Teilnehmer erhalten einen Überblick über aktuelle algorithmische Trends und Fragestellungen im Bereich der Matching Probleme. Eigene Modelle für ausgewählte Probleme werden aufgestellt und Lösungsmethoden entwickelt (Heuristiken, Greedy Algorithmen, etc.). Diese werden implementiert und anhand von Praxis- oder sinnvoll eigenständig generierter Daten evaluiert, das heißt mit Optimallösungen bzw. Relaxationen verglichen. Auch Verbesserungspotential durch (unsichere) Vorhersagen durch machinelles Lernen können experimentell evaluiert werden. Ein großer Spielraum besteht auch für die Entwicklung theoretischer Grundlagen in diesem Bereich: Untersuchung der Problemkomplexität, Design von Algorithmen und Analyse des Worst-case Verhaltens (Approximationsalgorithmen), Untersuchung verschiedener Anforderungen wie Fairness, Kostenminimierung, Profitmaximierung. Dozentin:&nbsp; <a class="mail" href="mailto:nicole.megow@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Prof. Dr. Nicole Megow</a> Assistent:&nbsp; <a class="mail" href="mailto:noelke@uni-bremen.de" title="Öffnet ein Fenster zum Versenden der E-Mail">Lukas Nölke</a> Nach einem Semester intensiver Arbeit ist das Projekt nun zu Ende. Auf <a href="https://cslog-projects.uni-bremen.de/matchup/" target="_blank" title="Öffnet externen Link in neuem Fenster">dieser Webseite</a> berichten die Studenten von ihrem Projekt. Overview: In this project, we consider application-driven problems that can be modeled using so-called matchings. Various real-world problems are examined theoretically. This includes modeling, algorithm design, implementation, evaluation and visualization but also game-theoretic and graph-theoretic concepts. Content