QBF问题中隐蔽集的求解过程
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

河南省教育厅科学技术研究重点项目(12A520048)


Solving Process of Backdoors Set in QBF
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 增强出版
  • |
  • 文章评论
    摘要:

    隐蔽集作为QBF问题的重要结构之一,能使QBF这一难求解问题变得更加简单. QBF问题中隐蔽集的求解相当复杂且难以理解. 为了使读者更好的理解QBF问题中隐蔽集的求解过程,本文对QBF问题中隐蔽集的求解过程进行深入研究,结合实例计算变量的深度、选择符合条件的变量X并计算其对应的三角依赖变量集DψΔx),根据B=B∪{x}=xψ'=ψ-DψΔx)的思想求解出问题的隐蔽集,希望本文能为该领域的相关研究人员提供一定的参考.

    Abstract:

    The Backdoors as one of the important structures of problem QBF, it makes QBF problems easier in solving difficulty. In QBF problem, the solving of backdoors is quite complex and difficult to understand. In order to enable the reader to better understand the solving process, this paper researches the solving process of backdoors for QBF problems, calculates the depth of variable x and the triangle dependent set of variable DψΔ(x) that is meet the condition by combining the examples. This paper solves the backdoors of this problem according to the ideas of B=B∪{x}=x and ψ'=ψ-DψΔ(x). We are hoping that it can provide a reference for researchers in this field.

    参考文献
    相似文献
    引证文献
引用本文

杨俊成,陶琳,李淑霞. QBF问题中隐蔽集的求解过程.计算机系统应用,2016,25(8):250-253

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2015-11-30
  • 最后修改日期:2016-01-04
  • 录用日期:
  • 在线发布日期: 2016-08-16
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码:100190
电话:010-62661041 传真: Email:csa (a) iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号