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

On well-dominated direct, Cartesian and strong product graphs

A characterization of well-dominated Cartesian products

On well (edge) dominated and equimatchable strong product graphs

On well-covered direct products

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

Fundamental Dominations in Graphs

Dominating the Direct Product of Two Graphs through Total Roman Strategies

Recognizing well-dominated graphs is coNP-complete

Roman domination in direct product graphs and rooted product graphs

Total Domination of Cartesian Products of Graphs.

Super domination: Graph classes, products and enumeration

Structural Properties of Graph Products

Domination inequalities and dominating graphs

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

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

Note: On the {k}-domination number of Cartesian products of graphs

Unimodality and monotonic portions of certain domination polynomials

Closed formulas for 2-domination and 2-outer-independent domination numbers of rooted product graphs

More on the unimodality of domination polynomial of a graph