Pushing Random Walk Beyond Golden Ratio

We propose a simple modification of a well-known Random Walk algorithm for solving the Satisfiability problem and analyze its performance on random CNFs with a planted solution. We rigorously prove that the new algorithm solves the Full CNF with high probability, and for random CNFs with a planted solution of high density finds an assignment that differs from the planted in only ε-fraction of variables. In the experiments the algorithm solves random CNFs with a planted solution of any density.

• Type: Conference
• Year: 2007
• Where: CSR
• Authors: Ehsan Amiri, Evgeny S. Skvortsov
• Keywords: CSR 2007, Planted Solution, Random Cnfs, Random Walk Algorithm