论文部分内容阅读
Phase transition is an important feature of SAT problem. For random k-SAT model, it is proved that as r（ratio of clauses to variables） increases, the structure of solutions will undergo a sudden change like satisfiability phase transition when r reaches a