Constraint satisfaction problems with isolated solutions are hard

Journal of Statistical Mechanics: Theory and Experiment

Volumn 2008, Issue 12, 2008, Pages

  Zdeborová, Lenka ^a,b,c   Mézard, Marc ^a,b  

^a UNIVERSITÉ PARIS SUD   (France)

^b CNRS   (France)

^c LOS ALAMOS NATIONAL LABORATORY   (United States)

Author keywords

Analysis of algorithms; Message passing algorithms; Networks; Random graphs; Typical case computational complexity

Indexed keywords

EID: 65549137937     PISSN: 17425468     EISSN: 17425468     Source Type: Journal    
DOI: 10.1088/1742-5468/2008/12/P12004     Document Type: Article

References (56)

1. Cook S A 1971 Proc. 3rd STOC (New York: ACM) p151
2. Garey M and Johnson D 1979 Computers and Intractability: A Guide to the Theory of NP-Completeness (San Francisco: Freeman)
3. Cheeseman P, Kanefsky B and Taylor W M 1991 Proc. 12th IJCAI (San Mateo, CA: Morgan Kaufmann) p331
4. Mitchell D G, Selman B and Levesque H J 1992 Proc. 10th AAAI (Menlo Park, CA: AAAI Press) p459
5. Mézard M, Parisi G and Virasoro M A 1987 Spin-Glass Theory and Beyond (Lecture Notes in Physics vol 9) (Singapore: World Scientific)
6. Mézard M, Parisi G and Zecchina R 2002 Science 297 812
7. Biroli G, Monasson R and Weigt M 2000 Eur. Phys. J. B 14 551
8. Mézard M and Zecchina R 2002 Phys. Rev. E 66 056126
9. Zdeborová L and Krzakala F 2007 Phys. Rev. E 76 031131
10. Zdeborová L and Mézard M 2008 Phys. Rev. Lett. 101 078702
11. Mulet R, Pagnani A, Weigt M and Zecchina R 2002 Phys. Rev. Lett. 89 268701
12. Krzakala F, Montanari A, Ricci-Tersenghi F, Semerjian G and Zdeborová L 2007 Proc. Nat. Acad. Sci. 104 10318
13. Montanari A, Ricci-Tersenghi F and Semerjian G 2008 J. Stat. Mech. P04004
14. Mora T 2007 PhD Thesis Université Paris-Sud http://tel.archives- ouvertes.fr/tel-00175221/en/
15. Kschischang F R, Frey B and Loeliger H-A 2001 IEEE Trans. Inform. Theory 47 498
16. Mézard M and Montanari A 2008 Information, Physics, Computation: Probabilistic approaches (Cambridge: Cambridge University Press) in preparation www.lptms.u-psud.fr/membres/mezard/
17. Raymond J, Sportiello A and Zdeborová L 2007 Phys. Rev. E 76 011101
18. Zdeborová L and Mézard M 2006 J. Stat. Mech. P05003
19. Achlioptas D and Moore C 2006 SIAM J. Comput. 36 740
20. Castellani T, Napolano V, Ricci-Tersenghi F and Zecchina R 2003 J. Phys. A: Math. Gen. 36 11037
21. Dall'Asta L, Ramezanpour A and Zecchina R 2008 Phys. Rev. E 77 031118
22. Marinari E and Semerjian G 2006 J. Stat. Mech. P06019
23. Schaefer T J 1978 Proc. 10th STOC (New York: ACM) p216
24. Mézard M, Ricci-Tersenghi F and Zecchina R 2003 J. Stat. Phys. 111 505
25. Connamacher H and Molloy M 2004 (FOCS 2004): Proc. 45th Symp. on Foundations of Computer Science (Rome, Oct. 2004) (Los Alamitos, CA: IEEE Computer Society Press) ISBN0-7695-2228-9
26. Mézard M and Parisi G 2001 Eur. Phys. J. B 20 217
27. Pearl J 1982 Proc. American Association of Artificial Intelligence National Conf. on AI (Pittsburgh, PA) p133
28. Mézard M and Montanari A 2006 J. Stat. Phys. 124 1317
29. Mossel E 2001 Ann. Appl. Probab. 11 285
30. Zdeborová L 2007 Ph D Thesis Université Paris-Sud arXiv:0806.4112v1 [cond-mat.stat-mech]
31. Semerjian G 2008 J. Stat. Phys. 130 251
32. Achlioptas D, Naor A and Peres Y 2005 Nature 435 759
33. Achlioptas D and Ricci-Tersenghi F 2006 Proc. of 38th STOC (New York: ACM) p130
34. Ardelius J and Zdeborová L 2008 Phys. Rev. E 78 040101(R)
35. Krauth W and Mézard M 1989 J. Physique 50 3057
36. Martin O C, Mézard M and Rivoire O 2004 Phys. Rev. Lett. 93 217205
37. Martin O C, Mézard M and Rivoire O 2005 J. Stat. Mech. P09006
38. Zhou H and Ou-Yang Z 2003 arXiv:cond-mat/0309348v1 [cond-mat.dis-nn]
39. Mora T and Mézard M 2006 J. Stat. Mech. P10007
40. Di C, Richardson T J and Urbanke R 2006 IEEE Trans. Inform. Theory 52 4839
41. Montanari A and Ricci-Tersenghi F 2003 Eur. Phys. J. B 33 339
42. Rivoire O, Biroli G, Martin O C and Mézard M 2004 Eur. Phys. J. B 37 55
43. Krzakala F and Zdeborová L 2008 Europhys. Lett. 81 57005
44. Achlioptas D, Chtcherba A, Istrate G and Moore C 2001 SODA' 01: Proc. 12th Annual ACM-SIAM Symp. on Discrete Algorithms (Philadelphia: SIAM) p721
45. Cocco S, Dubois O, Mandler J and Monasson R 2003 Phys. Rev. Lett. 90 047205
46. Achlioptas D, Kirousis L M, Kranakis E and Krizanc D 2001 Theor. Comput. Sci. 256 109
47. Parisi G 2003 arXiv:cs/0301015
48. Chavas J, Furtlehner C, Mézard M and Zecchina R 2005 J. Stat. Mech. P11016
49. Eén N and Sorensson N 2004 Theory and Applications of Satisfiability Testing (Berlin: Springer) p502
50. Montanari A, Ricci-Tersenghi F and Semerjian G 2007 Proc. Allerton at press arXiv:0709.1667v1 [cs.AI]
51. Braunstein A and Zecchina R 2006 Phys. Rev. Lett. 96 030201
52. Haanpää H, Järvisalo M, Kaski P and Niemelä I 2006 J. Satisf. Boolean Model. Comput. 2 27
53. Barthel W, Hartmann A K, Leone M, Ricci-Tersenghi F, Weigt M and Zecchina R 2002 Phys. Rev. Lett. 88 188701
54. Braunstein A and Zecchina R 2004 J. Stat. Mech. P06007
55. Sly A 2008 arXiv:0802.3487v1 [math.PR]
56. Janson S and Mossel E 2004 Ann. Probab. 32 2630