Graphenzeichnen: Geometrische Aspekte jenseits der Planarität
Theoretische Informatik
Zusammenfassung der Projektergebnisse
Das Ziel unseres Projekts bestand darin, die mathematischen Strukturen besser zu verstehen, die den verschiedenen Möglichkeiten entsprechen, wie man die visuelle Komplexität der Zeichnung eines Graphen messen kann. Beispiele für solche Maße sind die lokale Kreuzungszahl, d. h. die maximale Anzahl von Kreuzungen pro Kante, die Steigungsanzahl, d. h. die Anzahl von verschiedenen Steigungen in einer geradlinigen und kreuzungsfreien Zeichnung, die Streckenzahl oder die Geradenüberdeckungszahl, d. h. die Anzahl von Strecken oder Geraden, die man braucht, um eine geradlinige kreuzungsfreie Zeichnung zu überdecken. Für Graphen werden die Maße als das Minimum über alle Zeichnungen (des entsprechenden Typs) definiert. Ins Zentrum unserer Forschung ist das Maß Streckenzahl gerückt, von dem man schon wusste, dass es NP-schwer zu berechnen ist. Insbesondere konnten wir zeigen, dass es Fest-Parameter-Algorithmen für die Berechnung der Streckenzahl gibt, nämlich bezüglich des natürlichen Parameters, der Geradenüberdeckungszahl und der Knotenüberdeckungszahl. Letzteres war technisch am schwersten zu beweisen. In einer weiteren Arbeit haben wir gezeigt, dass es ETR-vollständig ist, die Streckenzahl zu berechnen, d. h. die Streckenzahl kann einerseits mithilfe der existentiellen Theorie der reellen Zahlen ausgedrückt werden, andererseits ist ihre Berechnung mindestens so schwer wie die Lösung jedes anderen Problems in der Komplexitätsklasse ETR. Außerdem haben wir ein existierendes Resultat bezüglich der Streckenzahl von dreifach-zusammenhängenden kubischen planaren Graphen dahingehend erweitert, dass wir gezeigt haben, dass jeder dreifach-zusammenhängende 4-reguläre planare Graph mit n Knoten eine Streckenzahl von höchstens n + 3 besitzt, was scharf ist bis auf die additive Konstante. Wir haben die ersten universellen unteren Schranken für die Streckenzahl von maximalen Außenpfaden, maximalen außenplanaren Graphen, 2-Bäumen und planaren 3-Bäumen bewiesen. Diese unteren Schranken zeigen, dass existierende Algorithmen für diese Graphklassen konstante Approximationsfaktoren besitzen. Für maximale Außenpfade ist unsere universelle untere Schranke bestmöglich.
Link zum Abschlussbericht
https://oa.tib.eu/renate/handle/123456789/18841
Projektbezogene Publikationen (Auswahl)
-
Line and Plane Cover Numbers Revisited. Lecture Notes in Computer Science, 409-415. Springer International Publishing.
Biedl, Therese; Felsner, Stefan; Meijer, Henk & Wolff, Alexander
-
Multi-level Steiner Trees. ACM Journal of Experimental Algorithmics, 24, 1-22.
Ahmed, Reyan; Angelini, Patrizio; Sahneh, Faryad Darabi; Efrat, Alon; Glickenstein, David; Gronemann, Martin; Heinsohn, Niklas; Kobourov, Stephen G.; Spence, Richard; Watkins, Joseph & Wolff, Alexander
-
Variants of the Segment Number of a Graph. Lecture Notes in Computer Science, 430-443. Springer International Publishing.
Okamoto, Yoshio; Ravsky, Alexander & Wolff, Alexander
-
Bundled Crossings Revisited. Journal of Graph Algorithms and Applications, 24(4), 621–655.
Chaplick, Steven; Van Dijk, Thomas; Kryven, Myroslav; Park, Ji-won; Ravsky, Alexander & Wolff, Alexander
-
The Segment Number: Algorithms and Universal Lower Bounds for Some Classes of Planar Graphs. Lecture Notes in Computer Science, 271-286. Springer International Publishing.
Goeßmann, Ina; Klawitter, Jonathan; Klemz, Boris; Klesen, Felix; Kobourov, Stephen; Kryven, Myroslav; Wolff, Alexander & Zink, Johannes
-
The Computational Complexity of the ChordLink Model. Journal of Graph Algorithms and Applications, 27(9), 759-767.
Kindermann, Philipp; Sauer, Jan & Wolff, Alexander
-
The Parametrized Complexity of the Segment Number. Lecture Notes in Computer Science, 97-113. Springer Nature Switzerland.
Cornelsen, Sabine; Da Lozzo, Giordano; Grilli, Luca; Gupta, Siddharth; Kratochvíl, Jan & Wolff, Alexander
-
Upward Planar Drawings with Three and More Slopes. Journal of Graph Algorithms and Applications, 27(2), 49-70.
Klawitter, Jonathan & Zink, Johannes
