English

Finding Geometric Representations of Apex Graphs is NP-Hard

Computational Geometry 2021-06-03 v2 Discrete Mathematics

Abstract

Planar graphs can be represented as intersection graphs of different types of geometric objects in the plane, e.g., circles (Koebe, 1936), line segments (Chalopin \& Gon{\c{c}}alves, 2009), \textsc{L}-shapes (Gon{\c{c}}alves et al, 2018). For general graphs, however, even deciding whether such representations exist is often NPNP-hard. We consider apex graphs, i.e., graphs that can be made planar by removing one vertex from them. We show, somewhat surprisingly, that deciding whether geometric representations exist for apex graphs is NPNP-hard. More precisely, we show that for every positive integer kk, recognizing every graph class G\mathcal{G} which satisfies \textscPURE2DIRG\textsc1STRING\textsc{PURE-2-DIR} \subseteq \mathcal{G} \subseteq \textsc{1-STRING} is NPNP-hard, even when the input graphs are apex graphs of girth at least kk. Here, PURE2DIRPURE-2-DIR is the class of intersection graphs of axis-parallel line segments (where intersections are allowed only between horizontal and vertical segments) and \textsc{1-STRING} is the class of intersection graphs of simple curves (where two curves share at most one point) in the plane. This partially answers an open question raised by Kratochv{\'\i}l \& Pergel (2007). Most known NPNP-hardness reductions for these problems are from variants of 3-SAT. We reduce from the \textsc{PLANAR HAMILTONIAN PATH COMPLETION} problem, which uses the more intuitive notion of planarity. As a result, our proof is much simpler and encapsulates several classes of geometric graphs.

Keywords

Cite

@article{arxiv.2104.09976,
  title  = {Finding Geometric Representations of Apex Graphs is NP-Hard},
  author = {Dibyayan Chakraborty and Kshitij Gajjar},
  journal= {arXiv preprint arXiv:2104.09976},
  year   = {2021}
}
R2 v1 2026-06-24T01:22:08.053Z