检索结果-内蒙古大学图书馆

中国科学：信息科学 2017年第12期47卷 1646-1661页

作者：王晓峰许道云姜久雷唐延辉北方民族大学计算机科学系银川750021 贵州大学计算机科学系贵阳550025

信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研... 详细信息

信息传播算法求解可满足问题时有良好的有效性,使得难解区域变窄.然而,信息传播算法不总有效,常表现为不收敛.对于这种现象,至今缺少系统的理论解释.调查传播(survey propagation,SP)算法是最为有效的信息传播算法,对SP算法的收敛性研究是设计其他信息传播算法的重要基础,并为信息传播算法的广泛应用提供理论依据.为了分析SP算法的收敛性,通过对消息更新方程取双曲正切,将消息取值从[0,1]扩展为(-∞,∞),利用压缩映射原理给出了SP算法收敛的一个充分条件.基于随机3-SAT实例,给出了SP算法收敛的一个概率条件.最后,选取了随机3-SAT实例进行数值实验模拟,验证了该条件的有效性.

关键词：调查传播算法可满足性问题收敛性信息传播算法因子图

来源：评论

学校读者我要写书评

暂无评论

求解可满足问题的调查传播算法以及步长的影响规律

引用

计算机学报 2005年第5期28卷 849-855页

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之... 详细信息

该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变量赋值以对问题进行简化,最后把简化的问题利用局部搜索算法来求解.文中所谓步长是指在每一次迭代收敛之后根据赋值倾向进行赋值的变量个数.该文根据模拟实验观察到步长对调查传播算法的影响规律,即随着步长的递增,算法的时间耗费以及算法的有效性都有近似单调递减的趋势.

关键词：可满足问题因子图调查传播算法局部搜索算法相变

来源：评论

学校读者我要写书评

暂无评论

调查传播算法和蚁群算法相结合求解可满足性问题

引用

计算机科学 2012年第4期39卷 227-231页

作者：王芙周育人叶立华南理工大学计算机科学与工程学院广州510006

布尔可满足性问题(Boolean Satisfiability Problem,SAT)是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法(Survey Propagation,SP)是求解SAT的一种非常高效的算法,但SP在难解区域极易不收敛,或者出现错误赋值。将SP算法与蚁群算... 详细信息

布尔可满足性问题(Boolean Satisfiability Problem,SAT)是逻辑学的一个基本问题,也是NP-hard问题。调查传播算法(Survey Propagation,SP)是求解SAT的一种非常高效的算法,但SP在难解区域极易不收敛,或者出现错误赋值。将SP算法与蚁群算法结合,把SP算法得到的消息值应用到蚁群算法中来求解3-SAT问题,使用这些消息值引导蚁群算法求解,并在算法中加入高效的局部搜索。新算法对于SP算法不收敛的一些实例也能很快找到解。

关键词：调查传播算法难解区域蚁群算法局部搜索

来源：评论

学校读者我要写书评

暂无评论

基于K维结构熵的调查传播算法收敛性分析

引用

计算机应用研究 2022年第5期39卷 1432-1436页

作者：梁晨王晓峰刘子琳芦磊牛鹏飞北方民族大学计算机科学与工程学院银川750021 北方民族大学图像图形智能处理国家民委重点实验室银川750021

信息传播算法在可满足性(SAT)问题上性能表现优越,其收敛性却依赖于因子图的结构复杂程度,至今缺少系统的理论解释。调查传播算法(SP)是解决SAT问题效果最好的信息传播算法。为有效分析SP算法的收敛性,借助因子图转换技术和鲁汶算法划... 详细信息

信息传播算法在可满足性(SAT)问题上性能表现优越,其收敛性却依赖于因子图的结构复杂程度,至今缺少系统的理论解释。调查传播算法(SP)是解决SAT问题效果最好的信息传播算法。为有效分析SP算法的收敛性,借助因子图转换技术和鲁汶算法划分因子图社区,基于K维结构熵理论,提出了SAT实例的K维结构熵度量模型,得出了随机SAT实例的K维结构熵。分析了SP算法收敛性与K维结构熵之间的关系,给出了SP算法收敛性的K维结构熵阈值。实验证明该方法有效。

