Chakraborty, D. orcid.org/0000-0003-0534-6417 and Gajjar, K. (Cover date: 6 September 2023) Finding geometric representations of apex graphs is NP-hard. Theoretical Computer Science, 971. 114064. ISSN 0304-3975
Abstract
Planar graphs can be represented as the intersection graphs of different types of geometric objects in the plane, e.g., circles (Koebe, 1936), line segments (Chalopin & Gonçalves, SODA 2009), L-shapes (Gonçalves et al., SODA 2018). For general graphs, however, even deciding whether such representations exist is often NP-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 NP-hard as well. More precisely, we show that for every fixed positive integer g and every graph class G such that [Formula presented], it is NP-hard to decide whether an input graph belongs to the graph class G, even when the inputs are restricted to apex graphs of girth g. Here, [Formula presented] is the class of intersection graphs of axis-parallel line segments (where horizontal segments intersect only vertical segments), and [Formula presented] is the class of intersection graphs of simple curves (where two intersecting curves cross each other exactly once) in the plane. This partially answers an open question raised by Kratochvíl & Pergel (COCOON, 2007). Most known reductions for earlier proofs of NP-hardness for these problems are from variants of 3-SAT (mainly PLANAR 3-CONNECTED 3-SAT). We reduce from the [Formula presented] [Formula presented] [Formula presented] problem, which uses the more intuitive notion of planarity. As a result, our proof is much simpler and encapsulates several classes of geometric intersection graphs.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2023, Elsevier. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/. This is an author produced version of an article published in Theoretical Computer Science. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | Hamiltonian path; Planar graph; Apex graph; NP-hard; Recognition problem; Geometric intersection graph; VLSI design; 1-STRING; PURE-2-DIR |
Dates: |
|
Institution: | The University of Leeds |
Academic Units: | The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) |
Depositing User: | Symplectic Publications |
Date Deposited: | 05 Oct 2023 15:07 |
Last Modified: | 11 Jul 2024 00:13 |
Published Version: | https://www.sciencedirect.com/science/article/pii/... |
Status: | Published |
Publisher: | Elsevier BV |
Identification Number: | 10.1016/j.tcs.2023.114064 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:202887 |
Download
Filename: Finding_Geometric_Representations_of_Apex_Graphs_is_NP_Hard_WALCOM.pdf
Licence: CC-BY-NC-ND 4.0