Academia.eduAcademia.edu

Straight-line Drawings of 1-planar Graphs

2011

Abstract

The classical Fáry's theorem from the 1930s states that every planar graph can be drawn as a straight-line drawing. In this paper, we extend Fáry's theorem to non-planar graphs. More specifically, we study the problem of drawing 1-planar graphs with straight-line edges. A 1-planar graph is a sparse non-planar graph with at most one crossing per edge. We give a characterisation of those 1planar graphs that admit a straight-line drawing. The proof of the characterisation consists of a linear time testing algorithm and a drawing algorithm. We also show that there are 1-planar graphs for which every straight-line drawing has exponential area. To our best knowledge, this is the first result to extend Fáry's theorem to non-planar graphs.

Key takeaways

  • If G is a topological graph and γ is a crossing vertex of G * , then the neighborhood N (γ) of γ consists of a 4-tuple (a, b, c, d) where the edges (a, c) and (b, d) in G cross at γ.
  • Consider the planarisation of the bulgari graph: there is one cycle of length three, and one of the vertices of this 3-cycle is a crossing γ.
  • The basic step in the augmentation procedure is to augment a single crossing γ, by adding edges to the vertices in N (γ) = (a, b, c, d).
  • First we define a directed graph Γ whose vertices are the crossings of G. The edges are defined as follows.
  • For suppose that f has two crossing vertices γ 1 and γ 2 .