Numerical solution-space analysis of satisfiability problems

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

Volumn 82, Issue 5, 2010, Pages

  Mann, Alexander ^a   Hartmann, A K ^b  

^a UNIVERSITY OF GÖTTINGEN   (Germany)

^b UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYTICAL PREDICTIONS; CLUSTER STRUCTURE; CONTROL PARAMETERS; COUPLED MARKOV CHAINS; NUMERICAL RESULTS; NUMERICAL SIMULATION; NUMERICAL SOLUTION; PARALLEL TEMPERING; SAT INSTANCES; SATISFIABILITY; SATISFIABILITY PROBLEMS; SOLUTION SPACE; SPACE ANALYSIS; SPACE STRUCTURE; THERMODYNAMIC LIMITS;

ALGORITHMS; BALLISTICS; MARKOV PROCESSES; PHASE TRANSITIONS; SAMPLING; SPACE PLATFORMS;

FORMAL LOGIC;

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

References (56)

1. S. Mertens, Comput. Sci. Eng. 4, 31 (2002). 10.1109/5992.998639
2. A. K. Hartmann and M. Weigt, Phase Transitions in Combinatorial Optimization Problems (Wiley-VCH, Berlin, 2005). 10.1002/3527606734
3. M. Mézard and A. Montanari, Constraint Satisfaction Networks in Physics and Computation (Oxford University Press, New York, 2007), http://www.lptms.u-psud.fr/membres/mezard/main.pdf
4. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness (W. H. Freeman, New York, 1979).
5. C. H. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, MA, 1994).
6. M. Weigt and A. K. Hartmann, Phys. Rev. Lett. 84, 6118 (2000). 10.1103/PhysRevLett.84.6118
7. W. Barthel and A. K. Hartmann, Phys. Rev. E 70, 066120 (2004). 10.1103/PhysRevE.70.066120
8. A. K. Hartmann, A. Mann, and W. Radenbach, J. Phys.: Conf. Ser. 95, 012011 (2008). 10.1088/1742-6596/95/1/012011
9. M. Bauer and O. Golinelli, Eur. Phys. J. B 24, 339 (2001). 10.1007/s10051-001-8683-4
10. S. A. Cook, Conference Record of the 3rd Annual ACM Symposium on Theory of Computing (ACM, Pittsburgh, PA, 1971), pp. 151-158.
11. Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol. 35, edited by, D. Du,,, J. Gu,, and, P. M. Pardalos, (American Mathematical Society, Providence, RI, 1997)
12. DIMACS Workshop, 1996 (unpublished).
13. D. Mitchell, B. Selman, and H. Levesque, Proceedings of the 10th National Conference on Artificial Intelligence (AAAI-92) (AAAI Press/MIT Press, Cambridge, MA, 1992), p. 440.
14. S. Kirkpatrick and B. Selman, Science 264, 1297 (1994). 10.1126/science.264.5163.1297
15. E. Friedgut, J. Am. Math. Soc. 12, 1017 (1999). 10.1090/S0894-0347-99- 00305-7
16. A. Goerdt, in Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science (MFCS'92), Prague, Czechoslovakia, 1992, LNCS Vol. 629, edited by, I. M. Havel, and, V. Koubek, (Springer-Verlag, Berlin, 1992), pp. 264-274.
17. S. Mertens, M. Mézard, and R. Zecchina, Random Struct. Algorithms 28, 340 (2006). 10.1002/rsa.20090
18. M. Mézard, T. Mora, and R. Zecchina, Phys. Rev. Lett. 94, 197205 (2005). 10.1103/PhysRevLett.94.197205
19. F. Krza̧kała, A. Montanari, F. Ricci-Tersenghi, G. Semerjian, and L. Zdeborová, Proc. Natl. Acad. Sci. U.S.A. 104, 10318 (2007). 10.1073/pnas.0703685104
20. A. Montanari, F. Ricci-Tersenghi, and G. Semerjian, J. Stat. Mech.: Theory Exp. (2008) P04004. 10.1088/1742-5468/2008/04/P04004
21. H. Zhou and H. Ma, Phys. Rev. E 80, 066108 (2009). 10.1103/PhysRevE.80. 066108
22. M. Mézard and R. Zecchina, Phys. Rev. E 66, 056126 (2002). 10.1103/PhysRevE.66.056126
23. M. Mézard, G. Parisi, and R. Zecchina, Science 297, 812 (2002). 10.1126/science.1073287
24. A. Montanari, G. Parisi, and F. Ricci-Tersenghi, J. Phys. A 37, 2073 (2004). 10.1088/0305-4470/37/6/008
25. L. Zdeborová and F. Krzakala, Phys. Rev. B 81, 224205 (2010). 10.1103/PhysRevB.81.224205
26. F. Krzakala and J. Kurchan, Phys. Rev. E 76, 021122 (2007). 10.1103/PhysRevE.76.021122
27. L. Zdeborová and F. Krza̧kała, Phys. Rev. E 76, 031131 (2007). 10.1103/PhysRevE.76.031131
28. L. Zdeborová and M. Mézard, Phys. Rev. Lett. 101, 078702 (2008). 10.1103/PhysRevLett.101.078702
29. J. Ardelius and E. Aurell, Phys. Rev. E 74, 037702 (2006). 10.1103/PhysRevE.74.037702
30. S. Seitz, M. Alava, and P. Orponen, J. Stat. Mech.: Theory Exp. (2005) P06006. 10.1088/1742-5468/2005/06/P06006
31. 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
32. J. Ardelius and L. Zdeborová, Phys. Rev. E 78, 040101 (R) (2008). 10.1103/PhysRevE.78.040101
33. J. Ardelius, E. Aurell, and S. Krishnamurthy, J. Stat. Mech.: Theory Exp. (2007) P10012. 10.1088/1742-5468/2007/10/P10012
34. C. H. Papadimitriou, Proceedings of the 32nd Annual IEEE Symposium on Foundations of Computer Science (FOCS'91), San Juan, Puerto Rico, 1991 (IEEE Computer Society Press, Los Alamitos, 1991), pp. 163-169.
35. B. Selman, H. Kautz, and B. Cohen, in Cliques, Coloring, and Satisfiability, DIMAC Series in Discrete Mathematics and Theoretical Computer Science, edited by, D. S. Johnson, and, M. A. Trick, (American Mathematical Society, Providence, RI, 1996), pp. 521-532.
36. H. Kautz, B. Selman, and Y. Jiang, in Satisfiability Problem: Theory and Applications, DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol. 35, edited by, D. Du,,, J. Gu,, and, P. M. Pardalos, (American Mathematical Society, Providence, RI, 1997), pp. 573-586.
37. M. Davis, G. Logemann, and D. Loveland, Commun. ACM 5, 394 (1962). 10.1145/368273.368557
38. C. P. Gomes, H. Kautz, A. Sabharwal, and B. Selman, Handbook of Knowledge Representation, Foundations of Artificial Intelligence Vol. 3 (Elsevier, New York, 2008), pp. 89-134. 10.1016/S1574-6526(07)03002-7
39. R. J. Bayardo and J. D. Pehoushek, Proceedings of the 17th AAAI (AAAI Press, Menlo Park, 2000), pp. 157-162.
40. S. Cocco and R. Monasson, Phys. Rev. Lett. 86, 1654 (2001). 10.1103/PhysRevLett.86.1654
41. R. Monasson and R. Zecchina, Phys. Rev. Lett. 76, 3881 (1996). 10.1103/PhysRevLett.76.3881
42. G. Biroli, R. Monasson, and M. Weigt, Eur. Phys. J. B 14, 551 (2000). 10.1007/s100510051065
43. A. K. Hartmann, J. Phys. A 33, 657 (2000). 10.1088/0305-4470/33/4/301
44. A. K. Hartmann, Eur. Phys. J. B 13, 539 (2000).
45. G. Hed, A. K. Hartmann, D. Stauffer, and E. Domany, Phys. Rev. Lett. 86, 3148 (2001). 10.1103/PhysRevLett.86.3148
46. W. Wei, J. Erenrich, and B. Selman, AAAI Conference on Artificial Intelligence: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI Press, Menlo Park, 2004), pp. 670-676.
47. C. Geyer, 23rd Symposium on the Interface between Computing Science and Statistics (Interface Foundation North America, Fairfax, 1991), p. 156.
48. K. Hukushima and K. Nemoto, J. Phys. Soc. Jpn. 65, 1604 (1996). 10.1143/JPSJ.65.1604
49. M. E. J. Newman and G. T. Barkema, Monte Carlo Methods in Statistical Physics (Oxford University Press, New York, 1999).
50. J. J. Moreno, H. G. Katzgraber, and A. K. Hartmann, Int. J. Mod. Phys. C 14, 285 (2003). 10.1142/S0129183103004498
51. A. K. Hartmann and F. Ricci-Tersenghi, Phys. Rev. B 66, 224419 (2002). 10.1103/PhysRevB.66.224419
52. A. K. Hartmann, Practical Guide to Computer Simulations (World Scientific, Singapore, 2009).
53. J. H. Ward, Jr., J. Am. Stat. Assoc. 58, 236 (1963). 10.2307/2282967
54. A. Jain and R. Dubes, Algorithms for Clustering Data, Advanced Reference Series (Prentice-Hall, Englewood Cliffs, NJ, 1988).
55. P. G. Higgs, Phys. Rev. Lett. 76, 704 (1996). 10.1103/PhysRevLett.76.704
56. M. Mézard, G. Parisi, N. Sourlas, G. Toulouse, and M. Virasoro, Phys. Rev. Lett. 52, 1156 (1984). 10.1103/PhysRevLett.52.1156