Randomized Divide-and-Conquer: Improved Path, Matching, and Packing Algorithms

We propose a randomized divide-and-conquer technique that leads to improved randomized and deterministic algorithms for NP-hard path, matching, and packing problems. For the parameterized max-path problem, our randomized algorithm runs in time $O(4^{k}k^{2.7}m)$ and polynomial space (where m is the number of edges in the input graph), improving the previous best randomized algorithm for the problem that runs in time $O(5.44^{k}km)$ and exponential space. Our randomized algorithms for the parameterized max r-d matching and max r-set packing problems run in time $4^{(r-1)k}n^{O(1)}$ and polynomial space, improving the previous best algorithms for the problems that run in time $10.88^{rk}n^{O(1)}$ and exponential space. Moreover, our randomized algorithms can be derandomized to result in significantly improved deterministic algorithms for the problems, and they can be extended to solve other matching and packing problems.

[1]  Dimitrios M. Thilikos,et al.  Faster Fixed-Parameter Tractable Algorithms for Matching and Packing Problems , 2008, Algorithmica.

[2]  Weijia Jia,et al.  Using Nondeterminism to Design Efficient Deterministic Algorithms , 2004, Algorithmica.

[3]  Noga Alon,et al.  A Fast and Simple Randomized Parallel Algorithm for the Maximal Independent Set Problem , 1985, J. Algorithms.

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

[5]  Ioannis Koutis,et al.  Faster Algebraic Algorithms for Path and Packing Problems , 2008, ICALP.

[6]  Jianer Chen,et al.  Improved algorithms for path, matching, and packing problems , 2007, SODA '07.

[7]  Roded Sharan,et al.  Efficient Algorithms for Detecting Signaling Pathways in Protein Interaction Networks , 2006, J. Comput. Biol..

[8]  A. Nilli Perfect Hashing and Probability , 1994, Combinatorics, Probability and Computing.

[9]  Peter Shaw,et al.  Packing Edge Disjoint Triangles: A Parameterized View , 2004, IWPEC.

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

[11]  János Komlós,et al.  Storing a sparse table with O(1) worst case access time , 1982, 23rd Annual Symposium on Foundations of Computer Science (sfcs 1982).

[12]  Christian Sloper,et al.  Looking at the stars , 2004, Theor. Comput. Sci..

[13]  Hans L. Bodlaender,et al.  On Linear Time Minor Tests with Depth-First Search , 1993, J. Algorithms.

[14]  R. Karp,et al.  Conserved pathways within bacteria and yeast as revealed by global protein network alignment , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[15]  Ryan Williams,et al.  Finding paths of length k in O*(2k) time , 2008, Inf. Process. Lett..

[16]  Ioannis Koutis A faster parameterized algorithm for set packing , 2005, Inf. Process. Lett..