Linear Time Algorithms for Finding a Dominating Set of Fixed Size in Degenerated Graphs

There is substantial literature dealing with fixed parameter algorithms for the dominating set problem on various families of graphs. In this paper, we give a kO(dk)n time algorithm for finding a dominating set of size at most k in a d-degenerated graph with n vertices. This proves that the dominating set problem is fixed-parameter tractable for degenerated graphs. For graphs that do not contain Kh as a topological minor, we give an improved algorithm for the problem with running time (O(h))hkn. For graphs which are Kh-minor-free, the running time is further reduced to (O(log h))hk/2n. Fixed-parameter tractable algorithms that are linear in the number of vertices of the graph were previously known only for planar graphs.For the families of graphs discussed above, the problem of finding an induced cycle of a given length is also addressed. For every fixed H and k, we show that if an H-minor-free graph G with n vertices contains an induced cycle of size k, then such a cycle can be found in O(n) expected time as well as in O(nlog n) worst-case time. Some results are stated concerning the (im)possibility of establishing linear time algorithms for the more general family of degenerated graphs.

[1]  Rolf Niedermeier,et al.  Refined Search Tree Technique for DOMINATING SET on Planar Graphs , 2001, MFCS.

[2]  Leizhen Cai,et al.  Random Separation: A New Method for Solving Fixed-Cardinality Optimization Problems , 2006, IWPEC.

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

[4]  Frank Harary,et al.  Graph Theory , 2016 .

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

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

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

[8]  Gérard D. Cohen,et al.  Generalized hashing and parent-identifying codes , 2003, J. Comb. Theory, Ser. A.

[9]  JANOS KOMLOS,et al.  Topological cliques in graphs II , 1994, Combinatorics, Probability and Computing.

[10]  Mam Riess Jones Color Coding , 1962, Human factors.

[11]  Raphael Yuster,et al.  Detecting short directed cycles using rectangular matrix multiplication and dynamic programming , 2004, SODA '04.

[12]  Noga Alon,et al.  Finding and counting given length cycles , 1997, Algorithmica.

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

[14]  Alon Itai,et al.  Finding a minimum circuit in a graph , 1977, STOC '77.

[15]  Aravind Srinivasan,et al.  Splitters and near-optimal derandomization , 1995, Proceedings of IEEE 36th Annual Foundations of Computer Science.

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

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

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

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

[20]  Raphael Yuster,et al.  Finding Even Cycles Even Faster , 1994, SIAM J. Discret. Math..

[21]  Elwood S. Buffa,et al.  Graph Theory with Applications , 1977 .

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

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

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

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

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

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

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

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