Clustering of solutions in the random satisfiability problem

Physical Review Letters

Volumn 94, Issue 19, 2005, Pages

  Mezard M ^a   Mora, T ^a   Zecchina, R ^b  

^a UNIVERSITÉ PARIS SUD   (France)

^b ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

RANDOM K-SAT PROBLEM; RANDOM SATISFIABILITY PROBLEM;

ELEMENTARY PARTICLES; PROBLEM SOLVING; RANDOM PROCESSES;

HIGH ENERGY PHYSICS;

EID: 27144439070     PISSN: 00319007     EISSN: 10797114     Source Type: Journal    
DOI: 10.1103/PhysRevLett.94.197205     Document Type: Article

References (30)

1. M. Sellitto, G. Biroli, and C. Toninelli, Europhys. Lett. 69, 496 (2005). EULEEJ 0295-5075 10.1209/epl/i2004-10372-5
2. J. Barré, cond-mat/0408385 [Phys. Rev. Lett. (to be published)].
3. Robert G. Gallagher, Information Theory and Reliable Communication (Wiley, New York, 1968).
4. David J.C. MacKay, Information Theory, Inference & Learning Algorithms (Cambridge University Press, Cambridge, 2002).
5. Stephen Cook, in Proceedings of the Third Annual ACM Symposium on Theory of Computing, Shaker Heights, Ohio, United States, (ACM Press, New York, 1971), p. 151.
6. R. Monasson and R. Zecchina, Phys. Rev. E 56, 1357 (1997). PLEEE8 1063-651X 10.1103/PhysRevE.56.1357
7. Special issue on Frontiers in Problem Solving: Phase Transitions and Complexity, edited by, T. Hogg, B.A. Huberman, and, C. Williams, [Artif. Intell. AINTBB 0004-3702 81, 1 (1996). 10.1016/0004-3702(95)00044-5
8. Special Issue on NP-hardness and Phase transitionls, edited by, O. Dubois, R. Monasson, B. Selman, and, R. Zecchina, [Theor. Comput. Sci. TCSCDI 0304-3975 265 1 (2001)]. 10.1016/S0304-3975(01)00133-5
9. S. Kirkpatrick and B. Selman, Science SCIEAS 0036-8075 264, 1297 (1994).
10. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyanski, Nature (London) NATUAS 0028-0836 400, 133 (1999). 10.1038/22055
11. E. Friedgut, J. Am. Math. Soc. 1088-6834 12, 1017 (1999). 10.1090/S0894-0347-99-00305-7
12. L.M. Kirousis, E. Kranakis, and D. Krizanc, School of Computer Science-Carleton University Technical Report No. TR-96-09, 1996 (unpublished).
13. O. Dubois and Y. Boufkhad, Journal of Algorithms JOALDV 0196-6774 24, 395 (1997). 10.1006/jagm.1997.0867
14. M.-T. Chao and J. Franco, Information Sciences (NY) ISIJBC 0020-0255 51, 289 (1990). 10.1016/0020-0255(90)90030-E
15. A.M. Frieze and S. Suen, Journal of Algorithms JOALDV 0196-6774 20, 312 (1996). 10.1006/jagm.1996.0016
16. D. Achlioptas and C. Moore, Proc. Foundations of Computer Science (2002).
17. D. Achlioptas, Y. Peres, J. Am. Math. Soc. 1088-6834 17, 947 (2004). 10.1090/S0894-0347-04-00464-3
18. M. Mézard and G. Parisi, J. Stat. Phys. 111, 1 (2003). JSTPSB 0022-4715 10.1023/A:1022221005097
19. M. Mézard and R. Zecchina, Phys. Rev. E 66, 056126 (2002). PLEEE8 1063-651X 10.1103/PhysRevE.66.056126
20. M. Mézard, G. Parisi, and R. Zecchina, Science SCIEAS 0036-8075 297, 812 (2002). 10.1126/science.1073287 Threshold values of Random K-SAT from the cavity method " (to be published).
21. A. Montanari and F. Ricci-Tersenghi, Eur. Phys. J. B EPJBFY 1434-6028 B33, 339 (2003). 10.1140/epjb/e2003-00174-7
22. A. Montanari, G. Parisi, and F. Ricci-Tersenghi, J. Phys. A JPHAC5 0305-4470 37, 2073 (2004). 10.1088/0305-4470/37/6/008
23. G. Semerjian and R. Monasson, Proceedings of the SAT 2003 Conference, edited by, E. Giunchiglia, and, A. Tacchella, Lect. Notes Comput. Sci. Vol. 2919 (Springer), New York, New York, 2004), p. 120. LNCSD9 0302-9743
24. R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. Lett. 89, 268701 (2002). PRLTAO 0031-9007 10.1103/PhysRevLett.89.268701
25. A. Braunstein, R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. E 68, 036702 (2003). PLEEE8 1063-651X 10.1103/PhysRevE.68.036702
26. O.C. Martin, M. Mézard, and O. Rivoire, Phys. Rev. Lett. 93, 217205 (2004). PRLTAO 0031-9007 10.1103/PhysRevLett.93.217205
27. A. Montanari, Eur. Phys. J. B EPJBFY 1434-6028 B23, 121 (2001). 10.1007/s100510170089
28. M. Mézard, F. Ricci-Tersenghi, and R. Zecchina, J. Stat. Phys. 111, 505 (2003). JSTPSB 0022-4715 10.1023/A:1022886412117
29. S. Cocco, O. Dubois, J. Mandler, and R. Monasson, Phys. Rev. Lett. 90, 047205 (2003). PRLTAO 0031-9007 10.1103/PhysRevLett.90.047205
30. M. Mézard, T. Mora, and R. Zecchina (to be published).