57 research outputs found
On Smooth Orthogonal and Octilinear Drawings: Relations, Complexity and Kandinsky Drawings
We study two variants of the well-known orthogonal drawing model: (i) the
smooth orthogonal, and (ii) the octilinear. Both models form an extension of
the orthogonal, by supporting one additional type of edge segments (circular
arcs and diagonal segments, respectively).
For planar graphs of max-degree 4, we analyze relationships between the graph
classes that can be drawn bendless in the two models and we also prove
NP-hardness for a restricted version of the bendless drawing problem for both
models. For planar graphs of higher degree, we present an algorithm that
produces bi-monotone smooth orthogonal drawings with at most two segments per
edge, which also guarantees a linear number of edges with exactly one segment.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Computing Storyline Visualizations with Few Block Crossings
Storyline visualizations show the structure of a story, by depicting the
interactions of the characters over time. Each character is represented by an
x-monotone curve from left to right, and a meeting is represented by having the
curves of the participating characters run close together for some time. There
have been various approaches to drawing storyline visualizations in an
automated way. In order to keep the visual complexity low, rather than
minimizing pairwise crossings of curves, we count block crossings, that is,
pairs of intersecting bundles of lines.
Partly inspired by the ILP-based approach of Gronemann et al. [GD 2016] for
minimizing the number of pairwise crossings, we model the problem as a
satisfiability problem (since the straightforward ILP formulation becomes more
complicated and harder to solve). Having restricted ourselves to a decision
problem, we can apply powerful SAT solvers to find optimal drawings in
reasonable time. We compare this SAT-based approach with two exact algorithms
for block crossing minimization, using both the benchmark instances of
Gronemann et al. and random instances. We show that the SAT approach is
suitable for real-world instances and identify cases where the other algorithms
are preferable.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Planar Drawings of Fixed-Mobile Bigraphs
A fixed-mobile bigraph G is a bipartite graph such that the vertices of one
partition set are given with fixed positions in the plane and the mobile
vertices of the other part, together with the edges, must be added to the
drawing. We assume that G is planar and study the problem of finding, for a
given k >= 0, a planar poly-line drawing of G with at most k bends per edge. In
the most general case, we show NP-hardness. For k=0 and under additional
constraints on the positions of the fixed or mobile vertices, we either prove
that the problem is polynomial-time solvable or prove that it belongs to NP.
Finally, we present a polynomial-time testing algorithm for a certain type of
"layered" 1-bend drawings
Mixed Linear Layouts of Planar Graphs
A -stack (respectively, -queue) layout of a graph consists of a total
order of the vertices, and a partition of the edges into sets of
non-crossing (non-nested) edges with respect to the vertex ordering. In 1992,
Heath and Rosenberg conjectured that every planar graph admits a mixed
-stack -queue layout in which every edge is assigned to a stack or to a
queue that use a common vertex ordering.
We disprove this conjecture by providing a planar graph that does not have
such a mixed layout. In addition, we study mixed layouts of graph subdivisions,
and show that every planar graph has a mixed subdivision with one division
vertex per edge.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Compact Drawings of 1-Planar Graphs with Right-Angle Crossings and Few Bends
We study the following classes of beyond-planar graphs: 1-planar, IC-planar,
and NIC-planar graphs. These are the graphs that admit a 1-planar, IC-planar,
and NIC-planar drawing, respectively. A drawing of a graph is 1-planar if every
edge is crossed at most once. A 1-planar drawing is IC-planar if no two pairs
of crossing edges share a vertex. A 1-planar drawing is NIC-planar if no two
pairs of crossing edges share two vertices. We study the relations of these
beyond-planar graph classes (beyond-planar graphs is a collective term for the
primary attempts to generalize the planar graphs) to right-angle crossing (RAC)
graphs that admit compact drawings on the grid with few bends. We present four
drawing algorithms that preserve the given embeddings. First, we show that
every -vertex NIC-planar graph admits a NIC-planar RAC drawing with at most
one bend per edge on a grid of size . Then, we show that
every -vertex 1-planar graph admits a 1-planar RAC drawing with at most two
bends per edge on a grid of size . Finally, we make two
known algorithms embedding-preserving; for drawing 1-planar RAC graphs with at
most one bend per edge and for drawing IC-planar RAC graphs straight-line
-Stars or On Extending a Drawing of a Connected Subgraph
We consider the problem of extending the drawing of a subgraph of a given
plane graph to a drawing of the entire graph using straight-line and polyline
edges. We define the notion of star complexity of a polygon and show that a
drawing of an induced connected subgraph can be extended with at
most bends per edge, where is the
largest star complexity of a face of and is the size of the
largest face of . This result significantly improves the previously known
upper bound of [5] for the case where is connected. We also show
that our bound is worst case optimal up to a small additive constant.
Additionally, we provide an indication of complexity of the problem of testing
whether a star-shaped inner face can be extended to a straight-line drawing of
the graph; this is in contrast to the fact that the same problem is solvable in
linear time for the case of star-shaped outer face [9] and convex inner face
[13].Comment: Appears in the Proceedings of the 26th International Symposium on
Graph Drawing and Network Visualization (GD 2018
Confluent Orthogonal Drawings of Syntax Diagrams
We provide a pipeline for generating syntax diagrams (also called railroad
diagrams) from context free grammars. Syntax diagrams are a graphical
representation of a context free language, which we formalize abstractly as a
set of mutually recursive nondeterministic finite automata and draw by
combining elements from the confluent drawing, layered drawing, and smooth
orthogonal drawing styles. Within our pipeline we introduce several heuristics
that modify the grammar but preserve the language, improving the aesthetics of
the final drawing.Comment: GD 201
Planar L-Drawings of Directed Graphs
We study planar drawings of directed graphs in the L-drawing standard. We
provide necessary conditions for the existence of these drawings and show that
testing for the existence of a planar L-drawing is an NP-complete problem.
Motivated by this result, we focus on upward-planar L-drawings. We show that
directed st-graphs admitting an upward- (resp. upward-rightward-) planar
L-drawing are exactly those admitting a bitonic (resp. monotonically
increasing) st-ordering. We give a linear-time algorithm that computes a
bitonic (resp. monotonically increasing) st-ordering of a planar st-graph or
reports that there exists none.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Stack and Queue Layouts via Layered Separators
It is known that every proper minor-closed class of graphs has bounded
stack-number (a.k.a. book thickness and page number). While this includes
notable graph families such as planar graphs and graphs of bounded genus, many
other graph families are not closed under taking minors. For fixed and ,
we show that every -vertex graph that can be embedded on a surface of genus
with at most crossings per edge has stack-number ;
this includes -planar graphs. The previously best known bound for the
stack-number of these families was , except in the case
of -planar graphs. Analogous results are proved for map graphs that can be
embedded on a surface of fixed genus. None of these families is closed under
taking minors. The main ingredient in the proof of these results is a
construction proving that -vertex graphs that admit constant layered
separators have stack-number.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
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
- …