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

Crossing Number is NP-hard for Constant Path-width (and Tree-width)

The Path Set Packing Problem

An Algorithm for the Graph Crossing Number Problem

Faster Computation of Path-Width

A Systematic Approach to Crossing Numbers of Cartesian Products with Paths

Maximum Cut Parameterized by Crossing Number

On Book Crossing Numbers of the Complete Graph

FPT Algorithms for Crossing Number Problems: A Unified Approach

Complexity of Anchored Crossing Number and Crossing Number of Almost Planar Graphs

Algorithmic Applications of Tree-Cut Width

Non-crossing paths with geographic constraints

Improvement on the Crossing Number of Crossing-Critical Graphs

The Behavior of Tree-Width and Path-Width under Graph Operations and Graph Transformations

On the Uncrossed Number of Graphs

Improving the Crossing Lemma by Characterizing Dense 2-Planar and 3-Planar Graphs

An algorithm for estimating the crossing number of dense graphs, and continuous analogs of the crossing and rectilinear crossing numbers

The Rectilinear Crossing Number of K_10 is 62

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant

The Complexity of Drawing Graphs on Few Lines and Few Planes

Rectilinear Crossing Number of Graphs Excluding Single-Crossing Graphs as Minors

On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees