本文提供了调查传播的新概念视角，这是统计物理学界最近推出的一种迭代算法，即使密度接近可满足性阈值，它在解决随机 k-SAT 问题方面也非常有效。我们首先描述任何 SAT 公式如何与新的马尔可夫随机场 (MRF) 系列相关联，由 [0,1] 中的实数 \rho \ 参数化。然后我们证明，将置信传播（一种用于估计边际概率的众所周知的“消息传递”技术）应用于这一系列 MRF 可以恢复一系列已知的算法，范围从极端的纯调查传播（\rho = 1) 到另一个极端 (\rho = 0) 上 SAT 分配的均匀分布的标准置信传播 ...