Abstract:It is well known that any graph admits a crossing-free straight-line drawing in $\mathbb{R}^3$ and that any planar graph admits the same even in $\mathbb{R}^2$. For a graph $G$ and $d \in \{2,3\}$, let $\rho^1_d(G)$ denote the smallest number of lines in $\mathbb{R}^d$ whose union contains a crossing-free straight-line drawing of $G$. For $d=2$, $G$ must be planar. Similarly, let $\rho^2_3(G)$ denote the smallest number of planes in $\mathbb{R}^3$ whose union contains a crossing-free straight-line drawing of $G$. We investigate the complexity of computing these three parameters and obtain the following hardness and algorithmic results. - For $d\in\{2,3\}$, we prove that deciding whether $\rho^1_d(G)\le k$ for a given graph $G$ and integer $k$ is ${\exists\mathbb{R}}$-complete. - Since $\mathrm{NP}\subseteq{\exists\mathbb{R}}$, deciding $\rho^1_d(G)\le k$ is NP-hard for $d\in\{2,3\}$. On the positive side, we show that the problem is fixed-parameter tractable with respect to $k$. - Since ${\exists\mathbb{R}}\subseteq\mathrm{PSPACE}$, both $\rho^1_2(G)$ and $\rho^1_3(G)$ are computable in polynomial space. On the negative side, we show that drawings that are optimal with respect to $\rho^1_2$ or $\rho^1_3$ sometimes require irrational coordinates. - We prove that deciding whether $\rho^2_3(G)\le k$ is NP-hard for any fixed $k \ge 2$. Hence, the problem is not fixed-parameter tractable with respect to $k$ unless $\mathrm{P}=\mathrm{NP}$.

A census of graph-drawing algorithms based on generalized transversal structures

Grand Schnyder Woods

Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs

Pointed drawings of planar graphs

Drawing Planar Graphs with Few Geometric Primitives

Drawing Planar Graphs with Many Collinear Vertices

Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs

Balanced Schnyder woods for planar triangulations: an experimental study with applications to graph drawing and graph separators

From Tutte to Floater and Gotsman: On the Resolution of Planar Straight-line Drawings and Morphs

Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

Strongly Monotone Drawings of Planar Graphs

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

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

A Survey on Graph Drawing Beyond Planarity

On the Area Requirements of Planar Greedy Drawings of Triconnected Planar Graphs

Orthogonal and Smooth Orthogonal Layouts of 1-Planar Graphs with Low Edge Complexity

Straight-Line Drawing Algorithms for Hierarchical Graphs and Clustered Graphs

Greedy rectilinear drawings

Straight-line Drawability of a Planar Graph Plus an Edge

FPT Algorithms for Crossing Number Problems: A Unified Approach

The Complexity of Drawing Graphs on Few Lines and Few Planes