23 research outputs found
Upward Three-Dimensional Grid Drawings of Graphs
A \emph{three-dimensional grid drawing} of a graph is a placement of the
vertices at distinct points with integer coordinates, such that the straight
line segments representing the edges do not cross. Our aim is to produce
three-dimensional grid drawings with small bounding box volume. We prove that
every -vertex graph with bounded degeneracy has a three-dimensional grid
drawing with volume. This is the broadest class of graphs admiting
such drawings. A three-dimensional grid drawing of a directed graph is
\emph{upward} if every arc points up in the z-direction. We prove that every
directed acyclic graph has an upward three-dimensional grid drawing with
volume, which is tight for the complete dag. The previous best upper
bound was . Our main result is that every -colourable directed
acyclic graph ( constant) has an upward three-dimensional grid drawing with
volume. This result matches the bound in the undirected case, and
improves the best known bound from for many classes of directed
acyclic graphs, including planar, series parallel, and outerplanar
On Families of Planar DAGs with Constant Stack Number
A -stack layout (or -page book embedding) of a graph consists of a
total order of the vertices, and a partition of the edges into sets of
non-crossing edges with respect to the vertex order. The stack number of a
graph is the minimum such that it admits a -stack layout.
In this paper we study a long-standing problem regarding the stack number of
planar directed acyclic graphs (DAGs), for which the vertex order has to
respect the orientation of the edges. We investigate upper and lower bounds on
the stack number of several families of planar graphs: We prove constant upper
bounds on the stack number of single-source and monotone outerplanar DAGs and
of outerpath DAGs, and improve the constant upper bound for upward planar
3-trees. Further, we provide computer-aided lower bounds for upward (outer-)
planar DAGs
Directed Acyclic Outerplanar Graphs Have Constant Stack Number
The stack number of a directed acyclic graph is the minimum for which
there is a topological ordering of and a -coloring of the edges such
that no two edges of the same color cross, i.e., have alternating endpoints
along the topological ordering. We prove that the stack number of directed
acyclic outerplanar graphs is bounded by a constant, which gives a positive
answer to a conjecture by Heath, Pemmaraju and Trenk [SIAM J. Computing, 1999].
As an immediate consequence, this shows that all upward outerplanar graphs have
constant stack number, answering a question by Bhore et al. [GD 2021] and
thereby making significant progress towards the problem for general upward
planar graphs originating from Nowakowski and Parker [Order, 1989]. As our main
tool we develop the novel technique of directed -partitions, which might be
of independent interest. We complement the bounded stack number for directed
acyclic outerplanar graphs by constructing a family of directed acyclic 2-trees
that have unbounded stack number, thereby refuting a conjecture by N\"ollenburg
and Pupyrev [arXiv:2107.13658, 2021]
Upward Point-Set Embeddability
We study the problem of Upward Point-Set Embeddability, that is the problem
of deciding whether a given upward planar digraph has an upward planar
embedding into a point set . We show that any switch tree admits an upward
planar straight-line embedding into any convex point set. For the class of
-switch trees, that is a generalization of switch trees (according to this
definition a switch tree is a -switch tree), we show that not every
-switch tree admits an upward planar straight-line embedding into any convex
point set, for any . Finally we show that the problem of Upward
Point-Set Embeddability is NP-complete
Upward planar drawings with two slopes
In an upward planar 2-slope drawing of a digraph, edges are drawn as
straight-line segments in the upward direction without crossings using only two
different slopes. We investigate whether a given upward planar digraph admits
such a drawing and, if so, how to construct it. For the fixed embedding
scenario, we give a simple characterisation and a linear-time construction by
adopting algorithms from orthogonal drawings. For the variable embedding
scenario, we describe a linear-time algorithm for single-source digraphs, a
quartic-time algorithm for series-parallel digraphs, and a fixed-parameter
tractable algorithm for general digraphs. For the latter two classes, we make
use of SPQR-trees and the notion of upward spirality. As an application of this
drawing style, we show how to draw an upward planar phylogenetic network with
two slopes such that all leaves lie on a horizontal line
Multilevel Planarity
In this paper, we introduce and study multilevel planarity, a generalization of upward planarity and level planarity. Let be a directed graph and let be a function that assigns a finite set of integers to each vertex. A multilevel-planar drawing of is a planar drawing of such that for each vertex its -coordinate is in , nd each edge is drawn as a strictly -monotone curve. We present linear-time algorithms for testing multilevel planarity of embedded graphs with a single source and of oriented cycles. Complementing these algorithmic results, we show that multilevel-planarity testing is NP-complete even in very restricted cases
Vertex Disjoint Path in Upward Planar Graphs
The -vertex disjoint paths problem is one of the most studied problems in
algorithmic graph theory. In 1994, Schrijver proved that the problem can be
solved in polynomial time for every fixed when restricted to the class of
planar digraphs and it was a long standing open question whether it is
fixed-parameter tractable (with respect to parameter ) on this restricted
class. Only recently, \cite{CMPP}.\ achieved a major breakthrough and answered
the question positively. Despite the importance of this result (and the
brilliance of their proof), it is of rather theoretical importance. Their proof
technique is both technically extremely involved and also has at least double
exponential parameter dependence. Thus, it seems unrealistic that the algorithm
could actually be implemented. In this paper, therefore, we study a smaller
class of planar digraphs, the class of upward planar digraphs, a well studied
class of planar graphs which can be drawn in a plane such that all edges are
drawn upwards. We show that on the class of upward planar digraphs the problem
(i) remains NP-complete and (ii) the problem is fixed-parameter tractable.
While membership in FPT follows immediately from \cite{CMPP}'s general result,
our algorithm has only single exponential parameter dependency compared to the
double exponential parameter dependence for general planar digraphs.
Furthermore, our algorithm can easily be implemented, in contrast to the
algorithm in \cite{CMPP}.Comment: 14 page
Upward Book Embeddings of st-Graphs
We study k-page upward book embeddings (kUBEs) of st-graphs, that is, book embeddings of single-source single-sink directed acyclic graphs on k pages with the additional requirement that the vertices of the graph appear in a topological ordering along the spine of the book. We show that testing whether a graph admits a kUBE is NP-complete for k >= 3. A hardness result for this problem was previously known only for k = 6 [Heath and Pemmaraju, 1999]. Motivated by this negative result, we focus our attention on k=2. On the algorithmic side, we present polynomial-time algorithms for testing the existence of 2UBEs of planar st-graphs with branchwidth b and of plane st-graphs whose faces have a special structure. These algorithms run in O(f(b)* n+n^3) time and O(n) time, respectively, where f is a singly-exponential function on b. Moreover, on the combinatorial side, we present two notable families of plane st-graphs that always admit an embedding-preserving 2UBE
Four Pages Are Indeed Necessary for Planar Graphs
An embedding of a graph in a book consists of a linear order of its vertices
along the spine of the book and of 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. Accordingly,
the book thickness of a class of graphs is the maximum book thickness over all
its members. In this paper, we address a long-standing open problem regarding
the exact book thickness of the class of planar graphs, which previously was
known to be either three or four. We settle this problem by demonstrating
planar graphs that require four pages in any of their book embeddings, thus
establishing that the book thickness of the class of planar graphs is four
Planare Graphen und ihre Dualgraphen auf Zylinderoberflächen
In this thesis, we investigates plane drawings of undirected and directed graphs on cylinder surfaces. In the case of undirected graphs, the vertices are positioned on a line that is parallel to the cylinder’s axis and the edge curves must not intersect this line. We show that a plane drawing is possible if and only if the graph is a double-ended queue (deque) graph, i. e., the vertices of the graph can be processed according to a linear order and the edges correspond to items in the deque inserted and removed at their end vertices. A surprising consequence resulting from these observations is that the deque characterizes planar graphs with a Hamiltonian path. This result extends the known characterization of planar graphs with a Hamiltonian cycle by two stacks. By these insights, we also obtain a new characterization of queue graphs and their duals. We also consider the complexity of deciding whether a graph is a deque graph and prove that it is NP-complete. By introducing a split operation, we obtain the splittable deque and show that it characterizes planarity. For the proof, we devise an algorithm that uses the splittable deque to test whether a rotation system is planar. In the case of directed graphs, we study upward plane drawings where the edge curves follow the direction of the cylinder’s axis (standing upward planarity; SUP) or they wind around the axis (rolling upward planarity; RUP). We characterize RUP graphs by means of their duals and show that RUP and SUP swap their roles when considering a graph and its dual. There is a physical interpretation underlying this characterization: A SUP graph is to its RUP dual graph as electric current passing through a conductor to the magnetic field surrounding the conductor. Whereas testing whether a graph is RUP is NP-hard in general [Bra14], for directed graphs without sources and sink, we develop a linear-time recognition algorithm that is based on our dual graph characterization of RUP graphs.Die Arbeit beschäftigt sich mit planaren Zeichnungen ungerichteter und gerichteter Graphen auf Zylinderoberflächen. Im ungerichteten Fall werden Zeichnungen betrachtet, bei denen die Knoten auf einer Linie parallel zur Zylinderachse positioniert werden und die Kanten diese Linie nicht schneiden dürfen. Es kann gezeigt werden, dass eine planare Zeichnung genau dann möglich ist, wenn die Kanten des Graphen in einer double-ended queue (Deque) verarbeitet werden können. Ebenso lassen sich dadurch Queue, Stack und Doppelstack charakterisieren. Eine überraschende Konsequenz aus diesen Erkenntnissen ist, dass die Deque genau die planaren Graphen mit Hamiltonpfad charakterisiert. Dies erweitert die bereits bekannte Charakterisierung planarer Graphen mit Hamiltonkreis durch den Doppelstack. Im gerichteten Fall müssen die Kantenkurven entweder in Richtung der Zylinderachse verlaufen (SUP-Graphen) oder sich um die Achse herumbewegen (RUP-Graphen). Die Arbeit charakterisiert RUP-Graphen und zeigt, dass RUP und SUP ihre Rollen tauschen, wenn man Graph und Dualgraph betrachtet. Der SUP-Graph verhält sich dabei zum RUP-Graphen wie elektrischer Strom durch einen Leiter zum induzierten Magnetfeld. Ausgehend von dieser Charakterisierung ist es möglich einen Linearzeit-Algorithmus zu entwickeln, der entscheidet ob ein gerichteter Graph ohne Quellen und Senken ein RUP-Graph ist, während der allgemeine Fall NP-hart ist [Bra14]