Handbook of Satisfiability (2nd ed.), Chapter 22
随机k-SAT问题随密度产生的求解难度变化与相变这一物理概念具有相似的性质。
相变(Phase Transitions)：当某个参数在某个阈值附近变动时，能够对系统性质产生极大的影响
22.2与22.3两节介绍了相变这一物理概念及其与随机SAT问题的联系（略）
高维空间（）中的二分类问题：对于两类向量，寻找一个权重向量，使得
可分性：对于中随机的M个向量，存在，使得的概率
特例（树）：
原先的信息传播算法在循环图的情况下可能不收敛，进行改进
信息传递：
信息利用：