13 research outputs found
Facets of Planar Graph Drawing
This thesis makes a contribution to the field of Graph Drawing, with a focus on the planarity drawing convention. The following three problems are considered.
(1) Ordered Level Planarity:
We introduce and study the problem Ordered Level Planarity which asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a y-monotone curve. This can be interpreted as a variant of Level Planarity in which the vertices on each level appear in a prescribed total order. We establish a complexity dichotomy with respect to both the maximum degree and the level-width, that is, the maximum number of vertices that share a level. Our study of Ordered Level Planarity is motivated by connections to several other graph drawing problems. With reductions from Ordered Level Planarity, we show NP-hardness of multiple problems whose complexity was previously open, and strengthen several previous hardness results. In particular, our reduction to Clustered Level Planarity generates instances with only two nontrivial clusters. This answers a question posed by Angelini, Da Lozzo, Di Battista, Frati, and Roselli [2015]. We settle the complexity of the Bi-Monotonicity problem, which was proposed by Fulek, Pelsmajer, Schaefer, and Stefankovic [2013]. We also present a reduction to Manhattan Geodesic Planarity, showing that a previously [2009] claimed polynomial time algorithm is incorrect unless P=NP.
(2) Two-page book embeddings of triconnected planar graphs:
We show that every triconnected planar graph of maximum degree five is a subgraph of a Hamiltonian planar graph or, equivalently, it admits a two-page book embedding. In fact, our result is more general: we only require vertices of separating 3-cycles to have degree at most five, all other vertices may have arbitrary degree. This degree bound is tight: we describe a family of triconnected planar graphs that cannot be realized on two pages and where every vertex of a separating 3-cycle has degree at most six. Our results strengthen earlier work by Heath [1995] and by Bauernöppel [1987] and, independently, Bekos, Gronemann, and Raftopoulou [2016], who showed that planar graphs of maximum degree three and four, respectively, can always be realized on two pages. The proof is constructive and yields a quadratic time algorithm to realize the given graph on two pages.
(3) Convexity-increasing morphs:
We study the problem of convexifying drawings of planar graphs. Given any planar straight-line drawing of an internally 3-connected graph, we show how to morph the drawing to one with strictly convex faces while maintaining planarity at all times. Our morph is convexity-increasing, meaning that once an angle is convex, it remains convex. We give an efficient algorithm that constructs such a morph as a composition of a linear number of steps where each step either moves vertices along horizontal lines or moves vertices along vertical lines. Moreover, we show that a linear number of steps is worst-case optimal.Diese Arbeit behandelt drei unterschiedliche Problemstellungen aus der Disziplin des Graphenzeichnens (Graph Drawing). Bei jedem der behandelten Probleme ist die gesuchte Darstellung planar.
(1) Ordered Level Planarity:
Wir führen das Problem Ordered Level Planarity ein, bei dem es darum geht, einen Graph so zu zeichnen, dass jeder Knoten an einer vorgegebenen Position der Ebene platziert wird und die Kanten als y-monotone Kurven dargestellt werden. Dies kann als eine Variante von Level Planarity interpretiert werden, bei der die Knoten jedes Levels in einer vorgeschriebenen Reihenfolge platziert werden müssen. Wir klassifizieren die Eingaben bezüglich ihrer Komplexität in Abhängigkeit von sowohl dem Maximalgrad, als auch der maximalen Anzahl von Knoten, die demselben Level zugeordnet sind. Wir motivieren die Ergebnisse, indem wir Verbindungen zu einigen anderen Graph Drawing Problemen herleiten: Mittels Reduktionen von Ordered Level Planarity zeigen wir die NP-Schwere einiger Probleme, deren Komplexität bislang offen war. Insbesondere wird gezeigt, dass Clustered Level Planarity bereits für Instanzen mit zwei nichttrivialen Clustern NP-schwer ist, was eine Frage von Angelini, Da Lozzo, Di Battista, Frati und Roselli [2015] beantwortet. Wir zeigen die NP-Schwere des Bi-Monotonicity Problems und beantworten damit eine Frage von Fulek, Pelsmajer, Schaefer und Stefankovic [2013]. Außerdem wird eine Reduktion zu Manhattan Geodesic Planarity angegeben. Dies zeigt, dass ein bestehender [2009] Polynomialzeitalgorithmus für dieses Problem inkorrekt ist, es sei denn, dass P=NP ist.
(2) Bucheinbettungen von dreifach zusammenhängenden planaren Graphen mit zwei Seiten:
Wir zeigen, dass jeder dreifach zusammenhängende planare Graph mit Maximalgrad 5 Teilgraph eines Hamiltonischen planaren Graphen ist. Dies ist äquivalent dazu, dass ein solcher Graph eine Bucheinbettung auf zwei Seiten hat. Der Beweis ist konstruktiv und zeigt in der Tat sogar, dass es für die Realisierbarkeit nur notwendig ist, den Grad von Knoten separierender 3-Kreise zu beschränken - die übrigen Knoten können beliebig hohe Grade aufweisen. Dieses Ergebnis ist bestmöglich: Wenn die Gradschranke auf 6 abgeschwächt wird, gibt es Gegenbeispiele. Diese Ergebnisse verbessern Resultate von Heath [1995] und von Bauernöppel [1987] und, unabhängig davon, Bekos, Gronemann und Raftopoulou [2016], die gezeigt haben, dass planare Graphen mit Maximalgrad 3 beziehungsweise 4 auf zwei Seiten realisiert werden können.
(3) Konvexitätssteigernde Deformationen:
Wir zeigen, dass jede planare geradlinige Zeichnung eines intern dreifach zusammenhängenden planaren Graphen stetig zu einer solchen deformiert werden kann, in der jede Fläche ein konvexes Polygon ist. Dabei erhält die Deformation die Planarität und ist konvexitätssteigernd - sobald ein Winkel konvex ist, bleibt er konvex. Wir geben einen effizienten Algorithmus an, der eine solche Deformation berechnet, die aus einer asymptotisch optimalen Anzahl von Schritten besteht. In jedem Schritt bewegen sich entweder alle Knoten entlang horizontaler oder entlang vertikaler Geraden
Planar Ramsey numbers for cycles
AbstractFor two given graphs G and H the planar Ramsey number PR(G,H) is the smallest integer n such that every planar graph F on n vertices either contains a copy of G or its complement contains a copy H. By studying the existence of subhamiltonian cycles in complements of sparse graphs, we determine all planar Ramsey numbers for pairs of cycles
Algorithms for Incremental Planar Graph Drawing and Two-page Book Embeddings
Subject of this work are two problems related to ordering the vertices
of planar graphs. The first one is concerned with the properties of
vertex-orderings that serve as a basis for incremental drawing algorithms.
Such a drawing algorithm usually extends a drawing by adding the vertices
step-by-step as provided by the ordering. In the field of graph drawing
several orderings are in use for this purpose. Some of them, however,
lack certain properties that are desirable or required for classic
incremental drawing methods. We narrow down these properties, and
introduce the bitonic st-ordering, an ordering which combines the
features only available when using canonical orderings with the flexibility
of st-orderings. The additional property of being bitonic enables an
st-ordering to be used in algorithms that usually require a canonical
ordering.
With this in mind, we describe a linear-time algorithm that computes
such an ordering for every biconnected planar graph. Unlike canonical
orderings, st-orderings extend to directed graphs, in particular planar
st-graphs. Being able to compute bitonic st-orderings for planar st-graphs
is of particular interest for upward planar drawing algorithms, since
traditional incremental algorithms for undirected planar graphs might
be adapted to directed graphs. Based on this observation, we give a
full characterization of the class of planar st-graphs that admit such
an ordering. This includes a linear-time algorithm for recognition
and ordering. Furthermore, we show that by splitting specific edges of
an instance that is not part of this class, one is able to transform
it into one for which then such an ordering exists. To do so, we describe
a linear-time algorithm for finding the smallest set of edges to split.
We show that for a planar st-graph G=(V,E), |V|−3 edge splits
are sufficient and every edge is split at most once. This immediately
translates to the number of bends required for upward planar poly-line
drawings. More specifically, we show that every planar st-graph admits
an upward planar poly-line drawing in quadratic area with at most |V|−3
bends in total and at most one bend per edge. Moreover, the drawing
can be obtained in linear time.
The second part is concerned with embedding planar graphs with maximum
degree three and four into books. Besides providing a simplified
incremental linear-time algorithm for embedding triconnected 3-planar
graphs into a book of two pages, we describe a linear-time algorithm
to compute a subhamiltonian cycle in a triconnected 4-planar graph
Universal Geometric Graphs
We introduce and study the problem of constructing geometric graphs that have
few vertices and edges and that are universal for planar graphs or for some
sub-class of planar graphs; a geometric graph is \emph{universal} for a class
of planar graphs if it contains an embedding, i.e., a
crossing-free drawing, of every graph in .
Our main result is that there exists a geometric graph with vertices and
edges that is universal for -vertex forests; this extends to
the geometric setting a well-known graph-theoretic result by Chung and Graham,
which states that there exists an -vertex graph with edges
that contains every -vertex forest as a subgraph. Our bound on
the number of edges cannot be improved, even if more than vertices are
allowed.
We also prove that, for every positive integer , every -vertex convex
geometric graph that is universal for -vertex outerplanar graphs has a
near-quadratic number of edges, namely ; this almost
matches the trivial upper bound given by the -vertex complete
convex geometric graph.
Finally, we prove that there exists an -vertex convex geometric graph with
vertices and edges that is universal for -vertex
caterpillars.Comment: 20 pages, 8 figures; a 12-page extended abstracts of this paper will
appear in the Proceedings of the 46th Workshop on Graph-Theoretic Concepts in
Computer Science (WG 2020
Heuristic crossing minimisation algorithms for the two-page drawing problem
The minimisation of edge crossings in a book drawing of a graph G is one of the
important goals for a linear VLSI design, and the two-page crossing number of a graph G provides
an upper bound for the standard planar crossing number. We propose several new heuristics for
the two-page drawing problem, and test them on benchmark test suites, Rome graphs and Random
Connected Graphs. We also test some typical graphs, and get some exact results. The results for
some circulant graphs are better than the one presented by Cimikowski. We have a conjecture for
cartesian graphs, supported by our experimental results, and provide direct methods to get optimal
solutions for 3- or 4-row meshes and Halin graphs
Book Embeddings of Nonplanar Graphs with Small Faces in Few Pages
An embedding of a graph in a book, called book embedding, consists of a linear ordering of its vertices along the spine of the book and an assignment of its edges to the pages of the book, so that no two edges on the same page cross. The book thickness of a graph is the minimum number of pages over all its book embeddings. For planar graphs, a fundamental result is due to Yannakakis, who proposed an algorithm to compute embeddings of planar graphs in books with four pages. Our main contribution is a technique that generalizes this result to a much wider family of nonplanar graphs, which is characterized by a biconnected skeleton of crossing-free edges whose faces have bounded degree. Notably, this family includes all 1-planar and all optimal 2-planar graphs as subgraphs. We prove that this family of graphs has bounded book thickness, and as a corollary, we obtain the first constant upper bound for the book thickness of optimal 2-planar graphs