2,039 research outputs found
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
Simultaneous Embeddability of Two Partitions
We study the simultaneous embeddability of a pair of partitions of the same
underlying set into disjoint blocks. Each element of the set is mapped to a
point in the plane and each block of either of the two partitions is mapped to
a region that contains exactly those points that belong to the elements in the
block and that is bounded by a simple closed curve. We establish three main
classes of simultaneous embeddability (weak, strong, and full embeddability)
that differ by increasingly strict well-formedness conditions on how different
block regions are allowed to intersect. We show that these simultaneous
embeddability classes are closely related to different planarity concepts of
hypergraphs. For each embeddability class we give a full characterization. We
show that (i) every pair of partitions has a weak simultaneous embedding, (ii)
it is NP-complete to decide the existence of a strong simultaneous embedding,
and (iii) the existence of a full simultaneous embedding can be tested in
linear time.Comment: 17 pages, 7 figures, extended version of a paper to appear at GD 201
Planarity of Streamed Graphs
In this paper we introduce a notion of planarity for graphs that are
presented in a streaming fashion. A is a stream of
edges on a vertex set . A streamed graph is
- with respect to a positive integer window
size if there exists a sequence of planar topological drawings
of the graphs such that
the common graph is drawn the same in
and in , for . The Problem with window size asks whether a given streamed
graph is -stream planar. We also consider a generalization, where there
is an additional whose edges have to be present
during each time step. These problems are related to several well-studied
planarity problems.
We show that the Problem is NP-complete even when
the window size is a constant and that the variant with a backbone graph is
NP-complete for all . On the positive side, we provide
-time algorithms for (i) the case and (ii) all
values of provided the backbone graph consists of one -connected
component plus isolated vertices and no stream edge connects two isolated
vertices. Our results improve on the Hanani-Tutte-style -time
algorithm proposed by Schaefer [GD'14] for .Comment: 21 pages, 9 figures, extended version of "Planarity of Streamed
Graphs" (9th International Conference on Algorithms and Complexity, 2015
- …