Analyzing Walksat on random formulas
Abstract
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from Papadimitriou (FOCS 1991)/Schoning (FOCS 1999) finds a satisfying assignment of F in polynomial time w.h.p. if m/n<\rho 2^k/k for a certain constant \rho>0. This is an improvement by a factor of $\Theta(k)$ over the best previous analysis of Walksat from Coja-Oghlan, Feige, Frieze, Krivelevich, Vilenchik (SODA 2009).
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2011
- DOI:
- 10.48550/arXiv.1106.0120
- arXiv:
- arXiv:1106.0120
- Bibcode:
- 2011arXiv1106.0120C
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Discrete Mathematics;
- 68R01
- E-Print:
- SIAM Journal on Computing 43 (2014) 1456 - 1485