Vorlesung Netzwerkcodierung

Ähnliche Dokumente
Westfählische Wilhelms-Universität. Eulersche Graphen. Autor: Jan-Hendrik Hoffeld

Freie Universität Berlin. Diskrete Mathematik. Ralf Borndörfer, Stephan Schwartz. Freie Universität. 08. April 2013

WS 2013/14. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen

Diskrete Strukturen Kapitel 1: Einleitung

Seminar: Einladung in die Mathematik

Network Coding in P2P live streaming

Graphentheorie 2. Diskrete Strukturen. Sommersemester Uta Priss ZeLL, Ostfalia. Hausaufgaben Kantenzüge Small-World Networks Humor SetlX

WS 2015/16 Diskrete Strukturen Organisatorisches

7. Vorlesung Netzwerkcodierung

Übung 5 Algorithmen II

WS 2013/14. Diskrete Strukturen

1. Einleitung wichtige Begriffe

Kapitel 7: Flüsse in Netzwerken und Anwendungen Gliederung der Vorlesung

Schnelle und genaue Routenplanung

4. Kreis- und Wegeprobleme

Echtzeitfähige Kommunikation

Komplexe Netzwerke Einführung

Diskrete Strukturen Kapitel 4: Graphentheorie (Euler-Hamilton)

1.Aufgabe: Minimal aufspannender Baum

Flüsse, Schnitte, bipartite Graphen

Praktische Grenzen der Berechenbarkeit

Graphentheorie. Formale Grundlagen (WIN) 2008S, F. Binder. Vorlesung im 2008S

Diskrete Mathematik II

Kapitel 7: Flüsse in Netzwerken und Anwendungen Gliederung der Vorlesung

Andre Krischke. Helge Röpcke. Graphen und. Netzwerktheorie. Grundlagen - Methoden - Anwendungen. Mit 137 Bildern und zahlreichen Beispielen

Graphentheorie. Kürzeste Wege. Kürzeste Wege. Kürzeste Wege. Rainer Schrader. 25. Oktober 2007

Hauptdiplomklausur Informatik März 2001: Internet Protokolle

Kapitel 7: Flüsse in Netzwerken und Anwendungen Gliederung der Vorlesung

Übersicht 2. Mathematik als Beruf? Von logischen Strukturen und spannenden Aufgaben. Martin Oellrich. wer das Problem löste 4

Flüsse und Schnitte von Graphen

Graphen KAPITEL 3. Dieses Problem wird durch folgenden Graph modelliert:

Flüsse in Netzwerken

Rechnernetze I. Rechnernetze I. 1 Einführung SS Universität Siegen Tel.: 0271/ , Büro: H-B 8404

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

WS 2009/10. Diskrete Strukturen

Gliederung. Tiefensuche. Kurz notiert. Zur Motivation: Breitensuche. Seminar Systementwurf Ralf Cremerius

6. Flüsse und Zuordnungen

Algorithmen und Datenstrukturen

Algorithmische Mathematik und Programmieren

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Was ist ein Problem? Ein Problem im Sinne der Programmierung ist durch Computer lösbar. Programmieren Entwurf/ Implementierung

KÖNIGSBERGER BRÜCKENPROBLEM

Algorithmen und Datenstrukturen

in einem Zug finden, egal, wie lange man probiert? b) Warum kann man von bestimmten Ecken aus niemals eine Lösung

Graphentheorie. für Wiederholer Bachelor Informatik und Wirtschaftsinformatik. Prof. Dr. Peter Becker

Algorithmische Spieltheorie

Brückenkurs Mathematik. Jörn Steuding (Uni Würzburg), 13. Januar 2018

Genauer Hochleistungs-Routenplaner

Algorithmische Mathematik I

Graphentheorie Graphentheorie. Grundlagen Bäume Eigenschaften von Graphen Graphen-Algorithmen Matchings und Netzwerke

Petri-Netze. Renate Klempien-Hinrichs und Caro von Totth. Wer sind wir?

Inhalt. 1. Flußprobleme. 2. Matching. 3. Lineares Programmieren. 4. Ganzzahliges Programmieren. 5. NP-Vollständigkeit. 6. Approximationsalgorithmen

1 Pfade in azyklischen Graphen

Naiver Algorithmus für Hamiltonkreis

Algorithmische Methoden zur Netzwerkanalyse Vorlesung 12, Henning Meyerhenke

Algorithmische Spieltheorie. Martin Gairing

Königsberger Brückenproblem

Flüsse, Schnitte, Bipartite Graphen

Algorithmische Graphentheorie

3. Die Datenstruktur Graph

Systeme II. Christian Schindelhauer Sommersemester Vorlesung

Mathemathik für Informatiker Band 1: Diskrete Mathematik und Lineare Algebra

Theoretische Informatik: Berechenbarkeit und Formale Sprachen

16. November 2011 Zentralitätsmaße. H. Meyerhenke: Algorithmische Methoden zur Netzwerkanalyse 87

Kapitel 4: Netzplantechnik Gliederung der Vorlesung

9. November ZHK in dynamischen Graphen Zentralitäten. H. Meyerhenke: Algorithmische Methoden zur Netzwerkanalyse 67

WESTFÄLISCHE WILHELMS-UNIVERSITÄT MÜNSTER. Über 7 Brücken... wissen leben WWU Münster. Dietmar Lammers Hochschultag 201

Flüsse und Zuordnungen. Kapitel 6. Peter Becker (H-BRS) Graphentheorie Wintersemester 2018/ / 296

