-
Reachability of turn sequences
Authors:
William S. Evans,
Noushin Saeedi,
Chan-Su Shin,
Hyun Tark
Abstract:
A turn sequence of left and right turns is realized as a simple rectilinear chain of integral segments whose turns at its bends are the same as the turn sequence. The chain starts from the origin and ends at some point which we call a reachable point of the turn sequence. We investigate the combinatorial and geometric properties of the set of reachable points of a given turn sequence such as the s…
▽ More
A turn sequence of left and right turns is realized as a simple rectilinear chain of integral segments whose turns at its bends are the same as the turn sequence. The chain starts from the origin and ends at some point which we call a reachable point of the turn sequence. We investigate the combinatorial and geometric properties of the set of reachable points of a given turn sequence such as the shape, connectedness, and sufficient and necessary conditions on the reachability to the four signed axes. We also prove the upper and lower bounds on the maximum distance from the origin to the closest reachable point on signed axes for a turn sequence. The bounds are expressed in terms of the difference between the number of left and right turns in the sequence as well as, in certain cases, the length of the maximal monotone prefix or suffix of the turn sequence. The bounds are exactly matched or tight within additive constants for some signed axes.
△ Less
Submitted 21 March, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Simultaneous Visibility Representations of Undirected Pairs of Graphs
Authors:
Ben Chugg,
William S. Evans,
Kelvin Wong
Abstract:
We consider the problem of determining if a pair of undirected graphs $\langle G_\mathsf{V}, G_\mathsf{H} \rangle$, which share the same vertex set, has a representation using opaque geometric shapes for vertices, and vertical/horizontal visibility between shapes to determine the edges of $G_\mathsf{V}$/$G_\mathsf{H}$. While such a simultaneous visibility representation of two graphs can be determ…
▽ More
We consider the problem of determining if a pair of undirected graphs $\langle G_\mathsf{V}, G_\mathsf{H} \rangle$, which share the same vertex set, has a representation using opaque geometric shapes for vertices, and vertical/horizontal visibility between shapes to determine the edges of $G_\mathsf{V}$/$G_\mathsf{H}$. While such a simultaneous visibility representation of two graphs can be determined efficiently if the direction of the required visibility for each edge is provided (and the vertex shapes are sufficiently simple), it was unclear if edge direction is critical for efficiency. We show that the problem is $\mathsf{NP}$-complete without that information, even for graphs that are only slightly more complex than paths. In addition, we characterize which pairs of paths have simultaneous visibility representations using fixed orientation L-shapes. This narrows the range of possible graph families for which determining simultaneous visibility representation is non-trivial yet not $\mathsf{NP}$-hard.
△ Less
Submitted 25 May, 2021; v1 submitted 2 May, 2020;
originally announced May 2020.
-
New Results on Edge Partitions of 1-plane Graphs
Authors:
Emilio Di Giacomo,
Walter Didimo,
William S. Evans,
Giuseppe Liotta,
Henk Meijer,
Fabrizio Montecchiani,
Stephen K. Wismath
Abstract:
A $1$-plane graph is a graph embedded in the plane such that each edge is crossed at most once. A NIC-plane graph is a $1$-plane graph such that any two pairs of crossing edges share at most one end-vertex. An edge partition of a $1$-plane graph $G$ is a coloring of the edges of $G$ with two colors, red and blue, such that both the graph induced by the red edges and the graph induced by the blue e…
▽ More
A $1$-plane graph is a graph embedded in the plane such that each edge is crossed at most once. A NIC-plane graph is a $1$-plane graph such that any two pairs of crossing edges share at most one end-vertex. An edge partition of a $1$-plane graph $G$ is a coloring of the edges of $G$ with two colors, red and blue, such that both the graph induced by the red edges and the graph induced by the blue edges are plane graphs. We prove the following: $(i)$ Every NIC-plane graph admits an edge partition such that the red graph has maximum vertex degree three; this bound on the vertex degree is worst-case optimal. $(ii)$ Deciding whether a $1$-plane graph admits an edge partition such that the red graph has maximum vertex degree two is NP-complete. $(iii)$ Deciding whether a $1$-plane graph admits an edge partition such that the red graph has maximum vertex degree one, and computing one in the positive case, can be done in quadratic time. Applications of these results to graph drawing are also discussed.
△ Less
Submitted 16 June, 2017;
originally announced June 2017.
-
Visibility Representations of Boxes in 2.5 Dimensions
Authors:
Alessio Arleo,
Carla Binucci,
Emilio Di Giacomo,
William S. Evans,
Luca Grilli,
Giuseppe Liotta,
Henk Meijer,
Fabrizio Montecchiani,
Sue Whitesides,
Stephen Wismath
Abstract:
We initiate the study of 2.5D box visibility representations (2.5D-BR) where vertices are mapped to 3D boxes having the bottom face in the plane $z=0$ and edges are unobstructed lines of sight parallel to the $x$- or $y$-axis. We prove that: $(i)$ Every complete bipartite graph admits a 2.5D-BR; $(ii)$ The complete graph $K_n$ admits a 2.5D-BR if and only if $n \leq 19$; $(iii)$ Every graph with p…
▽ More
We initiate the study of 2.5D box visibility representations (2.5D-BR) where vertices are mapped to 3D boxes having the bottom face in the plane $z=0$ and edges are unobstructed lines of sight parallel to the $x$- or $y$-axis. We prove that: $(i)$ Every complete bipartite graph admits a 2.5D-BR; $(ii)$ The complete graph $K_n$ admits a 2.5D-BR if and only if $n \leq 19$; $(iii)$ Every graph with pathwidth at most $7$ admits a 2.5D-BR, which can be computed in linear time. We then turn our attention to 2.5D grid box representations (2.5D-GBR) which are 2.5D-BRs such that the bottom face of every box is a unit square at integer coordinates. We show that an $n$-vertex graph that admits a 2.5D-GBR has at most $4n - 6 \sqrt{n}$ edges and this bound is tight. Finally, we prove that deciding whether a given graph $G$ admits a 2.5D-GBR with a given footprint is NP-complete. The footprint of a 2.5D-BR $Γ$ is the set of bottom faces of the boxes in $Γ$.
△ Less
Submitted 31 August, 2016;
originally announced August 2016.
-
Minimum Rectilinear Polygons for Given Angle Sequences
Authors:
William S. Evans,
Krzysztof Fleszar,
Philipp Kindermann,
Noushin Saeedi,
Chan-Su Shin,
Alexander Wolff
Abstract:
A rectilinear polygon is a polygon whose edges are axis-aligned. Walking counterclockwise on the boundary of such a polygon yields a sequence of left turns and right turns. The number of left turns always equals the number of right turns plus 4. It is known that any such sequence can be realized by a rectilinear polygon. In this paper, we consider the problem of finding realizations that minimize…
▽ More
A rectilinear polygon is a polygon whose edges are axis-aligned. Walking counterclockwise on the boundary of such a polygon yields a sequence of left turns and right turns. The number of left turns always equals the number of right turns plus 4. It is known that any such sequence can be realized by a rectilinear polygon. In this paper, we consider the problem of finding realizations that minimize the perimeter or the area of the polygon or the area of the bounding box of the polygon. We show that all three problems are NP-hard in general. This answers an open question of Patrignani [CGTA 2001], who showed that it is NP-hard to minimize the area of the bounding box of an orthogonal drawing of a given planar graph. We also show that realizing polylines with minimum bounding box area is NP-hard. Then we consider the special cases of $x$-monotone and $xy$-monotone rectilinear polygons. For these, we can optimize the three objectives efficiently.
△ Less
Submitted 8 June, 2020; v1 submitted 22 June, 2016;
originally announced June 2016.
-
Ortho-polygon Visibility Representations of Embedded Graphs
Authors:
Emilio Di Giacomo,
Walter Didimo,
William S. Evans,
Giuseppe Liotta,
Henk Meijer,
Fabrizio Montecchiani,
Stephen K. Wismath
Abstract:
An ortho-polygon visibility representation of an $n$-vertex embedded graph $G$ (OPVR of $G$) is an embedding-preserving drawing of $G$ that maps every vertex to a distinct orthogonal polygon and each edge to a vertical or horizontal visibility between its end-vertices. The vertex complexity of an OPVR of $G$ is the minimum $k$ such that every polygon has at most $k$ reflex corners. We present poly…
▽ More
An ortho-polygon visibility representation of an $n$-vertex embedded graph $G$ (OPVR of $G$) is an embedding-preserving drawing of $G$ that maps every vertex to a distinct orthogonal polygon and each edge to a vertical or horizontal visibility between its end-vertices. The vertex complexity of an OPVR of $G$ is the minimum $k$ such that every polygon has at most $k$ reflex corners. We present polynomial time algorithms that test whether $G$ has an OPVR and, if so, compute one of minimum vertex complexity. We argue that the existence and the vertex complexity of an OPVR of $G$ are related to its number of crossings per edge and to its connectivity. More precisely, we prove that if $G$ has at most one crossing per edge (i.e., $G$ is a 1-plane graph), an OPVR of $G$ always exists while this may not be the case if two crossings per edge are allowed. Also, if $G$ is a 3-connected 1-plane graph, we can compute an OPVR of $G$ whose vertex complexity is bounded by a constant in $O(n)$ time. However, if $G$ is a 2-connected 1-plane graph, the vertex complexity of any OPVR of $G$ may be $Ω(n)$. In contrast, we describe a family of 2-connected 1-plane graphs for which an embedding that guarantees constant vertex complexity can be computed in $O(n)$ time. Finally, we present the results of an experimental study on the vertex complexity of ortho-polygon visibility representations of 1-plane graphs.
△ Less
Submitted 16 May, 2017; v1 submitted 29 April, 2016;
originally announced April 2016.
-
Recognizing and Drawing IC-planar Graphs
Authors:
Franz J. Brandenburg,
Walter Didimo,
William S. Evans,
Philipp Kindermann,
Giuseppe Liotta,
Fabrizio Montecchiani
Abstract:
IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$ vertices, we present an $O(n)$-time algorithm that computes a straight-line drawing of $G$ in quadratic area, and an $O(n^3)$-time algorithm that computes a str…
▽ More
IC-planar graphs are those graphs that admit a drawing where no two crossed edges share an end-vertex and each edge is crossed at most once. They are a proper subfamily of the 1-planar graphs. Given an embedded IC-planar graph $G$ with $n$ vertices, we present an $O(n)$-time algorithm that computes a straight-line drawing of $G$ in quadratic area, and an $O(n^3)$-time algorithm that computes a straight-line drawing of $G$ with right-angle crossings in exponential area. Both these area requirements are worst-case optimal. We also show that it is NP-complete to test IC-planarity both in the general case and in the case in which a rotation system is fixed for the input graph. Furthermore, we describe a polynomial-time algorithm to test whether a set of matching edges can be added to a triangulated planar graph such that the resulting graph is IC-planar.
△ Less
Submitted 18 July, 2016; v1 submitted 1 September, 2015;
originally announced September 2015.
-
Simultaneous Visibility Representations of Plane st-graphs Using L-shapes
Authors:
William S. Evans,
Giuseppe Liotta,
Fabrizio Montecchiani
Abstract:
Let $\langle G_r,G_b \rangle$ be a pair of plane $st$-graphs with the same vertex set $V$. A simultaneous visibility representation with L-shapes of $\langle G_r,G_b \rangle$ is a pair of bar visibility representations $\langleΓ_r,Γ_b\rangle$ such that, for every vertex $v \in V$, $Γ_r(v)$ and $Γ_b(v)$ are a horizontal and a vertical segment, which share an end-point. In other words, every vertex…
▽ More
Let $\langle G_r,G_b \rangle$ be a pair of plane $st$-graphs with the same vertex set $V$. A simultaneous visibility representation with L-shapes of $\langle G_r,G_b \rangle$ is a pair of bar visibility representations $\langleΓ_r,Γ_b\rangle$ such that, for every vertex $v \in V$, $Γ_r(v)$ and $Γ_b(v)$ are a horizontal and a vertical segment, which share an end-point. In other words, every vertex is drawn as an $L$-shape, every edge of $G_r$ is a vertical visibility segment, and every edge of $G_b$ is a horizontal visibility segment. Also, no two L-shapes intersect each other. An L-shape has four possible rotations, and we assume that each vertex is given a rotation for its L-shape as part of the input. Our main results are: (i) a characterization of those pairs of plane $st$-graphs admitting such a representation, (ii) a cubic time algorithm to recognize them, and (iii) a linear time drawing algorithm if the test is positive.
△ Less
Submitted 17 May, 2015;
originally announced May 2015.