基于加权平均值的一种分支启发式方法-计算机科学.PDFVIP

第 卷 第 期 计 算 机 科 学 ４５ 　 １１A Vol．４５No．１１A 年 月 ２０１８ １１ COMPUTER SCIENCE Nov．２０１８ 基于加权平均值的一种分支启发式方法 胡忠雪 徐 扬 胡 容 　 　 　 　 (西南交通大学数学学院 成都 ) 　 ６１００３１ 　 ( , ) , 摘 要 在可满足性 问题算法中提出有效的分支策略可以提高求解器的效率 文中主要从冲突 　 　 Satisfiabilit SAT y , , . 分析的角度出发 依据变量是否发生冲突和冲突的次数 提出一种基于加权平均值的分支启发式方法 该方法首先采 ; , ; 用一组序列来记录变量是否参与冲突 其次赋予一个加权平均函数 依据变量的序列和决策层求出函数值 最后选择 , . , , 具有最大的函数值变量赋值 执行实例分析比较 由于该方法是对控制编码方法的改进 因此在进行例子分析时 采 , 、 ( ) ( 用了比较法和分析法 同时分析比较了所提方法 SUM Suminexeriment策略和 ACIDSAveraeConflictＧindex p g ) . ( ) , DecisionScore策略 对 SATLIBSATLittleInformationBank中的实例进行分析 结果表明所提方法能够实现更多 子句被满足或最新冲突子句优先满足. , , , , 关键词 序列 加权平均 决策层 冲突次数 分支启发式 　 中图法分类号　TP１８１　　　文献标识码　A 　 Branchin HeuristicMethodBasedonAddedWeihtAveraeValue g g g HUZhonＧxue　XUYan　HURon g g g ( , , , ) SchoolofMathematicsSouthwestJiaoton Universit Chendu６１００３１China g y g