arXiv++ Combinatorics

A dominating set $S$ of a graph $G$ is a locating-dominating set (LDS) if, for each pair of distinct vertices not in~$S$, their neighbourhoods in $S$ are distinct. Finding a minimum-cardinality LDS in finite graphs is a well-known NP-hard problem. On infinite graphs, this problem naturally generalises to finding an LDS of minimum density. While density bounds have been widely studied for specific infinite regular grids, no computational complexity results exist for infinite graphs. We prove that the minimum-density LDS problem in infinite $\mathbb{Z}$-periodic graphs with a finite period is NP-hard. This result bridges the gap between cardinality minimization on finite graphs and density minimization on infinite graphs via a rigorous periodic reduction. Furthermore, our approach can be adapted to establish NP-hardness for related structural problems on infinite periodic graphs.

A set of vertices $S$ of a graph $G$ is locating-dominating if $S$ is dominating and, for each pair of distinct vertices not in $S$, their neighborhoods in $S$ are distinct. We present results on the minimum density of such sets in the infinite hexagonal grid with a finite number of rows $k$, also known as the hexagonal strip of width $k$, which we denote by $H_k$. For each $k\geq 2$, we present either an optimal solution or a quasi-optimal solution for $H_k$ that is within $1.3\%$ of the optimum. We describe an exact exponential-time algorithm for fixed k, which we implemented to find optimal solutions for $k \leq 5$. As the infinite grid $H_{k}$ always admits a periodic optimal solution, to deal with larger values of $k$, we present an integer linear program that finds an optimal periodic solution for $H_{k}$ for each fixed period. This program yields high-quality feasible solutions for $H_7$ and $H_8$, which we then combine with an optimal solution for $H_3$ to obtain quasi-optimal solutions for all $k\geq 6$. All these solutions admit a very short description.