Is SP BP?

Ronghui Tu, Yongyi Mao, Jiying Zhao

The Survey Propagation (SP) algorithm for solving $k$-SAT problems has been shown recently as an instance of the Belief Propagation (BP) algorithm. In this paper, we show that for…