Abstract:Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi: V \to P$ such that the induced straight-line drawings of $G_1,\dots,G_k$ under $\phi$ are all plane. This problem is polynomial-time equivalent to weak rectilinear realizability of abstract topological graphs, which Kynčl (doi:<a class="link-https link-external" data-doi="10.1007/s00454-010-9320-x" href="https://doi.org/10.1007/s00454-010-9320-x" rel="external noopener nofollow">https://doi.org/10.1007/s00454-010-9320-x</a>) proved to be complete for $\exists\mathbb{R}$, the existential theory of the reals. Hence the problem $k$-SGE is polynomial-time equivalent to several other problems in computational geometry, such as recognizing intersection graphs of line segments or finding the rectilinear crossing number of a graph. We give an elementary reduction from the pseudoline stretchability problem to $k$-SGE, with the property that both numbers $k$ and $n$ are linear in the number of pseudolines. This implies not only the $\exists\mathbb{R}$-hardness result, but also a $2^{2^{\Omega (n)}}$ lower bound on the minimum size of a grid on which any such simultaneous embedding can be drawn. This bound is tight. Hence there exists such collections of graphs that can be simultaneously embedded, but every simultaneous drawing requires an exponential number of bits per coordinates. The best value that can be extracted from Kynčl's proof is only $2^{2^{\Omega (\sqrt{n})}}$.

A Planarity Test via Construction Sequences

Testing Simultaneous Planarity when the Common Graph is 2-Connected

A Simple Partially Embedded Planarity Test Based on Vertex-Addition

Strip Planarity Testing of Embedded Planar Graphs

Planar Graphs: Random Walks and Bipartiteness Testing

Constrained Planarity in Practice -- Engineering the Synchronized Planarity Algorithm

Spirality and Rectilinear Planarity Testing of Independent-Parallel SP-Graphs

Straight-line Drawability of a Planar Graph Plus an Edge

Rectilinear Planarity of Partial 2-Trees

Algorithmic methods of finite discrete structures. Topological graph drawing (part II)

Level Planarity Is More Difficult Than We Thought

Upward Planarity Testing of Biconnected Outerplanar DAGs Solves Partition

Linear-time approximation schemes for planar minimum three-edge connected and three-vertex connected spanning subgraphs

On the Kuratowski graph planarity criterion

Simultaneous FPQ-Ordering and Hybrid Planarity Testing

A Linear-Time Algorithm for 4-Coloring Some Classes of Planar Graphs

The Complexity of Simultaneous Geometric Graph Embedding

Algorithmic methods of finite discrete structures. Topological graph drawing (part I)

A near-linear time minimum Steiner cut algorithm for planar graphs

Finding planar surfaces in knot- and link-manifolds