Praktikum Graphenzeichnen

Transkript

1 Praktikum Graphenzeichnen 1/ 10

2 Organisatorisches - Ablauf 4 Übungsblätter (alle zwei Wochen) Programmiererfahrung / Techniken zum Graphenzeichnen 5. Übungsblatt = Praktikumsaufgabe Eigene Ideen Zwischen- / Hauptvorträge etwa 5 bzw 30 Minuten Ausarbeitung Dokumentation der Arbeit, Vorstellung der Ergebnisse 2/ 10

3 Organisatorisches - Zeitplan Fr Vorbesprechung 1. Übungsblatt Fr Übungsblatt Fr Übungsblatt Fr Übungsblatt Mo Zwischenvorträge Fr Übungsblatt Fr Hauptvorträge 3/ 10

4 Inhaltliches - Ziele des Praktikums Organisatorisches - Infrastruktur Poolraum Rechner und Arbeitsplätze in Raum 305 Server compute10.ira.uka.de Belegungsplan unter Marcus Raum 317, marcus.krug@kit.edu Reinhard Raum 307, reinhard.bauer@kit.edu 4/ 10

5 Inhaltliches - Ziele des Praktikums Inhaltliches - Ziele des Praktikums Zielsetzung ist es, (Hyper-)Graphen so zu zeichnen, dass die Struktur des Graphen möglichst gut erkennbar wird interessante Strukturen erkennbar werden, die sonst schlecht zu finden sind 5/ 10

6 Inhaltliches - Ziele des Praktikums Inhaltliches - Ziele des Praktikums Dabei sollt ihr grundlegende Techniken zur Visualisierung kennenlernen eigene Ideen entwickeln große Realwelt-Instanzen visualisieren Erfahrung im Präsentieren sammeln Programmiererfahrung bekommen/erweitern 6/ 10

7 Hypergraphen einfacher Graph G = (V, E) mit E {X P(V ) : X = 2} Hypergraph G = (V, E) mit E {X P(V )} 7/ 10

8 Hypergraphen einfacher Graph G = (V, E) mit E {X P(V ) : X = 2} Hypergraph G = (V, E) mit E {X P(V )} Betrachtung von Hypergraphen nicht neu: Set Packing Matching auf Hypergraphen Hitting Set Vertex Cover auf Hypergraphen Set Splitting Schnittproblem auf Hypergraphen 7/ 10

9

10 A B C D E F

11 D A B E C F

12 D A B E C F

13 D A B E C F

14 C A B D E F

15 C A B D E F

16 C A B D E F

17 C A B D E F

18 C A B D E F

19 C A B D E F

20 A B C D E F A B C E D F

21 Title Author An Experimental Study of Minimum Mean Cycle Algorithms An Experimental Study of Minimum Mean Cycle Algorithms An Experimental Study of Minimum Mean Cycle Algorithms An Experimental Study of Minimum Mean Cycle Algorithms Unique Maximum Matching Algorithms Unique Maximum Matching Algorithms Unique Maximum Matching Algorithms Better Landmarks within Reach Better Landmarks within Reach Better Landmarks within Reach R. Tarjan L. Georgiadis A. Goldberg R. Werneck R. Tarjan H.Gabow H. Kaplan A. Goldberg R. Werneck H. Kaplan 9/ 10

22 R. Tarjan H.Gabow Unique Maximum Matching Algorithms L. Georgiadis A. Goldberg An Experimental Study of Minimum Mean Cycle Algorithms H. Kaplan Better Landmarks within Reach R. Werneck 9/ 10

23 Experimente - Testinstanzen Patentdaten Europäisches Patentamt Anmeldungen und Erfinder IPC Einträge (International Patent Classification) Co-Autoren-Netzwerke DBLP, Citeseer 2 x Publikationen 2 x Autoren SAT-Instanzen hauptsächlich Hardware-Verifikation Größe sehr unterschiedlich 10/ 10