求解可满足性问题的信息传播算法研究综述.

Message propagation algorithms from statistical physics are widely used in various fields of artificial intelligence, especially in solving combinatorial optimization problems. According to the related literatures of message propagation algorithm, this paper summarized the history of message propagation algorithm and its related application. According to the development of message propagation algorithm, it introduced the concepts of information propagation algorithm for solving the satisfiability problem, which mainly involved the warning propagation algorithm, the belief propagation algorithm and the survey propagation algorithm. This paper described the convergence and effectiveness research of the three kind of algorithms, summarized the application of each algorithm in related fields, and summarized the research path and application direction of message propagation algorithm. [ABSTRACT FROM AUTHOR]