References & Citations
Condensed Matter > Disordered Systems and Neural Networks
Title: Pairs of SAT Assignments and Clustering in Random Boolean Formulae
(Submitted on 2 Jun 2005 (this version), latest version 19 Sep 2007 (v3))
Abstract: We investigate geometrical properties of the random K-satisfiability problem. For large enough K, we prove that there exists a region of clause density, below the satisfiability threshold, where SAT assignments are grouped into well separated clusters. This confirms the validity of the clustering scenario which is at the heart of the recent heuristic analysis of satisfiability using statistical physics analysis (the cavity method), and its algorithmic counterpart (the survey propagation algorithm). Our method relies on the study of pairs of SAT-assignments at a fixed distance. It uses elementary probabilistic arguments (first and second moment methods), and might be useful in other problems of computational and physical interest where similar phenomena appear.
Submission history
From: Thierry Mora [view email] [via CCSD proxy][v1] Thu, 2 Jun 2005 15:35:36 GMT (44kb)
[v2] Fri, 10 Nov 2006 15:19:40 GMT (39kb)
[v3] Wed, 19 Sep 2007 10:10:42 GMT (43kb)
Link back to: arXiv, form interface, contact.