Derandomizing Non-uniform Color-Coding I

Color-coding, as introduced by Alon, Yuster, and Zwick, is a wellknown tool for algorithm design and can often be efficiently derandomized using universal hash functions. In the special case of only two colors, one can use (n, k)-universal sets for the derandomization. In this paper, we introduce (n, k, l)universal sets that are typically smaller and can be constructed faster. Nevertheless, for some problems they are still sufficient for derandomization and faster deterministic algorithms can be obtained. This particularly works well when the color-coding does not use a uniform probability distribution. To exemplify the concept, we present an algorithm for the Unique Coverage problem introduced by Demaine, Feige, Hajiaghayi, and Salavatipour. The example also shows how to extend the concept to multiple colors.

[1]  Kazuo Iwama,et al.  Improved upper bounds for 3-SAT , 2004, SODA '04.

[2]  Joachim Kneis,et al.  Divide-and-Color , 2006, WG.

[3]  Uwe Schöning A Probabilistic Algorithm for k-SAT and Constraint Satisfaction Problems , 1999, FOCS.

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

[5]  Russ Bubley,et al.  Randomized algorithms , 1995, CSUR.

[6]  Ronitt Rubinfeld,et al.  Spot-checkers , 1998, STOC '98.

[7]  Jürgen Giesl,et al.  SAT Solving for Termination Analysis with Polynomial Interpretations , 2007, SAT.

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

[9]  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).

[10]  J. Klop,et al.  WST ’ 04 7 th International Workshop on Termination , 2004 .

[11]  Walter Kern,et al.  An improved deterministic local search algorithm for 3-SAT , 2004, Theor. Comput. Sci..

[12]  Joel H. Spencer,et al.  Families of k-independent sets , 1973, Discret. Math..

[13]  T. Kraußer,et al.  A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption , 2007 .

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

[15]  Jon M. Kleinberg,et al.  A deterministic (2-2/(k+1))n algorithm for k-SAT based on local search , 2002, Theor. Comput. Sci..

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

[17]  Mesut Gunes,et al.  From Simulations to Testbeds — Architecture of the Hybrid MCG-Mesh Testbed , 2006 .

[18]  Hannes Moser,et al.  The Parameterized Complexity of the Unique Coverage Problem , 2007, ISAAC.

[19]  Erik D. Demaine,et al.  Combination can be hard: approximability of the unique coverage problem , 2006, SODA '06.

[20]  Fenghui Zhang,et al.  Randomized Divide-and-Conquer: Improved Path, Matching, and Packing Algorithms , 2009 .