English

Packing $K_r$s in bounded degree graphs

Data Structures and Algorithms 2024-04-09 v2 Discrete Mathematics

Abstract

We study the problem of finding a maximum-cardinality set of rr-cliques in an undirected graph of fixed maximum degree Δ\Delta, subject to the cliques in that set being either vertex-disjoint or edge-disjoint. It is known for r=3r=3 that the vertex-disjoint (edge-disjoint) problem is solvable in linear time if Δ=3\Delta=3 (Δ=4\Delta=4) but APX-hard if Δ4\Delta \geq 4 (Δ5\Delta \geq 5). We generalise these results to an arbitrary but fixed r3r \geq 3, and provide a complete complexity classification for both the vertex- and edge-disjoint variants in graphs of maximum degree Δ\Delta. Specifically, we show that the vertex-disjoint problem is solvable in linear time if Δ<3r/21\Delta < 3r/2 - 1, solvable in polynomial time if Δ<5r/31\Delta < 5r/3 - 1, and APX-hard if Δ5r/31\Delta \geq \lceil 5r/3 \rceil - 1. We also show that if r6r\geq 6 then the above implications also hold for the edge-disjoint problem. If r5r \leq 5, then the edge-disjoint problem is solvable in linear time if Δ<3r/21\Delta < 3r/2 - 1, solvable in polynomial time if Δ2r2\Delta \leq 2r - 2, and APX-hard if Δ>2r2\Delta > 2r - 2.

Keywords

Cite

@article{arxiv.2209.03684,
  title  = {Packing $K_r$s in bounded degree graphs},
  author = {Michael McKay and David Manlove},
  journal= {arXiv preprint arXiv:2209.03684},
  year   = {2024}
}
R2 v1 2026-06-28T00:56:42.822Z