Phase diagram of the 1-in-3 satisfiability problem

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

Volumn 76, Issue 1, 2007, Pages

  Raymond, Jack ^a   Sportiello, Andrea ^b   Zdeborová, Lenka ^c  

^a ASTON UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF MILAN   (Italy)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; PHASE DIAGRAMS; POLYNOMIALS; PROBABILITY; PROBLEM SOLVING;

1-IN-3 SATISFIABILITY PROBLEM; CASE PROPERTIES; DECIDING SATISFIABILITY; POLYNOMIAL TIME;

STATISTICAL MECHANICS;

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

References (41)

1. S. Cook, in Proceedings of the 3rd Annual ACM Symposium on Theory of Computing (ACM, New York, 1971), p. 151.
2. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (Freeman, New York, 1979).
3. M. Mézard and G. Parisi, Eur. Phys. J. B EPJBFY 1434-6028 10.1007/PL00011099 20, 217 (2001).
4. M. Mézard and G. Parisi, J. Stat. Phys. JSTPBS 0022-4715 10.1023/A:1022221005097 111, 1 (2003).
5. G. Biroli, R. Monasson, and M. Weigt, Eur. Phys. J. B EPJBFY 1434-6028 10.1007/s100510051065 14, 551 (2000).
6. Special Issue on NP Hardness and Phase Transitions [Theor. Comput. Sci. TCSCDI 0304-3975 265 (2001)].
7. L. A. Levin, SIAM J. Comput. SMJCAT 0097-5397 10.1137/0215020 15, 285 (1986).
8. M. Mézard, G. Parisi, and R. Zecchina, Science SCIEAS 0036-8075 10.1126/science.1073287 297, 812 (2002).
9. M. Mézard and R. Zecchina, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.66.056126 66, 056126 (2002).
10. M. Mézard, G. Parisi, and M. A. Virasoro, Spin-glass Theory and Beyond, Vol. 9 of Lecture Notes in Physics (World Scientific, Singapore, 1987).
11. A. Montanari, G. Parisi, and F. Ricci-Tersenghi, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/37/6/008 37, 2073 (2004).
12. F. Krzakała, A. Pagnani, and M. Weigt, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.70.046705 70, 046705 (2004).
13. R. Mulet, A. Pagnani, M. Weigt, and R. Zecchina, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.89.268701 89, 268701 (2002).
14. J. W. Rosenthal, R. Speckenmeyer, and R. Kemp, Ann. Math. Artif. Intell. AMAIEC 1012-2443 10.1007/BF01531028 6, 185 (1992).
15. D. Achlioptas, A. D. Chtcherba, G. Istrate, and C. Moore, in Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms (ACM, New York, 2001), p. 721.
16. R. Monasson and R. Zecchina, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/31/46/011 31, 9209 (1998).
17. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Nature (London) NATUAS 0028-0836 10.1038/22055 400, 133 (1999).
18. D. Achlioptas, L. M. Kirousis, E. Kranakis, and D. Krinzanc, Theor. Comput. Sci. TCSCDI 0304-3975 10.1016/S0304-3975(01)00154-2 265, 109 (2001).
19. T. Walsh, From P to NP: COL, XOR, NAE, 1-in-k, and Horn SAT, Proceedings of AAAI-2002 (AAAI Press, Seattle, WA, 2002).
20. T. Walsh, 2+p-COL, Proceedings of the Computational Symposium on Graph Coloring and its Generalizations, CP-2002 (Cornell, New York, 2002), p. 314.
21. C. Deroulers and R. Monasson, Eur. Phys. J. B EPJBFY 1434-6028 10.1140/epjb/e2006-00072-6 49, 339 (2006).
22. V. Kalapala and C. Moore, e-print arXiv:cs/0508037.
23. S. Knysh, V. N. Smelyanskiy, and E. R. Morris, e-print arXiv:cond-mat/0403416.
24. F. Ricci-Tersenghi, M. Weigt, and R. Zecchina, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.63.026702 63, 026702 (2001).
25. M. Mézard, F. Ricci-Tersenghi, and R. Zecchina, J. Stat. Phys. JSTPBS 0022-4715 10.1023/A:1022886412117 111, 505 (2003).
26. V. Chvátal and E. Szemerédi, J. ACM ZZZZZZ 1535-9921 35, 759 (1988).
27. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, 2nd ed. (Morgan Kaufmann, San Francisco, 1988).
28. J. S. Yedidia, W. T. Freeman, and Y. Weiss, IEEE Trans. Inf. Theory IETTAW 0018-9448 10.1109/TIT.2005.850085 51, 2282 (2005).
29. A. Montanari and F. Ricci-Tersenghi, Eur. Phys. J. B EPJBFY 1434-6028 10.1140/epjb/e2003-00174-7 33, 339 (2003).
30. O. Rivoire, G. Biroli, O. C. Martin, and M. Mézard, Eur. Phys. J. B EPJBFY 1434-6028 10.1140/epjb/e2004-00030-4 37, 55 (2004).
31. G. Parisi, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/13/4/009 13, L115 (1980).
32. S. Mertens, M. Mézard, and R. Zecchina, Random Struct. Algorithms RSALFD 1042-9832 10.1002/rsa.20090 28, 340 (2006).
33. M. Mézard, M. Palassini, and O. Rivoire, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.95.200202 95, 200202 (2005).
34. F. Krzakała, A. Montanari, F. Ricci-Tersenghi, G. Semerjian, and L. Zdeborová, Proc. Natl. Acad. Sci. U.S.A. PNASA6 0027-8424 10.1073/pnas.0703685104 104, 10318 (2007).
35. S. Franz and M. Leone, J. Stat. Phys. JSTPBS 0022-4715 10.1023/A:1022885828956 111, 535 (2003).
36. S. Franz, M. Leone, and F. L. Toninelli, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/36/43/021 36, 10967 (2003).
37. B. Selman, H. A. Kautz, and B. Cohen, Proceedings AAAI-94 (AAAI Press, Seattle, WA, 1994), p. 337.
38. S. Seitz and P. Orponen, Electronic Notes in Discrete Mathematics (Elsevier, Amsterdam, 2003), Vol. 16.
39. S. Seitz, M. Alava, and P. Orponen, J. Stat. Mech.: Theory Exp. ZZZZZZ 1742-5468 (2005) P06006.
40. J. Ardelius and E. Aurell, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.74.037702 74, 037702 (2006).
41. L. Zdeborová and F. Krzakała, e-print arXiv:0704.1269v2.