关键词：可满足性问题 K维结构熵调查传播算法收敛性

来源：评论

学校读者我要写书评

暂无评论

改进的蚁群算法求解可满足性问题

改进的蚁群算法求解可满足性问题

引用

作者：王芙华南理工大学

学位级别：硕士

布尔可满足性问题(SAT)是指合取范式(Conjunctive Normal Form，CNF)的可满足性问题，是逻辑学的一个基本问题，并且是第一个被证明NP完全的，也是计算机科学的核心问题，在电路的形式化验证、自动化推理、人工智能、资源调度等领域都... 详细信息

布尔可满足性问题(SAT)是指合取范式(Conjunctive Normal Form，CNF)的可满足性问题，是逻辑学的一个基本问题，并且是第一个被证明NP完全的，也是计算机科学的核心问题，在电路的形式化验证、自动化推理、人工智能、资源调度等领域都有广泛应用。 SAT由于其理论和应用价值吸引了国内外众多研究者的关注，他们提出了各种高效的求解算法，这些算法主要包括两方面：完备性算法和非完备性算法。其中非完备性算法包括局部搜索算法、智能算法、统计物理方法等。调查传播算法就是统计物理方法中的一种，是近几年提出的一个高效的SAT算法，先使用统计物理方法计算每个变量的取值倾向概率，根据这组概率值固定一部分变量，然后对子问题继续迭代直到子问题变为易解问题或者不收敛。调查传播算法可以求解百万变量的SAT问题，其突出的表现也吸引了众多学者的目光。蚁群算法属于智能算法的一种，它通过模拟自然界中蚂蚁觅食来求解实际问题。自然界中蚂蚁没有视觉，但是蚂蚁会在经过的路径上释放信息素来寻找路径，经过积累，信息素越多的路径以后被选中的概率越大，这样信息素的作用使得整个蚁群行为具有高度的协调性，蚂蚁之间通过信息素交换路径信息，最终通过蚁群行为找到最优路径。蚁群算法已成功应用于多种实际问题，包括TSP，SAT问题等。通过数值实验发现，调查传播算法在求解比较难的SAT实例时极易不收敛而找不到解，可能是因为SP早期给一些变量赋值出错导致子问题无解，本文将调查传播算法中的变量取值分布处理之后当成蚁群算法中的启发式信息，引导蚁群算法求解，克服蚁群算法在初期由于信息素匮乏而收敛缓慢的缺陷；然后加入信息素限定规则，将信息素值限定在一个范围之内，以免算法运行后期由于信息素急剧增加而陷入停滞；除此之外，还加入局部搜索以进一步改善局部收敛问题，提高算法求解的效率。本文中改进的蚁群算法用C语言实现，并使用4组不同的难解实例数据来测试，实验结果验证了本文算法的可行性，而且新的算法求解成功率高于调查传播算法，求解时间总体优于调查传播算法。

关键词：可满足性问题蚁群算法调查传播算法启发式信息局部搜索

来源：评论

学校读者我要写书评

暂无评论

最大独立集问题和SP算法

最大独立集问题和SP算法

引用

作者：田雷北京大学

学位级别：硕士

近年来，物理学家尝试用统计力学的方法分析组合优化问题，并取得了很多好的结果，引起了数学家与计算机学家的广泛关注。Zecchina等人将统计力学的空穴方法(cavity method)应用于K-SAT问题，对K-SAT问题的相变现象进行了分析，并用统... 详细信息

近年来，物理学家尝试用统计力学的方法分析组合优化问题，并取得了很多好的结果，引起了数学家与计算机学家的广泛关注。Zecchina等人将统计力学的空穴方法(cavity method)应用于K-SAT问题，对K-SAT问题的相变现象进行了分析，并用统计方法给出了精确的阈值。独立集问题作为另一个NP难的组合优化问题，同样是理论计算机科学中的核心问题。我们同样利用空穴方法对独立集问题进行了分析，给出了相应的独立集问题的SP算法。这是一种结果很好的不完全算法，对于c较大(c>e)的情况，也可以得到很好的近似解。文章还给出了带权值独立集问题的模型和变形的SP算法。

关键词：统计力学相变组合优化最大独立集问题调查传播算法空穴

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：