求解公式关键文字集的信息传播算法

王晓峰; 许道云; 秦永彬

首页> 中文期刊> 《山东大学学报：工学版》 >求解公式关键文字集的信息传播算法

求解公式关键文字集的信息传播算法

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

关键文字集影响判定布尔公式可满足性的判定难度。如果能找到公式的关键文字集或关键文字集的子集,就可使公式的可满足性判定变得容易。通过对警示传播算法的原理分析,发现高概率决定的部分变元对公式的求解难度有一定的影响。当某个子句与变元之间的警示信息具有一致性时,表明该子句的可满足性完全由该变元的取值决定,其它变元的取值都不能使得该子句可满足。进一步研究发现,当该算法收敛时,具有一致性的警示信息对应的变元集合是关键文字集的子集,这就佐证了警示传播算法可用于求解公式的关键文字集。基于该算法的特征,给出了一个寻找公式关键文字集的信息传播算法。

著录项

来源
《山东大学学报：工学版》 |2011年第3期|1-6|共6页
作者
王晓峰; 许道云; 秦永彬;
展开▼
作者单位

贵州大学计算机科学系;

贵州贵阳550025;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
信息传递; 警示传播算法; 原理分析; 关键文字;

相似文献

中文文献
外文文献
专利

1. 一种求解命题公式骨干集的警示传播算法 [J] . 王帅 ,王晓峰 ,梁田 . 计算机工程与科学 . 2021,第11期
2. 求解可满足性问题的信息传播算法研究综述 [J] . 谢志新 ,王晓峰 ,曹泽轩 . 计算机应用研究 . 2022,第7期
3. 一种求解旅行商问题的信息传播算法 [J] . 程亚南 ,王晓峰 ,刘凇佐 . 郑州大学学报:理学版 . 2022,第3期
4. 求解多起点多旅行商问题的K-means聚类信息传播算法 [J] . 程亚南 ,王晓峰 ,刘凇佐 . 科学技术与工程 . 2022,第23期
5. 基于TextRank算法和互信息相似度的维吾尔文关键词提取及文本分类 [J] . 阿力甫.阿不都克里木 ,李晓 . 计算机科学 . 2016,第12期
6. 一种在线社交网络信息传播确定关键节点的算法 [C] . Zhang yongbin ,张永宾 . 中国系统工程学会第19届学术年会 . 2016
7. 基于欧拉公式的摩擦因子求解算法设计 [A] . 任娟莉 . 2015

求解公式关键文字集的信息传播算法

摘要

著录项

相似文献

相关主题

期刊订阅