Skip to main content
SpringerLink
Log in

The K-SAT Problem in a Simple Limit

  • Published:
Journal of Statistical Physics Aims and scope Submit manuscript

Abstract

In this work we compute the thermodynamic properties of the 3-satisfiability problem in the infinite connectivity limit. In this limit the computation can be strongly simplified and the thermodynamic properties can be obtained with a high accuracy. We find evidence for a continuous replica symmetry breaking in the region of high number of clauses, α>αc.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  1. R. Monasson and R. Zecchina, Phys. Rev. Lett. 76: 3881 (1996); R. Monasson and R. Zecchina, Phys. Rev. E 56:1357 (1997).

    Google Scholar 

  2. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky, Nature 400:133 (1999).

    Google Scholar 

  3. S. Kirkpatrick and B. Selman, Science 264:1297 (1994).

    Google Scholar 

  4. S. A. Cook, in Proc. 3rd Annu. ACM Symp. on Theory of Computing 151 (Assoc. Comput. Machinery, New York, 1971).

    Google Scholar 

  5. M. Mézard, G. Parisi, and M. A. Virasoro, Spin glass theory and beyond (World Scientific, Singapore 1987).

    Google Scholar 

  6. G. Biroli, R. Monasson, and M. Weigt, Eur. Phys. J. B 14:551 (2000).

    Google Scholar 

  7. B. Aspvall, M. F. Plass, and R. E. Tarjan, Inf. Process. Lett. 8:121 (1979).

    Google Scholar 

  8. D. Sherrington and S. Kirkpatrick, Phys. Rev. Lett. 26:1782 (1975); S. Kirkpatrick, D. Sherrington, Phys. Rev. B 17:4384 (1978).

    Google Scholar 

  9. T. R. Kirkpatrick and D. Thirumalai, Phys. Rev. Lett. 58:2091 (1987); T. R. Kirkpatrick and D. Thirumalai, Phys. Rev. B36:5388 (1987); T. R. Kirkpatrick, D. Thirumalai, and P. G. Wolynes, Phys. Rev. A40:1045 (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Instituut voor Theoretische Fysica, FOM, Universiteit van Amsterdam, Valckenierstraat 65, 1018 XE, Amsterdam, The Netherlands

    Luca Leuzzi

  2. Dipartimento di Fisica, INFM and INFN, Università di Roma La Sapienza, P. A. Moro 2, 00185, Roma, Italy

    Giorgio Parisi

Authors
  1. Luca Leuzzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giorgio Parisi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Leuzzi, L., Parisi, G. The K-SAT Problem in a Simple Limit. Journal of Statistical Physics 103, 679–695 (2001). https://doi.org/10.1023/A:1010388300998

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1010388300998

Search

Navigation