Multipacking on graphs and Euclidean metric space

A \emph{multipacking} in an undirected graph $G=(V,E)$ is a set $M\subseteq V$ such that for every vertex $v\in V$ and for every integer $r\geq 1$, the ball of radius $ r $ around $ v $ contains at most $r$ vertices of $M$. The \textsc{Multipacking} problem asks whether a graph contains a multipacking of size at least $k$. For more than a decade, it remained open whether \textsc{Multipacking} is \textsc{NP-complete} or polynomial-time solvable, although it is known to be polynomial-time solvable for some classes (e.g., strongly chordal graphs and grids). Foucaud, Gras, Perez, and Sikora [\textit{Algorithmica} 2021] showed it is \textsc{NP-complete} for directed graphs and \textsc{W[1]-hard} when parameterized by the solution size. We resolve the open question by proving \textsc{Multipacking} is \textsc{NP-complete} for undirected graphs and \textsc{W[2]-hard} when parameterized by the solution size. Furthermore, we show it remains \textsc{NP-complete} and \textsc{W[2]-hard} even for chordal, bipartite, claw-free, regular, CONV, and chordal$\cap\frac{1}{2}$-hyperbolic graphs (a superclass of strongly chordal graphs), and we provide approximation algorithms for cactus, chordal, and $δ$-hyperbolic graphs. Moreover, we study the relationship between multipacking number and broadcast domination number for cactus, chordal, and $δ$-hyperbolic graphs. Further, we prove that for all $r\geq 2$, \textsc{$r$-Multipacking} is \textsc{NP-complete} even for planar bipartite graphs with bounded degree, and also for bounded-diameter chordal and bounded-diameter bipartite graphs. For geometric variants, in $\mathbb{R}^2$ a maximum $1$-multipacking can be computed in polynomial time, but computing a maximum $2$-multipacking is \textsc{NP-hard}, and we provide approximation and parameterized algorithms for the $2$-multipacking problem.

💡 Research Summary

The thesis investigates the multipacking problem, a graph‑theoretic notion where a set M ⊆ V(G) must satisfy the condition that for every vertex v and every integer r ≥ 1, the ball B(v,r) contains at most r vertices of M. The maximum size of such a set is denoted mp(G). The work resolves a long‑standing open question by proving that Multipacking is NP‑complete for undirected graphs and W