Kernels for the Dominating Set Problem on Graphs with an Excluded Minor

The domination number of a graph G = (V,E) is the minimum size of a dominating set UV , which satisfies that every vertex in V \ U is adjacent to at least one vertex in U. The notion of a problem kernel refers to a polynomial time algorithm that achieves some provable reduction of the input size. Given a graph G whose domination number is k, the objective is to design a polynomial time algorithm that produces a graph G 0 whose size depends only on k, and also has domination number equal to k. Note that the graph G 0 is constructed without knowing the value of k. Problem kernels can be used to obtain efficient approximation and exact algorithms for the domination number, and are also useful in practical settings. In this paper, we present the first nontrivial result for the general case of graphs with an excluded minor, as follows. For every fixed h, given a graph G that does not contain Kh as a topological minor, our polynomial time algorithm constructs a subgraph G 0 of G, such that if the domination number of G is k, then the domination number of G 0 is also k and G 0 has at most k c vertices, where c is a constant that depends only on h. This result is improved for graphs that do not contain K3,h as a topological minor, using a simpler algorithm that constructs a subgraph with at most ck vertices, where c is a constant that depends only on h. Our results imply that there is a problem kernel of polynomial size for graphs with an excluded minor and a linear kernel for graphs that are K3,h-minor-free. The only previous kernel results known for the dominating set problem are the existence of a linear kernel for the

[1]  Rolf Niedermeier,et al.  Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs , 2002, Algorithmica.

[2]  Rolf Niedermeier,et al.  Polynomial-time data reduction for dominating set , 2002, JACM.

[3]  Erik D. Demaine,et al.  Fixed-parameter algorithms for (k, r)-center in planar graphs and map graphs , 2005, TALG.

[4]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[5]  Ge Xia,et al.  Parametric Duality and Kernelization: Lower Bounds and Upper Bounds on Kernel Size , 2005, STACS.

[6]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[7]  Dimitrios M. Thilikos,et al.  Fast Parameterized Algorithms for Graphs on Surfaces: Linear Kernel and Exponential Speed-Up , 2004, ICALP.

[8]  Rolf Niedermeier,et al.  A General Data Reduction Scheme for Domination in Graphs , 2006, SOFSEM.

[9]  Michael R. Fellows,et al.  The Dominating Set Problem Is Fixed Parameter Tractable for Graphs of Bounded Genus , 2002, SWAT.

[10]  A. Thomason An extremal function for contractions of graphs , 1984, Mathematical Proceedings of the Cambridge Philosophical Society.

[11]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[12]  Alexandr V. Kostochka,et al.  Lower bound of the hadwiger number of graphs by their average degree , 1984, Comb..

[13]  Andrew Thomason,et al.  The Extremal Function for Complete Minors , 2001, J. Comb. Theory B.

[14]  Michael R. Fellows,et al.  The dominating set problem is fixed parameter tractable for graphs of bounded genus , 2004, J. Algorithms.

[15]  Rolf Niedermeier,et al.  A refined search tree technique for Dominating Set on planar graphs , 2005, J. Comput. Syst. Sci..

[16]  Dimitrios M. Thilikos,et al.  Dominating sets in planar graphs: branch-width and exponential speed-up , 2003, SODA '03.

[17]  Erik D. Demaine,et al.  Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs , 2005, JACM.

[18]  Noga Alon,et al.  Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs , 2007, Algorithmica.

[19]  Béla Bollobás,et al.  Proof of a Conjecture of Mader, Erdös and Hajnal on Topological Complete Subgraphs , 1998, Eur. J. Comb..

[20]  Ljubomir Perkovic,et al.  Improved Parameterized Algorithms for Planar Dominating Set , 2002, MFCS.

[21]  János Komlós,et al.  Topological Cliques in Graphs , 1994, Combinatorics, Probability and Computing.

[22]  J. A. Bondy,et al.  Graph Theory with Applications , 1978 .