本文已被：浏览 1781次 下载 2423次
Received:November 30, 2015 Revised:January 04, 2016
Received:November 30, 2015 Revised:January 04, 2016
中文摘要: 隐蔽集作为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.
文章编号： 中图分类号： 文献标志码：
基金项目:河南省教育厅科学技术研究重点项目（12A520048）
引用文本：
杨俊成,陶琳,李淑霞.QBF问题中隐蔽集的求解过程.计算机系统应用,2016,25(8):250-253
YANG Jun-Cheng,TAO Lin,LI Shu-Xia.Solving Process of Backdoors Set in QBF.COMPUTER SYSTEMS APPLICATIONS,2016,25(8):250-253
杨俊成,陶琳,李淑霞.QBF问题中隐蔽集的求解过程.计算机系统应用,2016,25(8):250-253
YANG Jun-Cheng,TAO Lin,LI Shu-Xia.Solving Process of Backdoors Set in QBF.COMPUTER SYSTEMS APPLICATIONS,2016,25(8):250-253
