3,543 research outputs found
Grid-Obstacle Representations with Connections to Staircase Guarding
In this paper, we study grid-obstacle representations of graphs where we
assign grid-points to vertices and define obstacles such that an edge exists if
and only if an -monotone grid path connects the two endpoints without
hitting an obstacle or another vertex. It was previously argued that all planar
graphs have a grid-obstacle representation in 2D, and all graphs have a
grid-obstacle representation in 3D. In this paper, we show that such
constructions are possible with significantly smaller grid-size than previously
achieved. Then we study the variant where vertices are not blocking, and show
that then grid-obstacle representations exist for bipartite graphs. The latter
has applications in so-called staircase guarding of orthogonal polygons; using
our grid-obstacle representations, we show that staircase guarding is
\textsc{NP}-hard in 2D.Comment: To appear in the proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
3D Visibility Representations of 1-planar Graphs
We prove that every 1-planar graph G has a z-parallel visibility
representation, i.e., a 3D visibility representation in which the vertices are
isothetic disjoint rectangles parallel to the xy-plane, and the edges are
unobstructed z-parallel visibilities between pairs of rectangles. In addition,
the constructed representation is such that there is a plane that intersects
all the rectangles, and this intersection defines a bar 1-visibility
representation of G.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer
Let be an -node planar graph. In a visibility representation of ,
each node of is represented by a horizontal line segment such that the line
segments representing any two adjacent nodes of are vertically visible to
each other. In the present paper we give the best known compact visibility
representation of . Given a canonical ordering of the triangulated , our
algorithm draws the graph incrementally in a greedy manner. We show that one of
three canonical orderings obtained from Schnyder's realizer for the
triangulated yields a visibility representation of no wider than
. Our easy-to-implement O(n)-time algorithm bypasses the
complicated subroutines for four-connected components and four-block trees
required by the best previously known algorithm of Kant. Our result provides a
negative answer to Kant's open question about whether is a
worst-case lower bound on the required width. Also, if has no degree-three
(respectively, degree-five) internal node, then our visibility representation
for is no wider than (respectively, ).
Moreover, if is four-connected, then our visibility representation for
is no wider than , matching the best known result of Kant and He. As a
by-product, we obtain a much simpler proof for a corollary of Wagner's Theorem
on realizers, due to Bonichon, Sa\"{e}c, and Mosbah.Comment: 11 pages, 6 figures, the preliminary version of this paper is to
appear in Proceedings of the 20th Annual Symposium on Theoretical Aspects of
Computer Science (STACS), Berlin, Germany, 200
Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs
A graph is called a strong (resp. weak) bar 1-visibility graph if its
vertices can be represented as horizontal segments (bars) in the plane so that
its edges are all (resp. a subset of) the pairs of vertices whose bars have a
-thick vertical line connecting them that intersects at most one
other bar.
We explore the relation among weak (resp. strong) bar 1-visibility graphs and
other nearly planar graph classes. In particular, we study their relation to
1-planar graphs, which have a drawing with at most one crossing per edge;
quasi-planar graphs, which have a drawing with no three mutually crossing
edges; the squares of planar 1-flow networks, which are upward digraphs with
in- or out-degree at most one. Our main results are that 1-planar graphs and
the (undirected) squares of planar 1-flow networks are weak bar 1-visibility
graphs and that these are quasi-planar graphs
On Visibility Representations of Non-planar Graphs
A rectangle visibility representation (RVR) of a graph consists of an
assignment of axis-aligned rectangles to vertices such that for every edge
there exists a horizontal or vertical line of sight between the rectangles
assigned to its endpoints. Testing whether a graph has an RVR is known to be
NP-hard. In this paper, we study the problem of finding an RVR under the
assumption that an embedding in the plane of the input graph is fixed and we
are looking for an RVR that reflects this embedding. We show that in this case
the problem can be solved in polynomial time for general embedded graphs and in
linear time for 1-plane graphs (i.e., embedded graphs having at most one
crossing per edge). The linear time algorithm uses a precise list of forbidden
configurations, which extends the set known for straight-line drawings of
1-plane graphs. These forbidden configurations can be tested for in linear
time, and so in linear time we can test whether a 1-plane graph has an RVR and
either compute such a representation or report a negative witness. Finally, we
discuss some extensions of our study to the case when the embedding is not
fixed but the RVR can have at most one crossing per edge
- …