Enumerating Connected Dominating Sets
Authors:
Faisal Abu-Khzam,
Henning Fernau,
Benjamin Gras,
Mathieu Liedloff,
Kevin Mann
Abstract:
The question to enumerate all inclusion-minimal connected dominating sets in a graph of order $n$ in time significantly less than $2^n$ is an open question that was asked in many places. We answer this question affirmatively, by providing an enumeration algorithm that runs in time $\mathcal{O}(1.9896^n)$, using polynomial space only. The key to this result is the consideration of this enumeration…
▽ More
The question to enumerate all inclusion-minimal connected dominating sets in a graph of order $n$ in time significantly less than $2^n$ is an open question that was asked in many places. We answer this question affirmatively, by providing an enumeration algorithm that runs in time $\mathcal{O}(1.9896^n)$, using polynomial space only. The key to this result is the consideration of this enumeration problem on 2-degenerate graphs, which is proven to be possible in time $\mathcal{O}(1.9767^n)$. We also show new lower bound results by constructing a family of graphs of order $n$ with $Ω(1.4890^n)$ minimal connected dominating sets, while previous examples achieved $Ω(1.4422^n)$. Our construction results in lower bounds for a few special graph classes.
We also address essential questions concerning output-sensitive enumeration. Namely, we give reasons why our algorithm cannot be turned into an enumeration algorithm that guarantees polynomial delay without much efforts. More precisely, we prove that it is NP-complete to decide, given a graph $G$ and a vertex set $U$, if there exists a minimal connected dominating set $D$ with $U\subseteq D$, even if $G$ is known to be 2-degenerate. Our reduction also shows that even any subexponential delay is not easy to achieve for enumerating minimal connected dominating sets. Another reduction shows that no FPT-algorithms can be expected for this extension problem concerning minimal connected dominating sets, parameterized by $|U|$. We also relate our enumeration problem to the famous open Hitting Set Transversal problem, which can be phrased in our context as the question to enumerate all minimal dominating sets of a graph with polynomial delay by showing that a polynomial-delay enumeration algorithm for minimal connected dominating sets implies an affirmative algorithmic solution to the Hitting Set Transversal problem.
△ Less
Submitted 29 April, 2022;
originally announced May 2022.
On the complexity of Broadcast Domination and Multipacking in digraphs
Authors:
Florent Foucaud,
Benjamin Gras,
Anthony Perez,
Florian Sikora
Abstract:
We study the complexity of the two dual covering and packing distance-based problems Broadcast Domination and Multipacking in digraphs. A dominating broadcast of a digraph $D$ is a function $f:V(D)\to\mathbb{N}$ such that for each vertex $v$ of $D$, there exists a vertex $t$ with $f(t)>0$ having a directed path to $v$ of length at most $f(t)$. The cost of $f$ is the sum of $f(v)$ over all vertices…
▽ More
We study the complexity of the two dual covering and packing distance-based problems Broadcast Domination and Multipacking in digraphs. A dominating broadcast of a digraph $D$ is a function $f:V(D)\to\mathbb{N}$ such that for each vertex $v$ of $D$, there exists a vertex $t$ with $f(t)>0$ having a directed path to $v$ of length at most $f(t)$. The cost of $f$ is the sum of $f(v)$ over all vertices $v$. A multipacking is a set $S$ of vertices of $D$ such that for each vertex $v$ of $D$ and for every integer $d$, there are at most $d$ vertices from $S$ within directed distance at most $d$ from $v$. The maximum size of a multipacking of $D$ is a lower bound to the minimum cost of a dominating broadcast of $D$. Let Broadcast Domination denote the problem of deciding whether a given digraph $D$ has a dominating broadcast of cost at most $k$, and Multipacking the problem of deciding whether $D$ has a multipacking of size at least $k$. It is known that Broadcast Domination is polynomial-time solvable for the class of all undirected graphs (that is, symmetric digraphs), while polynomial-time algorithms for Multipacking are known only for a few classes of undirected graphs. We prove that Broadcast Domination and Multipacking are both NP-complete for digraphs, even for planar layered acyclic digraphs of small maximum degree. Moreover, when parameterized by the solution cost/solution size, we show that the problems are W-hard. We also show that Broadcast Domination is FPT on acyclic digraphs, and that it does not admit a polynomial kernel for such inputs, unless the polynomial hierarchy collapses to its third level. In addition, we show that both problems are FPT when parameterized by the solution cost/solution size together with the maximum out-degree, and as well, by the vertex cover number. Finally, we give for both problems polynomial-time algorithms for some subclasses of acyclic digraphs.
△ Less
Submitted 2 May, 2020; v1 submitted 23 March, 2020;
originally announced March 2020.