The SAT phase transition

  • Ke Xu
  • Wei Li


Phase transition is an important feature of SAT problem. For randomk-SAT model, it is proved that asr (ratio of clauses to variables) increases, the structure of solutions will undergo a sudden change like satisfiability phase transition whenr reaches a threshold point (r=r σ ). This phenomenon shows that the satisfying truth assignments suddenly shift from being relatively different from each other to being very similar to each other.


SAT problem phase transition structure of solutions 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Li Wei, Huang Wenqi, A mathematic-physical approach to the satisfiability problem,Science in China, Ser. A, 1995, 38(1): 116.MATHGoogle Scholar
  2. 2.
    Gent, I. P., Walsh, T., The SAT phase transition, inProc. of ECAI-94 (ed. Cohn, A.), New York: John Wiley, 1994, 105–109.Google Scholar
  3. 3.
    Borow, D. G., Brady, M. (eds.),Special Volume on Frontiers in Problem Solving: Phase Transitions and Complexity (Guest editors: Hogg, T., Huberman, B. A., Williams, C. P.),Artif. Intell., 1996, 81(1–2): 1.Google Scholar
  4. 4.
    Selman, B., Kirkpatrick, S., Critical behavior in the computational cost of satisfiability testing,Artif. Intell, 1996, 81: 273.CrossRefMathSciNetGoogle Scholar
  5. 5.
    Clark, D. A., Frank, J., Gent, I. P. et al., Local search and the number of solutions, inProc. of CP-96, Lecture Notes in Computer Science, Berlin: Springer, 1996, 1118: 119.Google Scholar

Copyright information

© Science in China Press 1999

Authors and Affiliations

  • Ke Xu
    • 1
  • Wei Li
    • 1
  1. 1.Department of Computer ScienceBeijing University of Aeronautics and AstronauticsBeijingChina

Personalised recommendations