On $k$-limited domination: complexity and Cartesian products

Abstract

A dominating set is called $k$-limited if every vertex in the set has at most $k$ neighbors outside it. The minimum cardinality among all $k$-limited dominating sets of a graph $G$ is the $k$-limited domination number, denoted by ${\gamma }_k^{\mathrm{L}}(G)$. We prove that, for every fixed integer $k\ge 2$, deciding whether a graph admits a $k$-limited dominating set of size at most $\ell$ is $\mathsf{NP}$-complete. In addition, a systematic study of $k$-limited domination in Cartesian products is initiated. In particular, we establish general lower and upper bounds for ${\gamma }_k^{\mathrm{L}}(G\square H)$, show that both are sharp, and derive exact values for several natural families of graph products.