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

Download:

Current browse context:

cs

References & Citations

Bookmark

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

Computer Science > Computational Complexity

Title: On the probabilistic approach to the random satisfiability problem

Abstract: In this note I will review some of the recent results that have been obtained in the probabilistic approach to the random satisfiability problem. At the present moment the results are only heuristic. In the case of the random 3-satisfiability problem a phase transition from the satisfiable to the unsatisfiable phase is found at $\alpha=4.267$. There are other values of $\alpha$ that separates different regimes and they will be described in details. In this context the properties of the survey decimation algorithm will also be discussed.
Comments: 11 pages, proceedings of SAT 2003
Subjects: Computational Complexity (cs.CC); Disordered Systems and Neural Networks (cond-mat.dis-nn)
ACM classes: G.3, G.2.1 G.3, G.2.1 G.3, G.2.1
Cite as: arXiv:cs/0308010 [cs.CC]
  (or arXiv:cs/0308010v1 [cs.CC] for this version)

Submission history

From: Giorgio Parisi [view email]
[v1] Tue, 5 Aug 2003 10:34:36 GMT (22kb)

Link back to: arXiv, form interface, contact.