An exact algorithm for connected red-blue dominating set

In the Connected Red-Blue Dominating Set problem we are given a graph G whose vertex set is partitioned into two parts R and B (red and blue vertices), and we are asked to find a connected subgraph induced by a subset S of B such that each red vertex of G is adjacent to some vertex in S. The problem can be solved in $\mathcal{O}^*(2^{n - |B|})$ time by reduction to the Weighted Steiner Tree problem. Combining exhaustive enumeration when |B| is small with the Weighted Steiner Tree approach when |B| is large, solves the problem in $\mathcal{O}^*(1.4143^n)$. In this paper we present a first non-trivial exact algorithm whose running time is in $\mathcal{O}^*(1.3645^n)$. We use our algorithm to solve the Connected Dominating Set problem in $\mathcal{O}^*(1.8619^n)$. This improves the current best known algorithm, which used sophisticated run-time analysis via the measure and conquer technique to solve the problem in $\mathcal{O}^*(1.8966^n)$.

[1]  Tetsuya Fujie,et al.  An exact algorithm for the maximum leaf spanning tree problem , 2003, Comput. Oper. Res..

[2]  Thomas C. van Dijk,et al.  Inclusion/Exclusion Meets Measure and Conquer Exact Algorithms for Counting Dominating Sets , 2009 .

[3]  Fabrizio Grandoni,et al.  Solving Connected Dominating Set Faster than 2 n , 2006, Algorithmica.

[4]  Andreas Björklund,et al.  Fourier meets möbius: fast subset convolution , 2006, STOC '07.

[5]  Michael R. Fellows,et al.  Parameterized complexity: A framework for systematically confronting computational intractability , 1997, Contemporary Trends in Discrete Mathematics.

[6]  Fedor V. Fomin,et al.  Efficient Exact Algorithms on Planar Graphs: Exploiting Sphere Cut Branch Decompositions , 2005, ESA.

[7]  Navid Imani Data reduction for connected dominating set , 2008 .

[8]  Jesper Nederlof Fast Polynomial-Space Algorithms Using Möbius Inversion: Improving on Steiner Tree and Related Problems , 2009, ICALP.

[9]  Hans L. Bodlaender,et al.  Design by Measure and Conquer, A Faster Exact Algorithm for Dominating Set , 2008, STACS.

[10]  Rolf Niedermeier,et al.  Fixed Parameter Algorithms for PLANAR DOMINATING SET and Related Problems , 2000, SWAT.

[11]  Xiuzhen Cheng,et al.  Connected Dominating Set in Sensor Networks and MANETs , 2004 .

[12]  Thomas C. van Dijk,et al.  Inclusion/Exclusion Meets Measure and Conquer , 2009, ESA.

[13]  Fabrizio Grandoni,et al.  Measure and Conquer: Domination - A Case Study , 2005, ICALP.

[14]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[15]  Henning Fernau,et al.  An exact algorithm for the Maximum Leaf Spanning Tree problem , 2009, Theor. Comput. Sci..

[16]  Alexander Vardy,et al.  The Parametrized Complexity of Some Fundamental Problems in Coding Theory , 1999, SIAM J. Comput..