| 一个从k-CNF到t-CNF归约的有效算法 |
| |
| 引用本文： | 王健,许道云.一个从k-CNF到t-CNF归约的有效算法[J].南京大学学报(自然科学版),2005,22(1):53-65. |
| |
| 作者姓名： | 王健 许道云 |
| |
| 作者单位： | 贵州大学计算机科学系,贵阳,550025;贵州大学计算机科学系,贵阳,550025 |
| |
| 基金项目： | 国家自然科学基金，the Foundation of Government of Guizhou Province，贵州省科学发展研究专项基金 |
| |
| 摘 要： | 根据极小不可满足公式的特征,对于固定的3 ≤t＜k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内完成.
|
| 关 键 词： | 极小不可满足公式 归约 算法 |
AN EFFECTIVE ALGORITHM FOR REDUCING K-CNF TO T-CNF |
| |
| Wang Jian,Xu Daoyun.AN EFFECTIVE ALGORITHM FOR REDUCING K-CNF TO T-CNF[J].Journal of Nanjing University: Nat Sci Ed,2005,22(1):53-65. |
| |
| Authors: | Wang Jian Xu Daoyun |
| |
| Abstract: | |
| |
| Keywords: | minimal unsatisfiable formula reduction algorithm |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
