Behavior of heuristics on large and hard satisfiability problems

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

Volumn 74, Issue 3, 2006, Pages

  Ardelius, John ^a   Aurell, Erik ^a  

^a ALBANOVA UNIVERSITY CENTER   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC PHYSICS; BENCHMARKING; PROBLEM SOLVING; QUANTUM THEORY; RANDOM PROCESSES;

AVERAGE SATISFIABILITY (ASAT); FULL REPLICA SYMMETRY BREAKING (FSRB) THRESHOLD;

HEURISTIC METHODS;

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

References (23)

1. A. K. Hartmann and M. Weigt, Phase Transitions in Combinatorial Optimization Problems (Wiley-VCH, 2001).
2. NP-Hardness and Phase Transitions, O. Dubois, R. Monasson, B. Delman, and, R. Zecchina, eds., Theor. Comput. Sci. TCSCDI 0304-3975 265 (2001).
3. Stephen Cook, www.claymath.org/prizeproblems/pvsnp.htm
4. D. Mitchell, B. Selman, and H. Levesque, in Proceedings of the Tenth National Conference on Artificial Intelligence AAAI-92 (AAAI Press, San Jose, CA, July 1992), pp. 456-465.
5. S. Kirkpatrick and B. Selman, Science SCIEAS 0036-8075 264, 1297 (1994).
6. S. Cocco and R. Monasson, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.86.1654 86, 1654 (2001).
7. C. H. Papadimitriou, in Proceedings of the 32nd Annual Symposium on Foundations of Computer Science (IEEE Computer Society Press, New York, 1991), pp. 163-169.
8. W. Barthel, A. K. Hartmann, and M. Weight, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.67.066104 67, 066104 (2003).
9. G. Semerjian and R. Monasson, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.67.066103 67, 066103 (2003).
10. C. Deroulers and R. Monasson, Advances in Neural Information Processing Systems 17, edited by, Lawrence K. Saul, Yair Weiss, and, Léon Bottou, (American Mathematical Society, Providence, Rhode Island, 1996), pp 521-532.
11. B. Selman, H. Kautz, and B. Cohen, in Cliques, Coloring, and Satisfiability, DIMAC Series in Discrete Mathematics and Theoretical Computer Science (American Mathematical Society, Providence, Rhode Island, 1996), pp 521-532.
12. E. Aurell, U. Gordon, and S. Kirkpatrick, in Eighteenth Annual Conference on Neural Information Processing Systems (NIPS), 2004.
13. S. Seitz, M. Alva, and P. Orponen, J. Stat. Mech.: Theory Exp. ZZZZZZ 1742-5468 (2005) p. 06006.
14. M. Mézard and R. Zecchina, Phys. Rev. E PLEEE8 1063-651X 10.1103/PhysRevE.66.056126 66, 056126 (2002).
15. M. Mézard, G. Parisi, and R. Zecchina, Science SCIEAS 0036-8075 10.1126/science.1073287 297, 812 (2002).
16. M. Mézard, T. Mora, and R. Zecchina, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.94.197205 94, 197205 (2005).
17. D. Achlioptas, A. Naor, and Y. Peres, Nature (London) NATUAS 0028-0836 10.1038/nature03602 435, 759 (2005).
18. A. Montanari, G. Parisi, and F. Ricci-Tersinghi, J. Phys. A JPHAC5 0305-4470 10.1088/0305-4470/37/6/008 37, 2073 (2004).
19. S. Mertens, M. Mézard, and R. Zecchina, Random Struct. Algorithms RSALFD 1042-9832 10.1002/rsa.20090 28, 340 (2006).
20. S. Boettcher and M. Frank, Physica A PHYADX 0378-4371 367, 220 (2006).
21. H. Jia, C. Moore, and B. Selman, in Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Lecture Notes in Computer Science, Vol. 3542 (Springer, Berlin, 2005), p. 199.
22. A. Crisanti and H. Sompolinsky, Phys. Rev. A PLRAAN 1050-2947 10.1103/PhysRevA.36.4922 36, 4922 (1987).
23. L. Cugliandolo, J. Kurchan, P. L. Doussal, and L. Peliti, Phys. Rev. Lett. PRLTAO 0031-9007 10.1103/PhysRevLett.78.350 78, 350 (1997).