Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms

Physical Review E - Statistical, Nonlinear, and Soft Matter Physics

Volumn 67, Issue 6 2, 2003, Pages

  Barthel, Wolfgang ^a   Hartmann, Alexander K ^a   Weight, Martin ^a  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; CALCULATIONS; CONFORMAL MAPPING; GRAPH THEORY; LINEAR EQUATIONS; MATHEMATICAL MODELS; MONTE CARLO METHODS; OPTIMIZATION; POLYNOMIALS; PROBLEM SOLVING; STATISTICAL MECHANICS;

COMBINATORIAL OPTIMIZATION; RANDOM SATISFIABILITY PROBLEM; STOCHASTIC LOCAL SEARCH ALGORITHM;

MARKOV PROCESSES;

EID: 42749105046     PISSN: 1063651X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Special issue of Artif. Intel. 81 (1996).
2. Special issue of Theor. Comput. Sci. 265 (2001).
3. R. Monasson and R. Zecchina, Phys. Rev. Lett. 75, 2432 (1995)
4. R. Monasson and R. Zecchina, Phys. Rev. E 56, 1357 (1997).
5. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Nature (London) 400, 133 (1999).
6. G. Biroli, R. Monasson, and M. Weigt, Eur. Phys. J. B 14, 551 (2000).
7. M. Mézard, G. Parisi, and R. Zecchina, Science (Washington, DC, U.S.) 297, 812 (2002).
8. M. Mézard and R. Zecchina, Phys. Rev. E 66, 056126 (2002).
9. S. Mertens, Phys. Rev. Lett. 81, 4281 (1998).
10. S. Mertens, Phys. Rev. Lett. 84, 1347 (2000).
11. M. Weigt and A.K. Hartmann, Phys. Rev. Lett. 84, 6118 (2000).
12. A.K. Hartmann and M. Weigt, Theor. Comput. Sci. 265, 199 (2001).
13. M. Weigt and A.K. Hartmann, Phys. Rev. E 63, 056127 (2001).
14. R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. Lett. 89, 268701 (2002).
15. D. Achlioptas, Theor. Comput. Sci. 265, 159 (2001).
16. J. Franco, Theor. Comput. Sci. 265, 147 (2001).
17. M. Weigt, Eur. Phys. J. B 28, 369 (2002).
18. S. Cocco and R. Monasson, Phys. Rev. Lett. 86, 1654 (2001).
19. M. Weigt and A.K. Hartmann, Phys. Rev. Lett. 86, 1658 (2001).
20. S. Cocco and R. Monasson, Eur. Phys. J. B 22, 505 (2001).
21. A. Montanari and R. Zecchina, Phys. Rev. Lett. 88, 178701 (2002).
22. S. Cocco and R. Monasson, Phys. Rev. E 66, 037101 (2002).
23. B. Selman, H. Kautz, and B. Cohen, in Cliques, Coloring and Satisfiability, edited by D.S. Johnson and M.A. Trick, DIMACS Series Vol. 26 (AMS, Providence, 1996).
24. G. Semerjian and R. Monasson, Phys. Rev. E 67, 066103 (2003).
25. M.R. Garey and D.S. Johnson, Computers and Intractability (Freeman, New York, 1979).
26. B. Selman and S. Kirkpatrick, Science (Washington, DC, U.S.) 264, 1297 (1994).
27. F. Ricci-Tersenghi, M. Weigt, and R. Zecchina, Phys. Rev. E 63, 026702 (2001).
28. S. Cocco, O. Dubois, J. Mandler, and R. Monasson, Phys. Rev. Lett. (to be published).
29. M. Mézard, F. Ricci-Tersenghi, and R. Zecchina, e-print cond-mat/027140.
30. S. Franz, M. Mézard, F. Ricci-Tersenghi, M. Weigt, and R. Zecchina, Europhys. Lett. 55, 465 (2001).
31. See the SATLIB athttp://www.satlib.org/
32. B. Selman, H. Levesque, and D. Mitchell, in Proceedings of the 10th National Conference on Artificial Intelligence, edited by W.R. Swartout (MIT Press, Cambridge, MA, 1992), Vol. 440.
33. H.H. Hoos and T. Stützle, J. Automated Reasoning 24, 421 (2000).
34. U. Schöning, Algorithmica 32, 615 (2002).
35. E. Dantsin, A. Goerdt, E.A. Hirsch, and U. Schöning, in Proceedings of the International Colloques on Automata, Languages and Programming, 2000, edited by U. Montanari, J.D.P. Rolim, and E. Welzl (Springer, New York, 2000).
36. As we will see later on, the case q < 1 is not well described by the independent-neighbor approximation. This is also true for the stronger Poissonian approximation.