32 research outputs found
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
Edge Partitions of Optimal -plane and -plane Graphs
A topological graph is a graph drawn in the plane. A topological graph is
-plane, , if each edge is crossed at most times. We study the
problem of partitioning the edges of a -plane graph such that each partite
set forms a graph with a simpler structure. While this problem has been studied
for , we focus on optimal -plane and -plane graphs, which are
-plane and -plane graphs with maximum density. We prove the following
results. (i) It is not possible to partition the edges of a simple optimal
-plane graph into a -plane graph and a forest, while (ii) an edge
partition formed by a -plane graph and two plane forests always exists and
can be computed in linear time. (iii) We describe efficient algorithms to
partition the edges of a simple optimal -plane graph into a -plane graph
and a plane graph with maximum vertex degree , or with maximum vertex
degree if the optimal -plane graph is such that its crossing-free edges
form a graph with no separating triangles. (iv) We exhibit an infinite family
of simple optimal -plane graphs such that in any edge partition composed of
a -plane graph and a plane graph, the plane graph has maximum vertex degree
at least and the -plane graph has maximum vertex degree at least .
(v) We show that every optimal -plane graph whose crossing-free edges form a
biconnected graph can be decomposed, in linear time, into a -plane graph and
two plane forests
Beyond Outerplanarity
We study straight-line drawings of graphs where the vertices are placed in
convex position in the plane, i.e., convex drawings. We consider two families
of graph classes with nice convex drawings: outer -planar graphs, where each
edge is crossed by at most other edges; and, outer -quasi-planar graphs
where no edges can mutually cross. We show that the outer -planar graphs
are -degenerate, and consequently that every
outer -planar graph can be -colored, and this
bound is tight. We further show that every outer -planar graph has a
balanced separator of size . This implies that every outer -planar
graph has treewidth . For fixed , these small balanced separators
allow us to obtain a simple quasi-polynomial time algorithm to test whether a
given graph is outer -planar, i.e., none of these recognition problems are
NP-complete unless ETH fails. For the outer -quasi-planar graphs we prove
that, unlike other beyond-planar graph classes, every edge-maximal -vertex
outer -quasi planar graph has the same number of edges, namely . We also construct planar 3-trees that are not outer
-quasi-planar. Finally, we restrict outer -planar and outer
-quasi-planar drawings to \emph{closed} drawings, where the vertex sequence
on the boundary is a cycle in the graph. For each , we express closed outer
-planarity and \emph{closed outer -quasi-planarity} in extended monadic
second-order logic. Thus, closed outer -planarity is linear-time testable by
Courcelle's Theorem.Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017