2-Level Quasi-Planarity or How Caterpillars Climb (SPQR-)Trees
Abstract
Given a bipartite graph $G=(V_b,V_r,E)$, the $2$-Level Quasi-Planarity problem asks for the existence of a drawing of $G$ in the plane such that the vertices in $V_b$ and in $V_r$ lie along two parallel lines $\ell_b$ and $\ell_r$, respectively, each edge in $E$ is drawn in the unbounded strip of the plane delimited by $\ell_b$ and $\ell_r$, and no three edges in $E$ pairwise cross. We prove that the $2$-Level Quasi-Planarity problem is NP-complete. This answers an open question of Dujmović, Pór, and Wood. Furthermore, we show that the problem becomes linear-time solvable if the ordering of the vertices in $V_b$ along $\ell_b$ is prescribed. Our contributions provide the first results on the computational complexity of recognizing quasi-planar graphs, which is a long-standing open question. Our linear-time algorithm exploits several ingredients, including a combinatorial characterization of the positive instances of the problem in terms of the existence of a planar embedding with a caterpillar-like structure, and an SPQR-tree-based algorithm for testing the existence of such a planar embedding. Our algorithm builds upon a classification of the types of embeddings with respect to the structure of the portion of the caterpillar they contain and performs a computation of the realizable embedding types based on a succinct description of their features by means of constant-size gadgets.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2020
- DOI:
- 10.48550/arXiv.2011.02431
- arXiv:
- arXiv:2011.02431
- Bibcode:
- 2020arXiv201102431A
- Keywords:
-
- Computer Science - Data Structures and Algorithms;
- Computer Science - Computational Geometry
- E-Print:
- Extended version of a paper to appear at SODA '21