We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Condensed Matter > Disordered Systems and Neural Networks

Title: Survey-propagation decimation through distributed local computations

Abstract: We discuss the implementation of two distributed solvers of the random K-SAT problem, based on some development of the recently introduced survey-propagation (SP) algorithm. The first solver, called the "SP diffusion algorithm", diffuses as dynamical information the maximum bias over the system, so that variable nodes can decide to freeze in a self-organized way, each variable making its decision on the basis of purely local information. The second solver, called the "SP reinforcement algorithm", makes use of time-dependent external forcing messages on each variable, which let the variables get completely polarized in the direction of a solution at the end of a single convergence. Both methods allow us to find a solution of the random 3-SAT problem in a range of parameters comparable with the best previously described serialized solvers. The simulated time of convergence towards a solution (if these solvers were implemented on a distributed device) grows as log(N).
Comments: 18 pages, 10 figures
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn)
Journal reference: J. Stat. Mech. (2005) P11016
DOI: 10.1088/1742-5468/2005/11/P11016
Cite as: arXiv:cond-mat/0512002 [cond-mat.dis-nn]
  (or arXiv:cond-mat/0512002v1 [cond-mat.dis-nn] for this version)

Submission history

From: Joel Chavas [view email]
[v1] Wed, 30 Nov 2005 21:15:11 GMT (60kb)

Link back to: arXiv, form interface, contact.