Knowledge Network Node

Convergence Analysis of Belief Propagation Algorithm for Satisfiability ProblemChinese Full Text

WANG Xiao-Feng;XU Dao-Yun;YANG De-Ren;JIANG Jiu-Lei;LI Qiang;LIU Xin-Xin;School of Computer Science and Engineering, North Minzu University;School of Computer Science and Technology, Guizhou University;School of Science, Ningxia Medical University;

Abstract: Belief propagation(BP) algorithm is a message passing algorithm based on a factor graph, and it passes messages from one node to another through edges in the graph to determine the value of some variables with high probability. This method is experimentally proven to be very effective when solving the satisfiability(SAT) problem. However, there is no explanation for its effectiveness from a theoretical point of view at present. Through the analysis of convergence of the BP algorithm, the effectiveness of the algorithm is explained theoretically. In this study, the sufficient conditions are also derived for convergence of the BP for satisfiability problem, and extending message(0,1) to message(-∞,+∞). Lastly, experimental results show that the conditions for convergence of BP are very effective in random SAT instances, and it proves the correctness of the conclusion.
  • DOI:

    10.13328/j.cnki.jos.005844

  • Series:

    (I) Electronic Technology & Information Science

  • Subject:

    Computer Software and Application of Computer

  • Classification Code:

    TP301.6

  • Mobile Reading
    Read on your phone instantly
    Step 1

    Scan QR Codes

    "Mobile CNKI-CNKI Express" App

    Step 2

    Open“CNKI Express”

    and click the scan icon in the upper left corner of the homepage.

    Step 3

    Scan QR Codes

    Read this article on your phone.

  • CAJ Download
  • PDF Download

Download the mobile appuse the app to scan this coderead the article.

Tips: Please download CAJViewer to view CAJ format full text.

Download: 191 Page: 1360-1372 Pagecount: 13 Size: 773K

Related Literature
  • Similar Article
  • Reader Recommendation
  • Associated Author