| 鸽巢公式的一些性质 |
| |
| 引用本文： | 许道云,韦立,王晓峰. 鸽巢公式的一些性质[J]. 软件学报, 2011, 22(11): 2553-2563. DOI: 10.3724/SP.J.1001.2011.03957 |
| |
| 作者姓名： | 许道云 韦立 王晓峰 |
| |
| 作者单位： | 贵州大学计算机科学系,贵州贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金(60863005,61111130186) |
| |
| 摘 要： | 由鸽巢原理定义的鸽巢公式PH nn+1是著名的消解难例之一,研究该公式的结构和性质有助于其他难例的构造.证明了PH nn+1是一个极小不可满足公式,根据其极小不可满足性,给出了最大可满足真值指派的两种标准形式,Haken关于PH nn+1的难解证明用到了其中一种标准形式.公式PH nn+1具有良好的子结构同构性质,如果DPLL算法中允许使用同构规则,则存在PH nn+1的反驳证明,其复杂性可以降至O(n3).
|
| 关 键 词： | 鸽巢公式 极小不可满足 最大可满足指派 标准形式 子结构同构 |
| 收稿时间： | 2010-07-07 |
| 修稿时间： | 2010-11-03 |
Some Properties of Pigeon-Hole Formulas |
| |
| XU Dao-Yun,WEI Li and WANG Xiao-Feng. Some Properties of Pigeon-Hole Formulas[J]. Journal of Software, 2011, 22(11): 2553-2563. DOI: 10.3724/SP.J.1001.2011.03957 |
| |
| Authors: | XU Dao-Yun WEI Li WANG Xiao-Feng |
| |
| Affiliation: | XU Dao-Yun,WEI Li,WANG Xiao-Feng(Department of Computer Science,Guizhou University,Guiyang 550025,China) |
| |
| Abstract: | The pigeon-hole formula,defined from the pigeon hole principles,is one of the hardest examples on resolution.The research of the formula's constructions and properties is helpful for constructing other hard examples.It is shown that is a minimal unsatisfiable formula.The two normal forms of maximal satisfiable truth assignments for are presented by the minimal unsatisfiability of,which one of normal forms is used in Haken's proof of hardness for.The formula has well isomorphics properties on substructures.F... |
| |
| Keywords: | pigeon-hole formula minimal unsatisfiability maximal satisfiable assignment normal form substructure isomorphism |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
