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

Computation of Grundy dominating sequences in (co-)bipartite graphs

On graphs with equal total domination and Grundy total domination number

Some New Algorithmic Results on Co-secure Domination in Graphs

On Grundy total domination number in product graphs

On upper domatic number of graphs

Algorithmic Complexity and Bounds for Domination Subdivision Numbers of Graphs

On k-Vertex-Edge Domination of Graph

The algorithmic complexity of bondage and reinforcement problems in bipartite graphs

Fundamental Dominations in Graphs

Independent Domination on Tree Convex Bipartite Graphs

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

b-continuity and Partial Grundy Coloring of graphs with large girth

On $k$-vertex-edge domination of graph

Unimodality and monotonic portions of certain domination polynomials

A characterization of b-chromatic and partial Grundy numbers by induced subgraphs

Spectral upper bounds for the Grundy number of a graph

Coloring graphs with forbidden almost bipartite subgraphs

Algorithmic Aspects of Vertex-edge Domination in Some Graphs

More on the unimodality of domination polynomial of a graph

Complexity of total dominator coloring in graphs

Game Total Domination for Cyclic Bipartite Graphs.