| QBF问题中隐蔽集的求解过程 |
| |
| 引用本文： | 杨俊成,陶琳,李淑霞.QBF问题中隐蔽集的求解过程[J].计算机系统应用,2016,25(8):250-253. |
| |
| 作者姓名： | 杨俊成 陶琳 李淑霞 |
| |
| 作者单位： | 河南工业职业技术学院 电子信息工程系, 南阳 473000,河南工业职业技术学院 电子信息工程系, 南阳 473000,河南工业职业技术学院 电子信息工程系, 南阳 473000 |
| |
| 基金项目： | 河南省教育厅科学技术研究重点项目（12A520048） |
| |
| 摘 要： | 隐蔽集作为QBF问题的重要结构之一，能使QBF这一难求解问题变得更加简单. QBF问题中隐蔽集的求解相当复杂且难以理解. 为了使读者更好的理解QBF问题中隐蔽集的求解过程，本文对QBF问题中隐蔽集的求解过程进行深入研究，结合实例计算变量的深度、选择符合条件的变量X并计算其对应的三角依赖变量集DψΔ（x），根据B=B∪{x}=x和ψ''=ψ-DψΔ（x）的思想求解出问题的隐蔽集，希望本文能为该领域的相关研究人员提供一定的参考.
|
| 关 键 词： | QBF问题 隐蔽集 重要结构 求解过程 |
| 收稿时间： | 2015/11/30 0:00:00 |
| 修稿时间： | 1/4/2016 12:00:00 AM |
Solving Process of Backdoors Set in QBF |
| |
| YANG Jun-Cheng,TAO Lin and LI Shu-Xia.Solving Process of Backdoors Set in QBF[J].Computer Systems& Applications,2016,25(8):250-253. |
| |
| Authors: | YANG Jun-Cheng TAO Lin and LI Shu-Xia |
| |
| Affiliation: | Dept. of Computer Engineering, Henan Polytechnic Institute, Nanyang 473000, China,Dept. of Computer Engineering, Henan Polytechnic Institute, Nanyang 473000, China and Dept. of Computer Engineering, Henan Polytechnic Institute, Nanyang 473000, China |
| |
| Abstract: | |
| |
| Keywords: | QBF problem backdoors important structure solving process |
|
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
