Abstract:The study of domination in graphs has led to a variety of domination problems studied in the literature. Most of these follow the following general framework: Given a graph $G$ and an integer $k$, decide if there is a set $S$ of $k$ vertices such that (1) some inner property $\phi(S)$ (e.g., connectedness) is satisfied, and (2) each vertex $v$ satisfies some domination property $\rho(S, v)$ (e.g., there is an $s\in S$ that is adjacent to $v$). Since many real-world graphs are sparse, we seek to determine the optimal running time of such problems in both the number $n$ of vertices and the number $m$ of edges in $G$. While the classic dominating set problem admits a rather limited improvement in sparse graphs (Fischer, Künnemann, Redzic SODA'24), we show that natural variants studied in the literature admit much larger speed-ups, with a diverse set of possible running times. Specifically, we obtain conditionally optimal algorithms for: 1) $r$-Multiple $k$-Dominating Set (each vertex must be adjacent to at least $r$ vertices in $S$): If $r\le k-2$, we obtain a running time of $(m/n)^{r} n^{k-r+o(1)}$ that is conditionally optimal assuming the 3-uniform hyperclique hypothesis. In sparse graphs, this fully interpolates between $n^{k-1\pm o(1)}$ and $n^{2\pm o(1)}$, depending on $r$. Curiously, when $r=k-1$, we obtain a randomized algorithm beating $(m/n)^{k-1} n^{1+o(1)}$ and we show that this algorithm is close to optimal under the $k$-clique hypothesis. 2) $H$-Dominating Set ($S$ must induce a pattern $H$). We conditionally settle the complexity of three such problems: (a) Dominating Clique ($H$ is a $k$-clique), (b) Maximal Independent Set of size $k$ ($H$ is an independent set on $k$ vertices), (c) Dominating Induced Matching ($H$ is a perfect matching on $k$ vertices).

Reconfiguration graphs for minimal domination sets

Reconfiguration of Minimum Independent Dominating Sets in Graphs

Shortest Dominating Set Reconfiguration under Token Sliding

Reconfiguring dominating sets in minor-closed graph classes

On Dominating Graph of Graphs, Median Graphs, Partial Cubes and Complement of Minimal Dominating Sets

Eulerian $k$-dominating reconfiguration graphs

Dominating Sets in Directed Graphs

Fine-Grained Complexity of Multiple Domination and Dominating Patterns in Sparse Graphs

Fundamental Dominations in Graphs

The Complexity of Distance-$r$ Dominating Set Reconfiguration

Characterizations of Minimal Dominating Sets in γ-Endowed and Symmetric γ-Endowed Graphs with Applications to Structure-Property Modeling

Reconfiguration Using Generalized Token Jumping

Algorithms for Minimum Membership Dominating Set Problem

Dominating $K_t$-Models

Disjunctive domination in graphs with minimum degree at least two

Algorithmic Aspects of Vertex-edge Domination in Some Graphs

Domination inequalities and dominating graphs

More on the complexity of defensive domination in graphs

Disjoint Dominating and 2-Dominating Sets in Graphs: Hardness and Approximation results

Reducing Dominating Sets in Graphs