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