Relaxation and metastability in a local search procedure for the random satisfiability problem

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

Volumn 67, Issue 6 2, 2003, Pages

  Semerjian, Guilhem ^a   Monasson, Rémi ^a,b  

^a LABORATOIRE DE PHYSIQUE STATISTIQUE   (France)

^b UNIVERSITÉ DE STRASBOURG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; BOOLEAN ALGEBRA; COMPUTER SIMULATION; CONSTRAINT THEORY; EIGENVALUES AND EIGENFUNCTIONS; GRAPH THEORY; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; MATHEMATICAL TRANSFORMATIONS; POISSON DISTRIBUTION; POLYNOMIALS;

RANDOM BOOLEAN CONSTRAINT; RANDOM SATISFIABILITY PROBLEM;

MARKOV PROCESSES;

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

References (48)

1. C.H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity (Prentice-Hall, Englewood Cliffs, 1982).
2. O. Martin, R. Monasson, and R. Zecchina, Theor. Comput. Sci. 265, 3-67 (2001).
3. M. Talagrand, Theor. Comput. Sci. 265, 69-77 (2001).
4. D. E. Knuth, Selected Papers on Analysis of Algorithms, Center for the Study of Language and Information, Stanford, CA, Report No. 102 (2000).
5. R. Sedgewick and P. Flajolet, Introduction to the Analysis of Algorithms (Addison-Wesley, Boston, 2001).
6. D. Achliotpas, Theor. Comput. Sci. 265, 159 (2001).
7. S. Cocco and R. Monasson, Phys. Rev. Lett. 86, 1654 (2001)
8. Eur. Phys. J. B 22, 505 (2001).
9. S. Cocco and R. Monasson, Phys. Rev. E 66, 037101 (2002).
10. M. Weight and A. Hartmann, Phys. Rev. Lett. 86, 1658 (2001).
11. A. Montanari and R. Zecchina, Phys. Rev. Lett. 88, 178701 (2002).
12. R. Motwani and P. Raghavan, Randomized Algorithms (Cambridge University Press, Cambridge, 1995).
13. C. H. Papadimitriou, in Proceedings of the 32nd Annual IEEE Symposium on Foundations of Computer Science, 1991, p. 163 (unpublished).
14. B. Selman, H. Levesque, and D. Mitchell, in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), edited by W. Swartout (AAAI Press, Washington, D.C./MIT Press, Cambridge, 1992).
15. T.M. Ligget, Stochastic Interacting Systems: Contact, Voter and Exclusion Processes (Springer, Berlin, 1999).
16. L.F. Cugliandolo. e-print cond-mat/0210312.
17. W. Barthel, A. Hartmann, and M. Weigt, Phys. Rev. E 67, 066104 (2003).
18. E. Friedgut, J. Amer. Math. Soc. 12, 1017 (1999).
19. A.C. Kaporis, L. M. Kirousis, and E.G. Lalas, in European Symposium on Algorithms, Lecture Notes in Computer Science, Vol. 2461 (Springer, Berlin, 2002), p. 574.
20. O. Dubois, Y. Boufkhad, and J. Mandler, SODA 2002, 126 (2002).
21. For a review on random 2-SAT, see, F. De la Vega, Theor. Comput. Sci. 265, 131 (2001).
22. G. Biroli, R. Monasson, and M. Weight, Eur. Phys. J. B 14, 551 (2000).
23. G. Parisi, (unpublished).
24. M. Mézard, G. Parisi, and R. Zechhina, Science (Washington, DC, U.S.) 297, 812 (2002)
25. M. Mézard and R. Zecchina, Phys. Rev. E 66, 056126 (2002).
26. A. Engel and C Van den Broeck, Statistical Mechanics of Learning (Cambridge University Press, Cambridge, 2000).
27. F. Ricci-Tersinghi, M. Weigt, and R. Zecchina, Phys. Rev. E 63, 026702 (1999)
28. S. Franz et al., ibid. 87, 127209 (2001).
29. R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. Lett. 89, 268701 (2002).
30. O. Dubois and J. Mandler, Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science, Vancouver, 2002 (unpublished)
31. S. Cocco, O. Dubois, J. Mandler, and R. Monasson, Phys. Rev. Lett. 90, 047205 (2003)
32. M. Mézard, F. Ricci-Tersenghi, and R. Zecchina (unpublished).
33. C.M. Newman and D.L. Stein, Phys. Rev. E 55, 5194 (1998)
34. C.M. Newman and D.L. Stein, in Mathematical Aspects of Spin Glasses and Neural Networks, edited by A. Bovier and P. Picco (Birkhäuser, Boston, 1998), pp. 243-287.
35. P. Svenson and M.G. Nordhal, Phys. Rev. E 59, 3983 (1999).
36. U. Schöning, Algorithmica 32, 615 (2002).
37. M. Alekhnovich and E. Ben-Sasson (unpublished).
38. A.J. Parkes, Lect. Notes Comput. Sci. 2470, 708 (2002).
39. L.P. Kadanoff and J. Swift, Phys. Rev. 165, 310 (1968).
40. R. Monasson and R. Zecchina, Phys. Rev. E 56, 1357 (1997).
41. G. Semerjian and L.F. Cugliandolo, Phys. Rev. E 64, 036115 (2001).
42. N. Creignou and H. Daudé, Discrete Appl. Math. 96-97, 41 (1999).
43. N. Creignou, H. Daudé, and O. Dubois, e-print cs.DM/0106001.
44. D. Achlioptas and Y. Peres (unpublished).
45. R.B. Griffiths, C.-Y. Weng, and J.S. Langer, Phys. Rev. 149, 301 (1966).
46. S.N. Laughton, A.C.C. Coolen, and D. Sherrington, J. Phys. A 29, 763 (1996).
47. N. Alon and J. Spencer, The Probabilistic Method (Wiley, New York, 2000).
48. D. Achlioptas and C. Moore, in Proceedings of the 43rd Annual Symposium on Foundations of Computer Science (FOCS'02), Vancouver, 2002, pp. 779-788 (unpublished).