-
题名求解QBF问题的启发式调查传播算法
被引量：11
- 1
-
-
作者
殷明浩
周俊萍
孙吉贵
谷文祥
-
机构
东北师范大学计算机学院
吉林大学教育部符号计算与知识工程重点实验室
吉林大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2011年第7期1538-1550,共13页
-
基金
国家自然科学基金(60773097
60803102)
-
文摘
提出了一种启发式调查传播算法,并基于该算法设计了一种QBF(quantified Boolean formulae)求解器——HSPQBF(heuristic survey propagation algorithm for solving QBF)系统.它将Survey Propagation信息传递方法应用到QBF求解问题中.利用Survey Propagation作为启发式引导DPLL(Davis,Putnam,Logemann and Loveland)算法,选择合适的变量进行分支,从而可以减小搜索空间,并减少算法回退的次数.在分支处理过程中,HSPQBF系统结合了单元传播、冲突学习和满足蕴涵学习等一些优秀的QBF求解技术,从而能够提高QBF问题的求解效率.实验结果表明,HSPQBF无论在随机问题上还是在QBF标准测试问题上都有很好的表现,验证了调查传播技术在QBF问题求解中的实际价值.
-
关键词
人工智能
qbf问题
qbf问题求解器
因子图
调查传播
冲突学习
满足蕴涵学习
-
Keywords
artificial intelligence
quantified Boolean formulae problem
qbf（quantified Boolean formulae）solver
factor graph
survey propagation
conflict driven learning
satisfiability directed implicationand learning
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名隐蔽集的研究及发展
被引量：4
- 2
-
-
作者
谷文祥
李淑霞
殷明浩
-
机构
东北师范大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2010年第3期11-16,共6页
-
基金
国家自然科学基金(60473042
60573067和60803102)资助
-
文摘
SAT问题的隐藏结构与问题难度有很大的关系,近年来成为人工智能的一个研究热点。隐蔽集(Backdoor)作为典型的隐藏结构之一,能使剩下的问题在多项式时间内求解。在深入研究隐蔽集的基础上,首先对隐蔽集的发展、相关概念、参数复杂性及隐蔽集与骨架(Backbone)之间的关系作了全面的论述;接着分别从CSP问题、SAT问题和QBF问题3个方面具体介绍了目前比较流行的隐蔽集求解方法;最后给出了3个未解决的问题,并对隐蔽集的发展趋势进行了展望。
-
关键词
SAT问题
qbf问题
隐藏结构
隐蔽集
-
Keywords
Propositional satisfiability problem,Quantified boolean formulae, Hidden structure,Backdoor set
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
