A variational description of the ground state structure in random satisfiability problems

European Physical Journal B

Volumn 14, Issue 3, 2000, Pages 551-568

  Biroli, G ^a,b   Monasson, R ^a   Weigt, M ^a  

^a LABORATOIRE DE PHYSIQUE STATISTIQUE   (France)

^b Institut für theoretische Physik   (Germany)

Author keywords

05.20. y Classical statistical mechanics; 64.60. i General studies of phase transitions; 89.90.+n Other topics of general interest to physicists

Indexed keywords

EID: 0042910425     PISSN: 14346028     EISSN: None     Source Type: Journal    
DOI: 10.1007/s100510051065     Document Type: Article

References (45)

1. P. Cheeseman, B. Kanefsky, W.M. Taylor, in Proc. 13th Int. Joint Conf. Artif. Intell. (IJCAI-91), edited by J. Mylopoulos, K. Reiter, (Morgan Kaufmann, San Mateo, California, 1991), p. 331; D. Mitchell, B. Selman, H. Levesque, in Proc. 10th Natl. Conf. on Artif. Intell. (AAAI-92), (AAAI Press/MIT Press, Cambridge, Massachusetts, 1992), p. 440; Frontiers in problem solving: phase transitions and complexity, edited by T. Hogg, B.A. Huberman, C. Williams, Artif. Intell. 81 (I+II) (1996).
2. P. Cheeseman, B. Kanefsky, W.M. Taylor, in Proc. 13th Int. Joint Conf. Artif. Intell. (IJCAI-91), edited by J. Mylopoulos, K. Reiter, (Morgan Kaufmann, San Mateo, California, 1991), p. 331; D. Mitchell, B. Selman, H. Levesque, in Proc. 10th Natl. Conf. on Artif. Intell. (AAAI-92), (AAAI Press/MIT Press, Cambridge, Massachusetts, 1992), p. 440; Frontiers in problem solving: phase transitions and complexity, edited by T. Hogg, B.A. Huberman, C. Williams, Artif. Intell. 81 (I+II) (1996).
3. P. Cheeseman, B. Kanefsky, W.M. Taylor, in Proc. 13th Int. Joint Conf. Artif. Intell. (IJCAI-91), edited by J. Mylopoulos, K. Reiter, (Morgan Kaufmann, San Mateo, California, 1991), p. 331; D. Mitchell, B. Selman, H. Levesque, in Proc. 10th Natl. Conf. on Artif. Intell. (AAAI-92), (AAAI Press/MIT Press, Cambridge, Massachusetts, 1992), p. 440; Frontiers in problem solving: phase transitions and complexity, edited by T. Hogg, B.A. Huberman, C. Williams, Artif. Intell. 81 (I+II) (1996).
4. M.R. Garey, D.S. Johnson, Computers and Intractability, A Guide to the Theory of NP-Completeness (Freeman, San Francisco, 1979).
5. C. Papadimitriou, Computational Complexity, (Addison-Wesley, Readings, 1994).
6. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, L. Troyansky, Nature 400, 133 (1999).
7. A. Goerdt, in Proc. 7th Int. Symp. on Mathematical Foundations of Computer Science (1992), p. 264; V. Chantal, B. Reed, in Proc. 33rd IEEE Symp. on Foundations of Computer Science (IEEE Comp. Soc. Press, New York, 1992), p. 620.
8. A. Goerdt, in Proc. 7th Int. Symp. on Mathematical Foundations of Computer Science (1992), p. 264; V. Chantal, B. Reed, in Proc. 33rd IEEE Symp. on Foundations of Computer Science (IEEE Comp. Soc. Press, New York, 1992), p. 620.
9. J.M. Crawford, L.D. Auton, in Proc. 11th Natl. Conf. on Artif. Intell. (AAAI-93) (AAAI Press, Menlo Park, California, 1993), p. 21.
10. B. Selman, S. Kirkpatrick, Science 264, 1297 (1994).
11. C. De Dominicis, P. Mottishaw, J. Phys. A 20, L375 (1987).
12. R. Monasson, R. Zecchina, Phys. Rev. Lett. 76, 3881 (1996); Phys. Rev. E 56, 1357 (1997)
13. R. Monasson, R. Zecchina, Phys. Rev. Lett. 76, 3881 (1996); Phys. Rev. E 56, 1357 (1997)
14. R. Monasson, R. Zecchina, J. Phys. A 31, 9209 (1998).
15. R. Monasson, J. Phys. A 31, 513 (1998).
16. A.Z, Broder, A.M. Frieze, E. Upfal, in Proc. 4th Annual ACM-SIAM Symp. on Discrete Algorithms, 322 (1993).
17. M. Mézard, G. Parisi, M. Virasoro, Spin Glass Theory and Beyond (World Scientific, Singapore, 1987).
18. This is a general problem, which arises in the study of disordered spin systems with finite connectivity. So far, an exact replica symmetry breaking solution has been found for the diluted p-spin model when p → +∞ only [8].
19. E.I. Shaknovich, A.M. Gutin, Europhys. Lett. 8, 327 (1991); M. Mézard, G. Parisi J. Phys. A 23, L-1229 (1990); J. Phys. I France 1, 809 (1991).
20. E.I. Shaknovich, A.M. Gutin, Europhys. Lett. 8, 327 (1991); M. Mézard, G. Parisi J. Phys. A 23, L-1229 (1990); J. Phys. I France 1, 809 (1991).
21. E.I. Shaknovich, A.M. Gutin, Europhys. Lett. 8, 327 (1991); M. Mézard, G. Parisi J. Phys. A 23, L-1229 (1990); J. Phys. I France 1, 809 (1991).
22. E. Gardner, Nucl. Phys. B 257, 747 (1985); A. Crisanti, H.J. Sommers, Z. Phys. B 87, 341 (1992).
23. E. Gardner, Nucl. Phys. B 257, 747 (1985); A. Crisanti, H.J. Sommers, Z. Phys. B 87, 341 (1992).
24. P. Svenson, M. G. Nordahl, Phys. Rev. E 59, 3983 (1999).
25. L.F. Cugliandolo, J. Kurchan, Phys. Rev. Lett. 71, 173 (1993); J.P. Bouchaud, L.F. Cugliandolo, J. Kurchan, M. Mézard, in Spin Glasses and Random Fields, edited by A.P. Young (World Scientific, Singapore, 1998).
26. L.F. Cugliandolo, J. Kurchan, Phys. Rev. Lett. 71, 173 (1993); J.P. Bouchaud, L.F. Cugliandolo, J. Kurchan, M. Mézard, in Spin Glasses and Random Fields, edited by A.P. Young (World Scientific, Singapore, 1998).
27. 1 ≈ 20, then a systematic deviation showed up.
28. R. Monasson, Phys. Rev. Lett. 75, 2847 (1995).
29. S. Franz, G. Parisi, J. Phys. I France 5, 1401 (1995).
30. R. Monasson, D. O'Kane. Europhys. Lett. 27, 85 (1994); S. Cocco, Tesi di Laurea, Roma (1995); S. Cocco, R. Monasson, R. Zecchina, Phys. Rev. E 54, 717 (1996); M. Weigt, A. Engel, Phys. Rev. E 55, 4552 (1997).
31. R. Monasson, D. O'Kane. Europhys. Lett. 27, 85 (1994); S. Cocco, Tesi di Laurea, Roma (1995); S. Cocco, R. Monasson, R. Zecchina, Phys. Rev. E 54, 717 (1996); M. Weigt, A. Engel, Phys. Rev. E 55, 4552 (1997).
32. R. Monasson, D. O'Kane. Europhys. Lett. 27, 85 (1994); S. Cocco, Tesi di Laurea, Roma (1995); S. Cocco, R. Monasson, R. Zecchina, Phys. Rev. E 54, 717 (1996); M. Weigt, A. Engel, Phys. Rev. E 55, 4552 (1997).
33. R. Monasson, D. O'Kane. Europhys. Lett. 27, 85 (1994); S. Cocco, Tesi di Laurea, Roma (1995); S. Cocco, R. Monasson, R. Zecchina, Phys. Rev. E 54, 717 (1996); M. Weigt, A. Engel, Phys. Rev. E 55, 4552 (1997).
34. Th.M. Nieuwenhuizen, J. Phys. I France 4, 1819 (1996); M.E. Ferrero, G. Parisi, P. Ranieri, J. Phys. A 29, L569 (1996).
35. Th.M. Nieuwenhuizen, J. Phys. I France 4, 1819 (1996); M.E. Ferrero, G. Parisi, P. Ranieri, J. Phys. A 29, L569 (1996).
36. T. Temesvari, C. de Dominicis, I. Kondor, J. Phys. A 27, 7569 (1994).
37. D. Achilioptas, L.M. Kirousis, E. Kranakis, D. Krinzac, in Proc. of RALCOM 97 (1997), p. 1.
38. K.Y.M. Wong, D. Sherrington, J. Phys. A 21, L459 (1988).
39. L. Kirousis, E. Kranakis, D. Krizanc, in Proc. of the 4th European Symposium on Algorithms, (1992), p. 27-38; O. Dubois, Y. Boufkhad, J. Algorithms 24, 395-420 (1997).
40. L. Kirousis, E. Kranakis, D. Krizanc, in Proc. of the 4th European Symposium on Algorithms, (1992), p. 27-38; O. Dubois, Y. Boufkhad, J. Algorithms 24, 395-420 (1997).
41. c = 4.25-4.3. The latter entropy values would require at least 10-12% of under-constrained spins.
42. In fact, a zero-entropy criterion is frequently used in discrete infinite connectivity models in order to locate T = 0 phase transitions, e.g. in the case of the learning behavior of binary neural networks [31].
43. U. Behn, J.L. van Hemmen, R. Kühn, A. Lange, V.A. Zagrebnov, Physica D 68, 401 (1993).
44. W. Krauth, M. Mézard, J. Phys. France 50, 3059 (1989); G. Györgyi, Phys. Rev. Lett. 64, 2957 (1990).
45. W. Krauth, M. Mézard, J. Phys. France 50, 3059 (1989); G. Györgyi, Phys. Rev. Lett. 64, 2957 (1990).