Using a Skewed Hamming Distance to Speed Up Deterministic Local Search

Schoening presents a simple randomized algorithm for (d,k)-CSP problems with running time (d(k-1)/k)^n poly(n). Here, d is the number of colors, k is the size of the constraints, and n is the number of variables. A derandomized version of this, given by Dantsin et al., achieves a running time of (dk/(k+1))^n poly(n), inferior to Schoening's. We come up with a simple modification of the deterministic algorithm, achieving a running time of (d(k-1)/k * k^d/(k^d-1))^n \poly(n). Though not completely eleminating the gap, this comes very close to the randomized bound for all but very small values of d. Our main idea is to define a graph structure on the set of d colors to speed up local search.

[1]  H. Wilf generatingfunctionology: Third Edition , 1990 .

[2]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[3]  Daniel Rolf,et al.  Improved Bound for the PPSZ/Schöning-Algorithm for 3-SAT , 2006, J. Satisf. Boolean Model. Comput..

[4]  Patrick Traxler The Time Complexity of Constraint Satisfaction , 2008, IWPEC.

[5]  Rajeev Motwani,et al.  Worst-case time bounds for coloring and satisfiability problems , 2002, J. Algorithms.

[6]  Andrei Giurgiu,et al.  Random walk algorithms for SAT , 2009 .

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

[8]  U. Schöning A probabilistic algorithm for k-SAT and constraint satisfaction problems , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[9]  Pavel Pudlák,et al.  Satisfiability Coding Lemma , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[10]  Dorit S. Hochbaum,et al.  Approximation Algorithms for NP-Hard Problems , 1996 .

[11]  Michael E. Saks,et al.  An improved exponential-time algorithm for k-SAT , 2005, JACM.

[12]  Walter Kern,et al.  An improved local search algorithm for 3-SAT , 2004, Electron. Notes Discret. Math..

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

[14]  Dominik Scheder,et al.  Guided Search and a Faster Deterministic Algorithm for 3-SAT , 2008, LATIN.

[15]  Russell Impagliazzo,et al.  Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..

[16]  J. Davenport Editor , 1960 .