Carsten Harnisch. Der bhv Routing & Switching

Aufgaben zur Klausurvorbereitung

Algorithmen & Datenstrukturen

VU Algorithmen auf Graphen Übungsblatt 2 - Aufgabe 2 Transformation einer MaxFlow- in eine MinCost Circulation Instanz

Vorlesung: Nicht-kooperative Spieltheorie. Teil 4: 2-Personen-Nullsummenspiele

Transkript:

Sommersemester 2010

Organisation Im Internet: http://www.ifn.et.tu-dresden.de/tnt/lehre/vl/nwcod Vorlesungen finden wöchentlich statt: Donnerstag, 5. DS, BAR 213 Übungen finden 2-wöchentlich statt: Freitag, 2. DS, BAR 205 1. Wo Die Probleme für die Übungen liegen rechtzeitig auf der Webseite bereit. 1

2

Literatur Die Vorlesung folgt in vielen Punkten den Darstellungen in: Raymond W. Yeung: Information Theory and Network Coding, Springer 2008. Christina Fragouli und Emina Soljanin: Network Coding Fundamentals, Foundations and Trends in Networking, Now publishers, 2007. Tracey Ho und Desmond Lun: Network Coding - An Introduction, Cambridge, 2008. Der Basisartikel von 2000: Rudolf Ahlswede, Ning Cai, Shuo-Yen Robert Li und Raymond W. Yeung: Network Information Flow, IEEE Trans. on Inf. Theory, vol. 46, no. 4, Juli 2000. DasvorläufigeStudienhilfegibtesonlinemitZugangskennung: Ahlswede. 3

Einordnung in das Curriculum ET/IT und IST Voraussetzungen: Systemtheorie I, II und III (3./4./5. Semester) Nachrichtentechnik (4. oder 6. Semester) Informationstheorie (Codierungstechnik) (6. Semester) Weiterer Weg oder zeitgleich: Mehrnutzer-Informationstheorie (7. Semester) Codierungstheorie (7. Semester) Spieltheorie (6. Semester) 4

Traditioneller Ansatz Netzwerkcodierung Informationen von verschiedenen Quellen werden getrennt voneinander als Pakete durch das Netzwerk geschleust. Vergleich mit der Autobahn: jedes Auto stellt ein Paket dar. An den Knotenpunkten werden die Pakete gespeichert und weitergeleitet store and forward. Im Jahr 1999 wurde eine Arbeit zur Satellitenkommunikation vorgestellt und die Theorie in 2000 entwickelt, die zu einem Paradigmenwechsel geführt hat: Netzwerkcodierung 5

x1 x2 x1 x2 x1 x1 x2 x1 x2 x2 x1 x1 + x2 x1 x1 + x2 x2 x2 x1 + x2 Abbildung 1.1: Das Butterfly-Netzwerk: Die Quellen S 1,S 2 senden eine gemeinsame Nachricht (multicast) and die Empfänger R 1,R 2. Links und Mitte: Routen zu R 1 und R 2 sowie Rechts: mit Netzwerkcodierung. 6

m 1 m 1 m 1 m 2 m 2 m 1 + m 2 m 1 + m 2 m 2 Abbildung 1.2: Bidirektionaler Relay-Kanal links ohne Netzwerkcodierung und rechts mit Netzwerkcodierung. 7

Vor- und Nachteile der NC Vorteile Durchsatzerhöhung Bessere Resourcenausnutzung Robustheit gegenüber Paketverluste Nachteile Anforderung an Rechenleistung und Speicher an Knoten steigt Knoten können in den Besitz der Daten kommen (Sicherheit) Implementierung der NC in dynamischen Netzwerken 8

Inhalt der VL Einführung und Motivation (1) Graphentheorie und Flüsse auf Graphen (4) Ford-Fulkerson Algorithmus Max-Flow Min-Cut Theorem Hauptsatz der Netzwerkcodierung (4) Formulierung und Interpretation Zufällige Netzwerkcodierung Systematischer Entwurf von NC - Teilbaumzerlegung Netzwerke mit Verzögerungen und Kreisen Wiederholung und Zusammenfassung (1) 9

Übungen Graphen und Flüsse Hauptsatz NC, zufällige NC, Jaggi-Sanders Algorithmus Systematischer NC Entwurf (Liniengraph, Teilbaumzerlegung, etc.) Unicast Übertragung, Kanaldämpfungen, NC Entwurf 10

Motivation Graphen Die Graphentheorie ist ein Teilgebiet der Mathematik, das die Eigenschaften von Graphen und ihre Beziehungen zueinander untersucht. Literatur i) Reinhard Diestel, Graphentheorie, 3. Auflage, Springer, 2006. http://www.math.uni-hamburg.de/home/diestel/books/ graphentheorie/ ii) Volker Turau, Algorithmische Graphentheorie, 3. Auflage, Oldenbourg, 2009. Die Anfänge der Graphentheorie gehen bis in das Jahr 1736 zurück. Damals publizierte Leonhard Euler eine Lösung für das Königsberger Brückenproblem. Die Frage war, ob es einen Rundgang durch die Stadt Königsberg (Preußen) gibt, der jede der sieben Brücken über den Fluss Pregel genau einmal benutzt. Euler konnte eine für dieses Problem nicht erfüllbare notwendige Bedingung angeben und so die Existenz eines solchen Rundganges verneinen. 11

12

K M L A B C D E F G I J 13

KA MB LC AI AD BD BE CJ CE DF EG FJ FI GJ GI 14

K I M L J J I J I 15