400 likes | 479 Views
C. A. S. Planarisierung von Graphen und Netzwerken. B.Goetze, GFaI Berlin Stralsund, 25.7.2003. Überblick. Zur Historie VinetS-Aktivitäten zur Planarität Topologische Einbettung DMP für Graphen DMP für Netzwerke. Euler : Polyedergleichung
E N D
C A S Planarisierung von Graphen und Netzwerken B.Goetze, GFaI Berlin Stralsund, 25.7.2003
Überblick • Zur Historie • VinetS-Aktivitäten zur Planarität • Topologische Einbettung • DMP für Graphen • DMP für Netzwerke
Euler: Polyedergleichung Kuratowski: Charakterisierung planarer Graphen, 1930 Tutte: Barycenter-Algorithmus, 1960 Demoucron, Malgrange, Pertuiset: Planaritätstest, « DMP-Algorithmus », 1964 Hopcroft, Tarjan: Planaritätstest in O(n), 1974 G. Kant: Geometrische Einbettung im Gitter, O(n), 1996 Boyer, Myrvold: Planare Einbettung in O(n), 2001 Zur Historie
VinetS-Aktivitäten zur Planarität • Einarbeitung in Hopcroft-Tarjan (Stralsund) • Diplomarbeit zum Algorithmus von Boyer- Myrvold (Törsel) • Diplomarbeit zum DMP-Algorithmus (Haak) • Implementierung des Algorithmus von Kant (Haak) • Implementierung von DMP und Tutte in C++ (Goetze) • Problemanalyse zur Planarisierung von Netzwerken (Goetze, Scheffler)
Übergang Abstrakter Graph Menge von Facetten Planaritätsaussage Topologische Einbettung
4 F6 2 3 5 6 F5 F1 8 9 F8 1 7 F0 11 12 F7 F4 F2 10 13 14 15 F3 16 F9 Topologische Einbettung
1 9 F7 F0 10 11 12 2 2 3 F5 13 5 6 6 F1 F8 8 12 4 F2 7 9 16 8 14 15 15 13 F6 F3 F9 F4 10 1 3 5 11 7 16 14 4 Topologische Einbettung F0=(9,11,12) F1=(5,9,6) F2=(12,15,13) . . . F9=(7,16,1,4)
F6 F1 F5 F8 F0 F4 F7 F2 F3 F9 Topologische Einbettung • Äußere Facette nicht festgelegt
F0 F3 F9 F4 F2 F7 F5 F6 F8 F1 Topologische Einbettung F0 F3 F2 F9 F7 F4 F8 F5 F6 F1
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Gegeben: 2-fach zusammen- hängender Graph
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Zyklus
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Zyklus topologisch einbetten
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Fragmentierung
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Fragmentierung
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
1 5 7 8 6 9 4 2 DMP-Algorithmus Einbettung der Fragmente
11 1 5 3 7 8 6 9 4 10 2 DMP-Algorithmus Topologische Einbettung Also Planarität
11 1 5 3 7 8 6 9 4 10 2 Geometrische Einbettung
11 1 5 3 7 8 6 9 4 10 2 Geometrische Einbettung Eine Facette wird als äußere deklariert
11 1 5 3 7 8 6 9 4 10 2 Geometrische Einbettung Knoten der äußere Facette werden auf konvexem Polygon angepinnt
11 1 5 3 7 8 6 9 4 10 2 Geometrische Einbettung Kräftegleichgewicht
11 1 5 x x x x 3 7 8 6 9 4 10 2 Geometrische Einbettung Triangulierung 3-fach zusammen- hängend
11 1 5 x x x x 3 7 8 6 9 4 10 2 Geometrische Einbettung Tutte konvergiert, Bild ausgewogen
11 1 5 3 7 8 6 9 4 10 2 Geometrische Einbettung
Netzwerke • Hyperkanten • Knoten mit Shapes (z.B. Rechtecke) • Pins; vorgeschriebene Reihenfolge • Knotenhierarchie
Netzwerk: Hyperkanten Reduktion: Hypergraph Graph Am Pseudoknoten beliebige Pin-Reihenfolge erlaubt
Netzwerk: fixierte Pins 3 6 3 2 2 1 4 4 1 5 6 7 7 5
Netzwerk: fixierte Pins Pin-Zyklen
Netzwerk: Pin-Restriktionen MPZ(v) = MPZ(Type) XF-Restriktion: Klasse von fixierten Pins Klasse von freien Pins
Netzwerk: Pin-Restriktionen kontextsensitive Restriktionen
DMP unter Pin-Restriktionen partielle Einbettungen partielle Pinzyklen
DMP unter Pin-Restriktionen Zuordnung: Fragment Facette Ist Zuordnung zulässig? Sind die eintstehenden partiellen Pin-Zyklen an den beteiligten Kontaktknoten zulässig?
DMP unter Pin-Restriktionen Erweiterbar zu Element von MPZ(v)?
DMP unter Pin-Restriktionen bool allowedPartialPinCycle (Type type, Partial_Pin_Cycle partCycle); In DMP wird Backtracking erforderlich