基于短子句的一种分支策略

• 作者: 徐扬 徐颖 胡容 胡忠雪
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 分支策略 决策层 冲突层 子句长度 文字块距离
• 年，卷（期）: 2018,（z2）
• 所属期刊栏目: 人工智能
• 页码范围: 38-41
• 页数: 4页
• 分类号: TP181
• 字数: 3750字
• 语种: 中文

摘要

针对目前大部分可满足性(SAT)问题算法中变量选择问题,提出一种基于短子句的分支策略.这个新思想的主要方法是:首先,赋予每个变量一个权重,依据变量的得分值来进行赋值;其次,在进行布尔约束传播过程时发生冲突后,依据对新产生的学习子句中变量所在决策层和冲突层的平均值的大小条件来对其增加得分,未参与冲突的变量分值保持不变;最后,选择得分最高的变量并赋值,重新进行布尔约束传播.分析结果表明,与变量状态独立衰减分值(VSIDS)策略相比,所提出新策略决策次数和平均运算时间较少,运算效率较高.新的策略优先满足短子句,能尽快找到一组可满足解,更快速解决问题,提高算法在解决实际问题中的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学学院	186	1462	15.0	32.0
2	徐颖	西南交通大学数学学院	6	2	1.0	1.0
3	胡容	西南交通大学数学学院	3	1	1.0	1.0
4	胡忠雪	西南交通大学数学学院	3	1	1.0	1.0