845 research outputs found
Computing k-Modal Embeddings of Planar Digraphs
Given a planar digraph G and a positive even integer k, an embedding of G in the plane is k-modal, if every vertex of G is incident to at most k pairs of consecutive edges with opposite orientations, i.e., the incoming and the outgoing edges at each vertex are grouped by the embedding into at most k sets of consecutive edges with the same orientation. In this paper, we study the k-Modality problem, which asks for the existence of a k-modal embedding of a planar digraph. This combinatorial problem is at the very core of a variety of constrained embedding questions for planar digraphs and flat clustered networks.
First, since the 2-Modality problem can be easily solved in linear time, we consider the general k-Modality problem for any value of k>2 and show that the problem is NP-complete for planar digraphs of maximum degree Delta <= k+3. We relate its computational complexity to that of two notions of planarity for flat clustered networks: Planar Intersection-Link and Planar NodeTrix representations. This allows us to answer in the strongest possible way an open question by Di Giacomo [https://doi.org/10.1007/978-3-319-73915-1_37], concerning the complexity of constructing planar NodeTrix representations of flat clustered networks with small clusters, and to address a research question by Angelini et al. [https://doi.org/10.7155/jgaa.00437], concerning intersection-link representations based on geometric objects that determine complex arrangements. On the positive side, we provide a simple FPT algorithm for partial 2-trees of arbitrary degree, whose running time is exponential in k and linear in the input size. Second, motivated by the recently-introduced planar L-drawings of planar digraphs [https://doi.org/10.1007/978-3-319-73915-1_36], which require the computation of a 4-modal embedding, we focus our attention on k=4. On the algorithmic side, we show a complexity dichotomy for the 4-Modality problem with respect to Delta, by providing a linear-time algorithm for planar digraphs with Delta <= 6. This algorithmic result is based on decomposing the input digraph into its blocks via BC-trees and each of these blocks into its triconnected components via SPQR-trees. In particular, we are able to show that the constraints imposed on the embedding by the rigid triconnected components can be tackled by means of a small set of reduction rules and discover that the algorithmic core of the problem lies in special instances of NAESAT, which we prove to be always NAE-satisfiable - a result of independent interest that improves on Porschen et al. [https://doi.org/10.1007/978-3-540-24605-3_14]. Finally, on the combinatorial side, we consider outerplanar digraphs and show that any such a digraph always admits a k-modal embedding with k=4 and that this value of k is best possible for the digraphs in this family
Small Superpatterns for Dominance Drawing
We exploit the connection between dominance drawings of directed acyclic
graphs and permutations, in both directions, to provide improved bounds on the
size of universal point sets for certain types of dominance drawing and on
superpatterns for certain natural classes of permutations. In particular we
show that there exist universal point sets for dominance drawings of the Hasse
diagrams of width-two partial orders of size O(n^{3/2}), universal point sets
for dominance drawings of st-outerplanar graphs of size O(n\log n), and
universal point sets for dominance drawings of directed trees of size O(n^2).
We show that 321-avoiding permutations have superpatterns of size O(n^{3/2}),
riffle permutations (321-, 2143-, and 2413-avoiding permutations) have
superpatterns of size O(n), and the concatenations of sequences of riffles and
their inverses have superpatterns of size O(n\log n). Our analysis includes a
calculation of the leading constants in these bounds.Comment: ANALCO 2014, This version fixes an error in the leading constant of
the 321-superpattern siz
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
Improved Bounds for Drawing Trees on Fixed Points with L-shaped Edges
Let be an -node tree of maximum degree 4, and let be a set of
points in the plane with no two points on the same horizontal or vertical line.
It is an open question whether always has a planar drawing on such that
each edge is drawn as an orthogonal path with one bend (an "L-shaped" edge). By
giving new methods for drawing trees, we improve the bounds on the size of the
point set for which such drawings are possible to: for
maximum degree 4 trees; for maximum degree 3 (binary) trees; and
for perfect binary trees.
Drawing ordered trees with L-shaped edges is harder---we give an example that
cannot be done and a bound of points for L-shaped drawings of
ordered caterpillars, which contrasts with the known linear bound for unordered
caterpillars.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
On Universal Point Sets for Planar Graphs
A set P of points in R^2 is n-universal, if every planar graph on n vertices
admits a plane straight-line embedding on P. Answering a question by Kobourov,
we show that there is no n-universal point set of size n, for any n>=15.
Conversely, we use a computer program to show that there exist universal point
sets for all n<=10 and to enumerate all corresponding order types. Finally, we
describe a collection G of 7'393 planar graphs on 35 vertices that do not admit
a simultaneous geometric embedding without mapping, that is, no set of 35
points in the plane supports a plane straight-line embedding of all graphs in
G.Comment: Fixed incorrect numbers of universal point sets in the last par
The Complexity of Simultaneous Geometric Graph Embedding
Given a collection of planar graphs on the same set of
vertices, the simultaneous geometric embedding (with mapping) problem, or
simply -SGE, is to find a set of points in the plane and a bijection
such that the induced straight-line drawings of
under are all plane.
This problem is polynomial-time equivalent to weak rectilinear realizability
of abstract topological graphs, which Kyn\v{c}l (doi:10.1007/s00454-010-9320-x)
proved to be complete for , the existential theory of the
reals. Hence the problem -SGE is polynomial-time equivalent to several other
problems in computational geometry, such as recognizing intersection graphs of
line segments or finding the rectilinear crossing number of a graph.
We give an elementary reduction from the pseudoline stretchability problem to
-SGE, with the property that both numbers and are linear in the
number of pseudolines. This implies not only the -hardness
result, but also a lower bound on the minimum size of a
grid on which any such simultaneous embedding can be drawn. This bound is
tight. Hence there exists such collections of graphs that can be simultaneously
embedded, but every simultaneous drawing requires an exponential number of bits
per coordinates. The best value that can be extracted from Kyn\v{c}l's proof is
only
The Partial Visibility Representation Extension Problem
For a graph , a function is called a \emph{bar visibility
representation} of when for each vertex , is a
horizontal line segment (\emph{bar}) and iff there is an
unobstructed, vertical, -wide line of sight between and
. Graphs admitting such representations are well understood (via
simple characterizations) and recognizable in linear time. For a directed graph
, a bar visibility representation of , additionally, puts the bar
strictly below the bar for each directed edge of
. We study a generalization of the recognition problem where a function
defined on a subset of is given and the question is whether
there is a bar visibility representation of with for every . We show that for undirected graphs this problem
together with closely related problems are \NP-complete, but for certain cases
involving directed graphs it is solvable in polynomial time.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
- …