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})}}$.

Recognition of Unit Segment and Polyline Graphs is $\exists\mathbb{R}$-Complete

The Complexity of Intersection Graphs of Lines in Space and Circle Orders

The Complexity of Recognizing Geometric Hypergraphs

Proper colorability of segment intersection graphs

Recognizing geometric intersection graphs stabbed by a line

Intersection Graphs of Rays and Grounded Segments

Recognizing unit multiple intervals is hard

Simultaneous Representation of Proper and Unit Interval Graphs

Representing Hypergraphs by Point-Line Incidences

The recognizability of sets of graphs is a robust property

Recognizing Visibility Graphs of Polygons with Holes and Internal-External Visibility Graphs of Polygons

Color-line and Proper Color-line Graphs

Recognition of chordal graphs and cographs which are Cover-Incomparability graphs

Recognition Complexity of Subgraphs of k-Connected Planar Cubic Graphs

The Complexity of Simultaneous Geometric Graph Embedding

Recognizing Graphs

Recognising the overlap graphs of subtrees of restricted trees is hard

Recognizing single-peaked preferences on an arbitrary graph: Complexity and algorithms

The complexity of 2-intersection graphs of 3-hypergraphs recognition for claw-free graphs and triangulated claw-free graphs

Bend-Bounded Path Intersection Graphs: Sausages, Noodles, and Waffles on a Grill

On the Representability of Line Graphs