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).

2-Distance Paired-Dominating Number of Graphs

Paired domination and 2- distance Paired domination of the flower graph $f_{n\times m}$

Lower bounds for the total (distance) $k$-domination number of a graph

Acyclic Domination Number and Minimum Degree in 2-Diameter-critical Graphs.

The k-Tuple Domatic Number of a Graph

On Dominating Sets of Maximal Outerplanar and Planar Graphs

Disjunctive domination in graphs with minimum degree at least two

Optimal Algorithm for Paired-Domination in Distance-Hereditary Graphs

The Total {K}-Domatic Number of Wheels and Complete Graphs.

The total { k }-domatic number of wheels and complete graphs

Algorithmic Complexity and Bounds for Domination Subdivision Numbers of Graphs

Paired-domination Problem on Circle and $k$-polygon Graphs

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

Double domination in maximal outerplanar graphs

2-distance 20-coloring of planar graphs with maximum degree 6

Diameter of 2-distance graphs

A Note on Acyclic Domination Number in Graphs of Diameter Two

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

Algorithmic study of $d_2$-transitivity of graphs

Large Degree Vertices in Longest Cycles of Graphs, II

The Oriented Diameter of Graphs with Given Connected Domination Number and Distance Domination Number