The SAT phase transition
- 32 Downloads
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.
KeywordsSAT problem phase transition structure of solutions
Unable to display preview. Download preview PDF.
- 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.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
- 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