调查传播算法收敛的一个充分条件-快速了解中国科学信息科学.PDF

中国科学: 信息科学 2017 年 第47 卷 第12 期: 1646–1661 SCIENTIA SINICA Informationis 论文 调查传播算法收敛的一个充分条件 1,2 2 1* 1 王晓峰 许道云 姜久雷 唐延辉 1. 北方民族大学计算机科学系, 银川 750021 2. 贵州大学计算机科学系, 贵阳 550025 * 通信作者. E-mail: 1994029@nun.edu.cn 收稿日期: 2016–10–20; 接受日期: 2016–12–12; 网络出版日期: 2017–09–05 国家自然科学基金(批准号: 和计算机应用技术自治区重点学科建设基金资助项目 摘要 信息传播算法求解可满足问题时有良好的有效性, 使得难解区域变窄. 然而, 信息传播算法不 总有效, 常表现为不收敛. 对于这种现象, 至今缺少系统的理论解释. 调查传播 (survey propagation, SP) 算法是最为有效的信息传播算法, 对SP 算法的收敛性研究是设计其他信息传播算法的重要基 础, 并为信息传播算法的广泛应用提供理论依据. 为了分析SP 算法的收敛性, 通过对消息更新方程 取双曲正切, 将消息取值从 [0, 1] 扩展为(−∞, ∞), 利用压缩映射原理给出了SP 算法收敛的一个充 分条件. 基于随机3-SAT 实例, 给出了SP 算法收敛的一个概率条件. 最后, 选取了随机3-SAT 实例 进行数值实验模拟, 验证了该条件的有效性. 关键词 调查传播算法, 可满足性问题, 收敛性, 信息传播算法, 因子图 1 引言 约束可满足性问题 (constraint satisfiability problems, CSP) 是人工智能中的一个重要研究领 域[1∼3] . 可满足性判定问题 (satisfiability, SAT) 是典型的 CSP 问题, 即给定一个合取范式公式(con- junctive normal form, CNF) F , SAT 判定问题指是否存在一组指派使得F 为真. SAT 问题是第一个被证明了的NP- 完全问题, 不存在多项式时间的确定性图灵算法判定SAT 问 题. 然而, 在实际应用中, 该问题又不可避免地存在. 如在工程技术、军事、人工智能、并发控制、交 通运输、智能交通控制、社交网络数据处理和智能挖掘等领域中, 诸多带有协调性 (或一致性) 检验、 组合优化等问题均可以编码到 SAT 问题. 目前, 对 SAT 问题的研究已进入深水区, 研究进展较为缓 慢, 研究也越来越复杂. 梳理这几年的研究成果, SAT 问题研究主要集中在SAT 实例产生模型研究 和 SAT 判定算法研究两个方面. 一方面, 实例产生模型最为典型的是随机 3-SAT 实例产生模型, 该 模型中子句与变元的个数之比值α 是一个重要的参数, 它不仅影响实例的可满足性, 而且影响实例的 引用格式 王晓峰, 许道云, 姜久雷, 等. 调查传播算法收敛的一个充分条件. 中国科学: 信息科学, 2017, 47: 1646–1661, doi: 10.1360/N112016-00248 Wang X F, Xu D Y, Jiang J L, et al. Sufficient conditions for convergence of the survey propagation algorithm (in Chinese). Sci Sin Inform, 2017, 47: 1646–1661, doi: 10.1360/N112016-00248 ⃝ 《中国科学》杂志社 中国科学: 信息科学 第 47 卷 第 12 期 判定难度. 随机统计现象表明: 对于随机3-SAT 实例, 存在可满足的相变点α . 当α α 时,