Phase transitions and computational difficulty in random constraint satisfaction problems

Journal of Physics: Conference Series

Volumn 95, Issue 1, 2008, Pages

  Krza̧kała, Florent ^a   Zdeborová, Lenka ^b  

^a Centre National de la Recherche Scientifique   (France)

^b UNIVERSITÉ PARIS SUD   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 41849104567     PISSN: 17426588     EISSN: 17426596     Source Type: Conference Proceeding    
DOI: 10.1088/1742-6596/95/1/012012     Document Type: Article

References (55)

1. Cook S 1971 Proc. 3rd Ann. ACM Symp. on Theory of Computing (ACM, New York) p 151-158
2. Papadimitrious C H 1994 Computational Complexity (Addison-Wesley, Reading, MA)
3. Garey M R and Johnson D S 1979 Computers and Intractability (Freeman, San Francisco)
4. Dubois O, Monasson R, Selman B and Zecchina R 2001 special issue Theor. Comput. Sci. 265
5. Hartmann A K and Weigt M 2005 Phase Transitions in Combinatorial Optimization Problems (Wiley-VCH, Berlin)
6. Mézard M, Parisi G and Virasoro M A 1997 Spin-glass Theory and Beyond (Singapore: World Scientific)
7. Monasson R, Zecchina R, Kirkpatrick S, Selman B and Troyansky L 1999 Nature 400 133
8. Mézard M, Parisi G and Zecchina R 2002 Science 297 812
9. Mézard M and Zecchina R 2002 Phys. Rev. E 66 056126
10. Braunstein A, Mézard M and Zecchina R 2005 Random Struct. Algorithms 27 201
11. Friedgut E and Bourgain J 1999 J. the American Math. Society 12 4
12. Achlioptas D and Friedgut E 1999 Random Struct. Algorithms 14 1
13. Cheeseman P, Kanefsky B and Waylor W M 1991 Proc. Twelfth Int. Joint Conf. on Artificial Intelligence (Sydney, Australia)
14. Selman B and Kirkpatrick S 1996 Artif. Intell. 81 273
15. Selman B, Mitchell D G and Levesque H J 1996 ibid. 81 17
16. Kanter I et Sompolinsky H 1987 J. Phys. A: Math. Gen. 20 L673
17. Gross D J, Kanter I and Sompolinsky H 1985 Phys. Rev. Lett. 55 304
18. Mézard M and Parisi G 2001 Eur. Phys. J. B 20 217
19. 2003 J. Stat. Phys 111 1-2 1
20. Yedidia J S, Freeman W T and Weiss Y 2003 Exploring Artificial Intelligence in the New Millennium (Science and Technology Books) Chap 8 p 239-236 ISBN 1558608117
21. Pearl J 1988 Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference 2nd (Morgan Kaufmann Publishers, San Francisco)
22. Biroli G, Monasson R and Weigt M 2000 Eur. Phys. J. B 14 551
23. Mézard M, Mora T and Zecchina R 2005 Phys. Rev. Lett. 94 197205
24. Achlioptas D and Ricci-Tersenghi F 2007 Proc. 38th annual ACM Symp. on Theory of computing (Seattle WA)
25. Mulet R, Pagnani A, Weigt M and Zecchina R 2002 Phys. Rev. Lett. 89 268701
26. Braunstein A, Mulet R, Pagnani A, Weigt M and Zecchina R 2003 Phys. Rev. E 68 036702
27. Krzakala F, Pagnani A and Weigt M 2004 Phys. Rev. E 70 046705
28. Mézard M, Palassini M and Rivoire O 2005 Phys. Rev. Lett. 95 200202
29. Mézard M and Montanari A 2006 J. Stat. Phys. 124 1317
30. Krzakala F, Montanari A, Ricci-Tersenghi F, Semerjian G and Zdeborov L 2007 Proc. Natl. Acad. Sci. 104 10318
31. Krzakala F and Kurchan J 2007 Phys. Rev. E 76 021122
32. Zdeborov L and Krzakala F 2007 Phys. Rev. E 76 031131
33. Semerjian G 2007 On the freezing of variables in random constraint satisfaction problems Preprint arXiv:0705.2147 J. Stat. Phys., on press
34. Montanari A, Ricci-Tersenghi F, Semerjian F 2007 Solving Constraint Satisfaction Problems through Belief Propagation-guided decimation Preprint arXiv:0709.1667
35. Bandyopadhyay A and Gamarnik D 2006 ACM-SIAM Symp. on Discrete Algorithms p 890
36. Jonasson J 2002 Statistics Probability Lett. 57 243
37. Montanari A and Semerjian G 2006 J. Stat. Phys. 124 103
38. Luczak T 1991 Combinatorica 11 45
39. Achlioptas D, Naor A and Peres Y 2005 Nature 435 759
40. Franz S and Leone M 2003 J. Stat. Phys. 111 535
41. van Mourik J and Saad D 2002 Phys. Rev. E 66 056120
42. Gross D J and Mézard M 1984 Nucl. Phys. B 240 4 431
43. Kirkpatrick T, Thirumalai D and Wolynes P 1989 Phys. Rev. A 40 1045
44. Mézard M and Parisi G 1999 Phys. Rev. Lett. 82 747
45. Krzakala F and Zdeborov L 2007 Potts Glass on Random Graphs Preprint arXiv:0710.3336
46. Gardner E 1985 Nucl. Phys. B 257 747
47. Leuzzi L and Parisi G 2001 J. Stat. Phys. 103 679
48. Crisanti A, Leuzzi L and Parisi G 2002 J. Phys. A: Math. Gen. 35 481
49. Montanari A, Parisi G and Ricci-Tersenghi F 2004 J. Phys. A: Math. Gen. 37 2073
50. Mertens S, Mézard M and Zecchina R 2003 Random Struct. Algorithms 28 3 340
51. Liu A and Nagel S 1998 Nature 396 21
52. O'Hern C S, Silbert L E, Liu A and Nagel S 2003 Phys. Rev. E 68 011306
53. Wyart M 2005 Annales de Physique 30 3
54. Ardelius J and Aurell E 2006 Phys. Rev. E 74 037702
55. Chavas J, Furtlehner C, Mézard M and Zecchina R 2005 J. Stat. Mech. P11016