A graph is outer 1-planar (o1p) if it can be drawn in the plane such that all vertices are in the outer face and each edge is crossed at most once. o1p graphs generalize outerplanar graphs, which can be recognized in linear time, and specialize 1-planar graphs, whose recognition is $${NP}$$NP-hard. We explore o1p graphs. Our first main result is a linear-time algorithm that takes a graph as input and returns a positive or a negative witness for o1p. If a graph $$G$$G is o1p, then the algorithm computes an embedding and can augment $$G$$G to a maximal o1p graph. Otherwise, $$G$$G includes one of six minors, which is detected by the recognition algorithm. Secondly, we establish structural properties of o1p graphs. o1p graphs are planar and are subgraphs of planar graphs with a Hamiltonian cycle. They are neither closed under edge contraction nor under subdivision. Several important graph parameters, such as treewidth, colorability, stack number, and queue number, increase by one from outerplanar to o1p graphs. Every o1p graph of size $$n$$n has at most $$\frac{5}{2} n - 4$$52n-4 edges and there are maximal o1p graphs with $$\frac{11}{5} n - \frac{18}{5}$$115n-185 edges, and these bounds are tight. Finally, every o1p graph has a straight-line grid drawing in $$\fancyscript{O}(n^2)$$O(n2) area with all vertices in the outer face, a planar visibility representation in $$\fancyscript{O}(n \log n)$$O(nlogn) area, and a 3D straight-line drawing in linear volume, and these drawings can be constructed in linear time.
Read full abstract