From one solution of a 3-satisfiability formula to a solution cluster: Frozen variables and entropy

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

Volumn 79, Issue 3, 2009, Pages

  Li, Kang ^a   Ma, Hui ^a   Zhou, Haijun ^a  

^a INSTITUTE OF THEORETICAL PHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BACKPROPAGATION; SPIN DYNAMICS;

BP ALGORITHMS; COMMUNITY STRUCTURES; CORE FORMATIONS; DIFFERENT MECHANISMS; ENTROPY VALUES; FIXED POINTS; LONG-RANGE FRUSTRATIONS; SATISFIABILITY; SATISFIABILITY THRESHOLDS; SPIN FLIPS; SPIN VALUES; WALK-SAT ALGORITHMS;

BACKPROPAGATION ALGORITHMS;

EID: 63149124783     PISSN: 15393755     EISSN: 15502376     Source Type: Journal    
DOI: 10.1103/PhysRevE.79.031102     Document Type: Article

References (43)

1. S. A. Cook, in Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, edited by, P. M. Lewis, (ACM, New York, 1971), pp. 151-158.
2. D. Mitchell, B. Selman, and H. Levesque, in Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, 1992, edited by, P. Rosenbloom, and, P. Szolovits, (AAAI Press, Menlo Park, California, 1992), pp. 459-465.
3. S. Kirkpatrick and B. Selman, Science 264, 1297 (1994). 10.1126/science.264.5163.1297
4. R. Monasson and R. Zecchina, Phys. Rev. Lett. 76, 3881 (1996). 10.1103/PhysRevLett.76.3881
5. G. Biroli, R. Monasson, and M. Weigt, Eur. Phys. J. B 14, 551 (2000). 10.1007/s100510051065
6. S. Franz, M. Mézard, F. Ricci-Tersenghi, M. Weigt, and R. Zecchina, Europhys. Lett. 55, 465 (2001). 10.1209/epl/i2001-00438-4
7. S. Cocco and R. Monasson, Phys. Rev. Lett. 86, 1654 (2001). 10.1103/PhysRevLett.86.1654
8. M. Mézard, G. Parisi, and R. Zecchina, Science 297, 812 (2002). 10.1126/science.1073287
9. M. Mézard and R. Zecchina, Phys. Rev. E 66, 056126 (2002). 10.1103/PhysRevE.66.056126
10. M. Mézard, T. Mora, and R. Zecchina, Phys. Rev. Lett. 94, 197205 (2005). 10.1103/PhysRevLett.94.197205
11. M. Mézard, M. Palassini, and O. Rivoire, Phys. Rev. Lett. 95, 200202 (2005). 10.1103/PhysRevLett.95.200202
12. F. Krzakala, A. Montanari, F. Ricci-Tersenghi, G. Semerjian, and L. Zdeborova, Proc. Natl. Acad. Sci. U.S.A. 104, 10318 (2007). 10.1073/pnas. 0703685104
13. A. Montanari, F. Ricci-Tersenghi, and G. Semerjian, J. Stat. Mech.: Theory Exp. (2008) P04004. 10.1088/1742-5468/2008/04/P04004
14. H. Zhou, Phys. Rev. E 77, 066102 (2008). 10.1103/PhysRevE.77.066102
15. L. Zdeborova and F. Krzakala, Phys. Rev. E 76, 031131 (2007). 10.1103/PhysRevE.76.031131
16. B. Selman, H. Levesque, and D. Mitchell, in Proceedings of the 10th National Conference on Artificial Intelligence, pp. 440-446.
17. B. Selman, H. Kautz, and B. Cohen, in Cliques, Coloring, and Satisfiability, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, edited by, D. S. Johnson, and, M. A. Trick, (American Mathematical Society Press, Providence, Rhode Island, 1996), Vol. 26, pp. 521-532.
18. S. Seitz, M. Alava, and P. Orponen, J. Stat. Mech.: Theory Exp. (2005) P06006. 10.1088/1742-5468/2005/06/P06006
19. M. Alava, J. Ardelius, E. Aurell, P. Kaski, S. Krishnamurthy, P. Orponen, and S. Seitz, Proc. Natl. Acad. Sci. U.S.A. 105, 15253 (2008). 10.1073/pnas.0712263105
20. A. Montanari, F. Ricci-Tersenghi, and G. Semerjian, e-print arXiv:0709.1667v2.
21. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Nature (London) 400, 133 (1999). 10.1038/22055
22. F. Krzakala and L. Zdeborova, J. Phys.: Conf. Ser. 95, 012012 (2007). 10.1088/1742-6596/95/1/012012
23. J. Ardelius and L. Zdeborova, Phys. Rev. E 78, 040101 (R) (2008). 10.1103/PhysRevE.78.040101
24. L. Zdeborová and M. Mézard, Phys. Rev. Lett. 101, 078702 (2008). 10.1103/PhysRevLett.101.078702
25. A. Montanari and G. Semerjian, J. Stat. Phys. 124, 103 (2006). 10.1007/s10955-006-9103-1
26. G. Semerjian, J. Stat. Phys. 130, 251 (2008). 10.1007/s10955-007-9417-7
27. M. Mézard and G. Parisi, Eur. Phys. J. B 20, 217 (2001). 10.1007/PL00011099
28. G. Parisi, e-print arXiv:0212047v2.
29. A. Braunstein and R. Zecchina, J. Stat. Mech.: Theory Exp. (2004) P06007. 10.1088/1742-5468/2004/06/P06007
30. H. Zhou, Phys. Rev. Lett. 94, 217203 (2005). 10.1103/PhysRevLett.94. 217203
31. H. Zhou, New J. Phys. 7, 123 (2005). 10.1088/1367-2630/7/1/123
32. A. Braunstein, M. Mézard, and R. Zecchina, Random Struct. Algorithms 27, 201 (2005). 10.1002/rsa.20057
33. W. Barthel, A. K. Hartmann, M. Leone, F. Ricci-Tersenghi, M. Weigt, and R. Zecchina, Phys. Rev. Lett. 88, 188701 (2002). 10.1103/PhysRevLett.88.188701
34. U. Feige, E. Mossel, and D. Vilenchik, Lect. Notes Comput. Sci. 4110, 339 (2006). 10.1007/11830924-32
35. F. Altarelli, R. Monansson, and F. Zamponi, J. Phys. A 40, 867 (2007). 10.1088/1751-8113/40/5/001
36. E. Maneva, E. Mossel, and M. J. Wainwright, in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms, Vancouver, 2005, edited by, A. Buchsbaum, (ACM, New York, 2005), pp. 1089-1098.
37. D. Achlioptas and F. Ricci-Tersenghi, in Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, 2006, edited by, J. Kleinberg, (ACM, New York, 2006), pp. 130-139.
38. L. Kroc, A. Sabharwal, and B. Selman, in Proceedings of the 23rd Conference on Uncertainty in Artificial Intelligence, Vancouver, 2007, edited by, R. Parr, and, L. van der Gaag, (AUAI Press, Arlington, Virginia, 2007), pp. 217-226.
39. M. Chertkov and V. Y. Chernyak, J. Stat. Mech.: Theory Exp. (2006) P06009. 10.1088/1742-5468/2006/06/P06009
40. L. Dall'Asta, A. Ramezanpour, and R. Zecchina, Phys. Rev. E 77, 031118 (2008). 10.1103/PhysRevE.77.031118
41. M. Pretti, J. Stat. Mech.: Theory Exp. (2005) P11008. 10.1088/1742-5468/2005/11/P11008
42. Lukas Kroc (private communication).
43. K. Li, H. Ma, and H. Zhou (unpublished).