In this paper we continue the systematic study of Contact graphs of Paths on a Grid (CPG graphs) initiated in Deniz et al. (2018). A CPG graph is a graph for which there exists a collection of pairwise interiorly disjoint paths on a grid in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding paths touch at a grid-point. If every such path has at most k bends for some k≥0, the graph is said to be Bk-CPG. We first show that, for any k≥0, the class of Bk-CPG graphs is strictly contained in the class of Bk+1-CPG graphs even within the class of planar graphs, thus implying that there exists no k≥0 such that every planar CPG graph is Bk-CPG. The main result of the paper is that recognizing CPG graphs and Bk-CPG graphs with k≥1 is NP-complete. Moreover, we show that the same remains true even within the class of planar graphs in the case k≥3. We then consider several graph problems restricted to CPG graphs and show, in particular, that INDEPENDENT SET and CLIQUE COVER remain NP-hard for B0-CPG graphs. Finally, we consider the related classes Bk-EPG of edge-intersection graphs of paths with at most k bends on a grid. Although it is possible to optimally color a B0-EPG graph in polynomial time, as this class coincides with that of interval graphs, we show that, in contrast, 3-COLORABILITY is NP-complete for B1-EPG graphs.

CPG graphs: Some structural and hardness results / Champseix, Nicolas; Galby, Esther; Munaro, Andrea; Ries, Bernard. - In: DISCRETE APPLIED MATHEMATICS. - ISSN 0166-218X. - 290:(2021), pp. 17-35. [10.1016/j.dam.2020.11.018]

CPG graphs: Some structural and hardness results

Andrea Munaro;
2021

Abstract

In this paper we continue the systematic study of Contact graphs of Paths on a Grid (CPG graphs) initiated in Deniz et al. (2018). A CPG graph is a graph for which there exists a collection of pairwise interiorly disjoint paths on a grid in one-to-one correspondence with its vertex set such that two vertices are adjacent if and only if the corresponding paths touch at a grid-point. If every such path has at most k bends for some k≥0, the graph is said to be Bk-CPG. We first show that, for any k≥0, the class of Bk-CPG graphs is strictly contained in the class of Bk+1-CPG graphs even within the class of planar graphs, thus implying that there exists no k≥0 such that every planar CPG graph is Bk-CPG. The main result of the paper is that recognizing CPG graphs and Bk-CPG graphs with k≥1 is NP-complete. Moreover, we show that the same remains true even within the class of planar graphs in the case k≥3. We then consider several graph problems restricted to CPG graphs and show, in particular, that INDEPENDENT SET and CLIQUE COVER remain NP-hard for B0-CPG graphs. Finally, we consider the related classes Bk-EPG of edge-intersection graphs of paths with at most k bends on a grid. Although it is possible to optimally color a B0-EPG graph in polynomial time, as this class coincides with that of interval graphs, we show that, in contrast, 3-COLORABILITY is NP-complete for B1-EPG graphs.
CPG graphs: Some structural and hardness results / Champseix, Nicolas; Galby, Esther; Munaro, Andrea; Ries, Bernard. - In: DISCRETE APPLIED MATHEMATICS. - ISSN 0166-218X. - 290:(2021), pp. 17-35. [10.1016/j.dam.2020.11.018]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11381/2930772
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact