Branch and Recharge: Exact algorithms for generalized domination - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

Branch and Recharge: Exact algorithms for generalized domination

Résumé

Let $\sigma$ and $\varrho$ be two sets of nonnegative integers. A vertex subset $S\subseteq V$ of an undirected graph $G=(V,E)$ is called a $(\sigma,\varrho)$-dominating set of $G$ if $|N(v)\cap S| \in \sigma$ for all $v\in S$ and $|N(v)\cap S| \in \varrho$ for all $v\in V\setminus S$. This notion introduced by Telle generalizes many domination-type graph invariants. For many particular choices of $\sigma$ and $\varrho$ it is NP-complete to decide whether an input graph has a $(\sigma,\varrho)$-dominating set. We show a general algorithm enumerating all $(\sigma,\varrho)$-dominating sets of an input graph $G$ in time $O^*(c^n)$ for some $c<2$ using only polynomial space, if $\sigma$ is successor-free, i.e., it does not contain two consecutive integers, and either both $\sigma$ and $\varrho$ are finite, or one of them is finite and $\sigma \cap \varrho = \emptyset$. Thus in this case one can find maximum and minimum $(\sigma,\varrho)$-dominating sets in time $o(2^n)$. Our algorithm straightforwardly implies a non trivial upper bound $c^n$ with $c<2$ for the number of $(\sigma,\varrho)$-dominating sets in an $n$-vertex graph under the above conditions on $\sigma$ and $\varrho$. Finally, we also present algorithms to find maximum and minimum \linebreak $(\{p\}, \{q\})$-dominating sets and to count the $(\{p\},\{q\})$-dominating sets of a graph in time $O^*(2^{n/2})$.

Dates et versions

hal-00460736 , version 1 (02-03-2010)

Identifiants

Citer

Fedor V. Fomin, Petr A. Golovach, Jan Kratochvil, Dieter Kratsch, Mathieu Liedloff. Branch and Recharge: Exact algorithms for generalized domination. WADS'2007 : 10th Workshop on Algorithms and Data Structures, Aug 2007, Halifax, Canada. pp.507-518, ⟨10.1007/978-3-540-73951-7_44⟩. ⟨hal-00460736⟩

Collections

UNIV-LORRAINE
29 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More