Polynomial Kernels and Faster Algorithms 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 U 驴 V, 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驴 whose size depends only on k, and also has domination number equal to k. Note that the graph G驴 is constructed without knowing the value of k. All the constructions in this paper are of monotone kernels, that is, the kernel G驴 is a subgraph of the input graph G. 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 with n vertices that does not contain K h as a topological minor, our O(n 3.5 + k O(1)) time algorithm constructs a subgraph G驴 of G, such that if the domination number of G is k, then the domination number of G驴 is also k and G驴 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 K 3,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 K 3,h -minor-free. The only previous kernel results known for the dominating set problem are the existence of a linear kernel for the planar case as well as for graphs of bounded genus. Using the polynomial kernel construction, we give an $O(n^{3.5} + 2^{O(\sqrt{k})})$ time algorithm for finding a dominating set of size at most k in an H-minor-free graph with n vertices. This improves the running time of the previously best known algorithm.