Academia.eduAcademia.edu

Gap-planar graphs

2018, Theoretical Computer Science

Abstract

We introduce the family of k-gap-planar graphs for k ≥ 0, i.e., graphs that have a drawing in which each crossing is assigned to one of the two involved edges and each edge is assigned at most k of its crossings. This definition is motivated by applications in edge casing, as a k-gap-planar graph can be drawn crossing-free after introducing at most k local gaps per edge. We present results on the maximum density of k-gap-planar graphs, their relationship to other classes of beyond-planar graphs, characterization of k-gap-planar complete graphs, and the computational complexity of recognizing kgap-planar graphs.

Key takeaways

  • The crossing number cr(G) of a graph G is the smallest number of edge crossings over all drawings of G. The crossing graph C(Γ) of a drawing Γ is the graph having a vertex v e for each edge e of G, and an edge (v e , v f ) if and only if edges e and f cross in Γ.
  • Let Γ be a drawing of a graph G = (V, E).
  • Then γ 0 crosses itself only once, and this crossing is charged to edge e, hence all other crossings of γ 0 are charged to other edges.
  • For every 1-gap-planar graph G with n ≥ 20 vertices and 5n − 10 edges and for every 1-gapplanar drawing Γ of G, the crossing graph C(Γ) contains a cycle.
  • Every 3-cycle in K 9 forms a simple cycle in Γ * (since Γ is a simple drawing and thus adjacent edges do not cross).