26,683 research outputs found
Optimal Morphs of Convex Drawings
We give an algorithm to compute a morph between any two convex drawings of
the same plane graph. The morph preserves the convexity of the drawing at any
time instant and moves each vertex along a piecewise linear curve with linear
complexity. The linear bound is asymptotically optimal in the worst case.Comment: To appear in SoCG 201
Aligned Drawings of Planar Graphs
Let be a graph that is topologically embedded in the plane and let
be an arrangement of pseudolines intersecting the drawing of .
An aligned drawing of and is a planar polyline drawing
of with an arrangement of lines so that and are
homeomorphic to and . We show that if is
stretchable and every edge either entirely lies on a pseudoline or it has
at most one intersection with , then and have a
straight-line aligned drawing. In order to prove this result, we strengthen a
result of Da Lozzo et al., and prove that a planar graph and a single
pseudoline have an aligned drawing with a prescribed convex
drawing of the outer face. We also study the less restrictive version of the
alignment problem with respect to one line, where only a set of vertices is
given and we need to determine whether they can be collinear. We show that the
problem is NP-complete but fixed-parameter tractable.Comment: Preliminary work appeared in the Proceedings of the 25th
International Symposium on Graph Drawing and Network Visualization (GD 2017
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
Euclidean Greedy Drawings of Trees
Greedy embedding (or drawing) is a simple and efficient strategy to route
messages in wireless sensor networks. For each source-destination pair of nodes
s, t in a greedy embedding there is always a neighbor u of s that is closer to
t according to some distance metric. The existence of greedy embeddings in the
Euclidean plane R^2 is known for certain graph classes such as 3-connected
planar graphs. We completely characterize the trees that admit a greedy
embedding in R^2. This answers a question by Angelini et al. (Graph Drawing
2009) and is a further step in characterizing the graphs that admit Euclidean
greedy embeddings.Comment: Expanded version of a paper to appear in the 21st European Symposium
on Algorithms (ESA 2013). 24 pages, 20 figure
Simultaneous Embeddings with Few Bends and Crossings
A simultaneous embedding with fixed edges (SEFE) of two planar graphs and
is a pair of plane drawings of and that coincide when restricted to
the common vertices and edges of and . We show that whenever and
admit a SEFE, they also admit a SEFE in which every edge is a polygonal curve
with few bends and every pair of edges has few crossings. Specifically: (1) if
and are trees then one bend per edge and four crossings per edge pair
suffice (and one bend per edge is sometimes necessary), (2) if is a planar
graph and is a tree then six bends per edge and eight crossings per edge
pair suffice, and (3) if and are planar graphs then six bends per edge
and sixteen crossings per edge pair suffice. Our results improve on a paper by
Grilli et al. (GD'14), which proves that nine bends per edge suffice, and on a
paper by Chan et al. (GD'14), which proves that twenty-four crossings per edge
pair suffice.Comment: Full version of the paper "Simultaneous Embeddings with Few Bends and
Crossings" accepted at GD '1
Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable Regions
A greedily routable region (GRR) is a closed subset of , in
which each destination point can be reached from each starting point by
choosing the direction with maximum reduction of the distance to the
destination in each point of the path.
Recently, Tan and Kermarrec proposed a geographic routing protocol for dense
wireless sensor networks based on decomposing the network area into a small
number of interior-disjoint GRRs. They showed that minimum decomposition is
NP-hard for polygons with holes.
We consider minimum GRR decomposition for plane straight-line drawings of
graphs. Here, GRRs coincide with self-approaching drawings of trees, a drawing
style which has become a popular research topic in graph drawing. We show that
minimum decomposition is still NP-hard for graphs with cycles, but can be
solved optimally for trees in polynomial time. Additionally, we give a
2-approximation for simple polygons, if a given triangulation has to be
respected.Comment: full version of a paper appearing in ISAAC 201
Isomorphisms of spaces for linear graphs
We show that among compact subsets of the plane which are drawings of linear
graphs, two sets and are homeomorphic if and only if the
corresponding spaces of absolutely continuous functions (in the sense of Ashton
and Doust) are isomorphic as Banach algebras. This gives an analogue for this
class of sets to the well-known result of Gelfand and Kolmogorov for
spaces.Comment: 18 pages. Minor revisions. To appear in Adv. Oper, Theor
Ordered Level Planarity, Geodesic Planarity and Bi-Monotonicity
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.
Geodesic Planarity 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 polygonal path composed of line segments with two adjacent
directions from a given set of directions symmetric with respect to the
origin. Our results on Ordered Level Planarity imply -hardness for any
with even if the given graph is a matching. Katz, Krug, Rutter and
Wolff claimed that for matchings Manhattan Geodesic Planarity, the case where
contains precisely the horizontal and vertical directions, can be solved in
polynomial time [GD'09]. Our results imply that this is incorrect unless
. Our reduction extends to settle the complexity of the Bi-Monotonicity
problem, which was proposed by Fulek, Pelsmajer, Schaefer and
\v{S}tefankovi\v{c}.
Ordered Level Planarity turns out to be a special case of T-Level Planarity,
Clustered Level Planarity and Constrained Level Planarity. Thus, our results
strengthen previous hardness results. In particular, our reduction to Clustered
Level Planarity generates instances with only two non-trivial clusters. This
answers a question posed by Angelini, Da Lozzo, Di Battista, Frati and Roselli.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Pixel and Voxel Representations of Graphs
We study contact representations for graphs, which we call pixel
representations in 2D and voxel representations in 3D. Our representations are
based on the unit square grid whose cells we call pixels in 2D and voxels in
3D. Two pixels are adjacent if they share an edge, two voxels if they share a
face. We call a connected set of pixels or voxels a blob. Given a graph, we
represent its vertices by disjoint blobs such that two blobs contain adjacent
pixels or voxels if and only if the corresponding vertices are adjacent. We are
interested in the size of a representation, which is the number of pixels or
voxels it consists of.
We first show that finding minimum-size representations is NP-complete. Then,
we bound representation sizes needed for certain graph classes. In 2D, we show
that, for -outerplanar graphs with vertices, pixels are
always sufficient and sometimes necessary. In particular, outerplanar graphs
can be represented with a linear number of pixels, whereas general planar
graphs sometimes need a quadratic number. In 3D, voxels are
always sufficient and sometimes necessary for any -vertex graph. We improve
this bound to for graphs of treewidth and to
for graphs of genus . In particular, planar graphs
admit representations with voxels
- …