Algorithmische Methoden zur Netzwerkanalyse Vorlesung für den Bereich Master Informatik Dozent: Prof. Dr. Henning Meyerhenke PARALLELES RECHNEN INSTITUT FÜR THEORETISCHE INFORMATIK, FAKULTÄT FÜR INFORMATIK KIT Universität des Landes Baden-Württemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu
20. Oktober 2015 VORLESUNG 1 Einführung 2
Begriffserklärungen Algorithmische Methoden Welche Methoden? zur Netzwerkanalyse Was ist das? Welche Netzwerke? 3
Netzwerkanalyse Empirische Untersuchung von Daten, die als Netzwerk (Graph) modelliert werden können Modelle Struktur Maßzahlen Algorithmen Anwendungsgebiete (Auswahl): 4 [http://www.swisscinema.org/gimage/ eec89088ee408b80387155272b113256.jpg] [http://www.utoronto.ca/boonelab/ research_projects/images/fig11-3.gif] Technik: Internet und Telefon, Strom, Transport und Logistik,... Information: WWW, Zitierungen,... Biologie: Protein-Protein-Interaktionen,... Soziales: Soziale Online-Netzwerke, Politik,...
Motivation Ein stark wachsendes Feld in Industrie und Wissenschaft: Social Web Soziale Netzwerke Social Media Soziale Suche Big Data Beratung Promotion Verbindung von [http://blog.121watt.de/blog/5-regeln-fur-erfolgreiche-landingpages] Es gibt nichts Praktischeres als eine gute Theorie. (Kurt Lewin) Theorie (Komplexität, Modelle, beweisbar gute Algorithmen) und Praxis (Anwendungsproblem, Heuristiken) In der Theorie gibt es keinen Unterschied zwischen Theorie und Praxis; in der Praxis hingegen gibt es einen großen Unterschied. (Al Roth) 5
Vorlesungsübersicht: Inhalt Eigenschaften von Netzwerken und deren Berechnung Knotengrad, k-kerne, Clusterkoeffizienten ZHK, kürzeste Wege Zentralitätsmaße Eigenvektor, PageRank Betweenness, Closeness Netzwerkmodelle und Generatoren Erdös-Renyi-Zufallsgraphen NW mit hyperbolischer Geometrie Clusteranalyse Komplexität, effektive Heuristiken Motivsuche oder Epidemien auf Netzwerken Software NetworKit 6
Formale Anforderungen Lernziele Kurzversion Kurzvortrag Algorithmische Probleme zur Netzwerkanalyse formal formulieren können Seminararbeit Hauptvortrag Berechnungskomplexität algorithmischer Probleme analysieren und einschätzen können Aktive Teilnahme Eigenschaften von Netzwerken kennen und Netzwerkmodelle bewerten können Algorithmen exemplarisch ausführen und ihre Eigenschaften erklären können Geeignete algorithmische Lösungstechniken erkennen, entwerfen und auf unbekannte Probleme anwenden können 10 Henning Meyerhenke, Roland Glantz: Algorithmen implementieren und Seminar hinsichtlich Algorithmentechnikihrer Qualität, Anwendbarkeit und Laufzeit bewerten können [http://www.floridaipblog.com/uploads/image/trademar_checklist.jpg] Image source: http://www.floridaipblog.com/uploads/image/trademar_checklist.jpg Institut für 7
Bachelor-/Masterarbeiten Gerne! Insbesondere in den vorher genannten Themengebieten Beschreibungen liegen aus und sind auf Gruppenwebseite zu Studium und Lehre: http://parco.iti.kit.edu/lehre.shtml [http://www.uni-rostock.de/weiterbildung/fernstudien/medien-bildung/masterabschluss/] Bei Interesse einfach ansprechen! [http://www.oc.tu-bs.de/dickschat/masterarbeiten_de.html] 14
Stellenangebote HiWi-Stellen Doktorandenstellen Zur Zeit suchen wir NetworKit-Hiwi Wartung von OpenSource-Software Implementierung von Algorithmen [http://www.ausbildungplus.de/ images_content/berufswahl_180px.jpg] Unterstützung in Forschung und Lehre Themenbereich parallele Algorithmentechnik Algorithmische Analyse von (sozialen) Netzwerken Beschleunigung wissenschaftlicher Simulationen Angewandte Optimierung für naturwissenschaftliche Probleme Studiengänge? 15
Organisatorisches Vorlesung und Übung kombiniert Termine: Dienstags 11:30-13:00 Uhr im SR 236 Donnerstags 14:00-15:30 Uhr im SR 236 Übersicht auf Vorlesungswebseite SWS: 2+1 LVNr: 2400013 [http://igd-r.fraunhofer.de/awf_organisatorisches/?l=1] Sprechstunde: Nach Vereinbarung (E-Mail) Webseite zur Vorlesung (bzw. Link auf weitere Details): http://parco.iti.kit.edu/henningm/lehre.shtml 16
Methodik des Übungsbetriebs Aufgaben sowohl theoretisch (z. B. vglw. einfache Beweise) als auch praktisch (z. B. Implementierung) Übungen: Teilnehmer präsentieren ihre Lösungen zu Übungsaufgaben [http://www.verlag-bauer.de/userfiles/image/start_uebung.gif] Bonuspunkte für erfolgreiche Teilnahme an den Übungen (genaues Bonussystem wird noch bekanntgegeben) Mündliche Prüfung voraussichtlich im Februar und/oder April 2016 [http://www.slideshine.de/browser/uploads/412/intelligente%20wege%20zu%20 neuen%20ideen%20%28clipart%29/7598-gl%c3%bchbirne%20aha.jpg] 17