19 research outputs found
Level-Planarity: Transitivity vs. Even Crossings
The strong Hanani-Tutte theorem states that a graph is planar if and only if it can be drawn such that any two edges that do not share an end cross an even number of times. Fulek et al. (2013, 2016, 2017) have presented Hanani-Tutte results for (radial) level-planarity where the -coordinates (distances to the origin) of the vertices are prescribed. We show that the 2-SAT formulation of level-planarity testing due to Randerath et al. (2001) is equivalent to the strong Hanani-Tutte theorem for level-planarity (2013). By elevating this relationship to radial level planarity, we obtain a novel polynomial-time algorithm for testing radial level-planarity in the spirit of Randerath et al
Hanani-Tutte for radial planarity
A drawing of a graph G is radial if the vertices of G are placed on concentric circles C 1 , . . . , C k with common center c , and edges are drawn radially : every edge intersects every circle centered at c at most once. G is radial planar if it has a radial embedding, that is, a crossing-free radial drawing. If the vertices of G are ordered or partitioned into ordered levels (as they are for leveled graphs), we require that the assignment of vertices to circles corresponds to the given ordering or leveling. We show that a graph G is radial planar if G has a radial drawing in which every two edges cross an even number of times; the radial embedding has the same leveling as the radial drawing. In other words, we establish the weak variant of the Hanani-Tutte theorem for radial planarity. This generalizes a result by Pach and Toth
Hanani-Tutte for Approximating Maps of Graphs
We resolve in the affirmative conjectures of A. Skopenkov and Repovs (1998), and M. Skopenkov (2003) generalizing the classical Hanani-Tutte theorem to the setting of approximating maps of graphs on 2-dimensional surfaces by embeddings. Our proof of this result is constructive and almost immediately implies an efficient algorithm for testing whether a given piecewise linear map of a graph in a surface is approximable by an embedding. More precisely, an instance of this problem consists of (i) a graph G whose vertices are partitioned into clusters and whose inter-cluster edges are partitioned into bundles, and (ii) a region R of a 2-dimensional compact surface M given as the union of a set of pairwise disjoint discs corresponding to the clusters and a set of pairwise disjoint "pipes" corresponding to the bundles, connecting certain pairs of these discs. We are to decide whether G can be embedded inside M so that the vertices in every cluster are drawn in the corresponding disc, the edges in every bundle pass only through its corresponding pipe, and every edge crosses the boundary of each disc at most once
Ordered Level Planarity, Geodesic Planarity and Bi-Monotonicity
We introduce and study the problem Ordered Level Planarity which asks for a
planar drawing of a graph such that vertices are placed at prescribed positions
in the plane and such that every edge is realized as a y-monotone curve. This
can be interpreted as a variant of Level Planarity in which the vertices on
each level appear in a prescribed total order. We establish a complexity
dichotomy with respect to both the maximum degree and the level-width, that is,
the maximum number of vertices that share a level. Our study of Ordered Level
Planarity is motivated by connections to several other graph drawing problems.
Geodesic Planarity asks for a planar drawing of a graph such that vertices
are placed at prescribed positions in the plane and such that every edge is
realized as a polygonal path composed of line segments with two adjacent
directions from a given set of directions symmetric with respect to the
origin. Our results on Ordered Level Planarity imply -hardness for any
with even if the given graph is a matching. Katz, Krug, Rutter and
Wolff claimed that for matchings Manhattan Geodesic Planarity, the case where
contains precisely the horizontal and vertical directions, can be solved in
polynomial time [GD'09]. Our results imply that this is incorrect unless
. Our reduction extends to settle the complexity of the Bi-Monotonicity
problem, which was proposed by Fulek, Pelsmajer, Schaefer and
\v{S}tefankovi\v{c}.
Ordered Level Planarity turns out to be a special case of T-Level Planarity,
Clustered Level Planarity and Constrained Level Planarity. Thus, our results
strengthen previous hardness results. In particular, our reduction to Clustered
Level Planarity generates instances with only two non-trivial clusters. This
answers a question posed by Angelini, Da Lozzo, Di Battista, Frati and Roselli.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
Eliminating Higher-Multiplicity Intersections, II. The Deleted Product Criterion in the -Metastable Range
Motivated by Tverberg-type problems in topological combinatorics and by
classical results about embeddings (maps without double points), we study the
question whether a finite simplicial complex K can be mapped into R^d without
higher-multiplicity intersections. We focus on conditions for the existence of
almost r-embeddings, i.e., maps from K to R^d without r-intersection points
among any set of r pairwise disjoint simplices of K.
Generalizing the classical Haefliger-Weber embeddability criterion, we show
that a well-known necessary deleted product condition for the existence of
almost r-embeddings is sufficient in a suitable r-metastable range of
dimensions (r d > (r+1) dim K +2). This significantly extends one of the main
results of our previous paper (which treated the special case where d=rk and
dim K=(r-1)k, for some k> 3).Comment: 35 pages, 10 figures (v2: reference for the algorithmic aspects
updated & appendix on Block Bundles added
Strip Planarity Testing of Embedded Planar Graphs
In this paper we introduce and study the strip planarity testing problem,
which takes as an input a planar graph and a function and asks whether a planar drawing of exists
such that each edge is monotone in the -direction and, for any
with , it holds . The problem has strong
relationships with some of the most deeply studied variants of the planarity
testing problem, such as clustered planarity, upward planarity, and level
planarity. We show that the problem is polynomial-time solvable if has a
fixed planar embedding.Comment: 24 pages, 12 figures, extended version of 'Strip Planarity Testing'
(21st International Symposium on Graph Drawing, 2013