警示传播算法的原理分析及算法改进.pdfVIP

Computer Engineering and Applications 计算机工程与应用 2010 ，46 （19） 1 ⦾博士论坛⦾ 警示传播算法的原理分析及算法改进 秦永彬，许道云 QIN Yong-bin ，XU Dao-yun 贵州大学 计算机科学系，贵阳 550025 Department of Computer Science ，Guizhou University ，Guiyang 550025 ，China E-mail ：cse.ybqin@ QIN Yong-bin ，XU Dao-yun.Analysis and improvement of warning propagation algorithm.Computer Engineering and Applications ，2010 ，46 （19）：1-6. Abstract ：The detail analysis of basic principle of the warning propagation （WP ）algorithm is presented ，and the analysis of the convergence of the WP algorithm and the improvement of the algorithm are given.The experiment show that the im- proved algorithm has fewer iteration times ，less program-running time and faster convergence speed than the original WP al- gorithm.The analysis is helpful for understanding and analysing the mathematical principle and generation process of BP and SP algorithms. Key words ：message passing ；warning propagation ；analysis of principle ；convergence ；satisfiability problem 摘 要：详细分析了警示传播算法基本原理，给出了算法的收敛性分析及算法的改进。实验证明，改进后的算法比原算法具有更 少的迭代次数和更少的运行时间，提高了收敛速度。警示传播算法的分析有助于理解和分析信念传播算法、调查传播算法的数 学原理、以及传播算法的演化过程。 关键词：信息传递；传播算法；原理分析；收敛性；可满足问题 DOI ：10.3778/j.issn. 1002-8331.2010.19.001 文章编号：1002-8331（2010 ）19-0001-06 文献标识码：Ａ 中图分类号：TP301 1 引言 对警示传播算法进行了研究，详细分析了警示传播算法 布尔公式的可满足问题（SAT 问题）是理论计算机科学中 的基本原理及算法收敛性，同时提出了使算法能够快速收敛 的核心问题之一，在工程技术、人工智能、并发控制、集成电路 的改进方法。 设计等众多应用领域都具有非常重要的理论价值和应用价 值,计算机科学中的很多问题都可以归结为简洁的可满足问 2 基础知识 题，从而获得高效的求解途径。从算法复杂度上讲，SAT 问题 定义1 设F {a a ... a }为一个k-CNF 公式，含有n 个 1 2 m [1] 是第一个被证明为NP 难的问题 。起初，人们通常认为不太