| HIT—MU（2）的结构和复杂度 |
| |
| 引用本文： | 徐小萍,丁德成.HIT—MU（2）的结构和复杂度[J].襄樊学院学报,2004,25(5):3-6. |
| |
| 作者姓名： | 徐小萍 丁德成 |
| |
| 作者单位： | 1. 襄樊学院,数学系,湖北,襄樊,441053
2. 南京大学,数学系,江苏,南京,210093 |
| |
| 摘 要： | SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H.Kleine Büning对)1(MU和)2(MU的结构和复杂度得出了较好的结果.
|
| 关 键 词： | 差为2的碰撞极小不可满足公式 HIT-MU(2)的结构 复杂度 |
| 文章编号： | 1009-2854(2004)05-0003-04 |
| 修稿时间： | 2004年5月31日 |
The Structure and Complexity of HIT-MU(2) |
| |
| XU Xiao-ping,DING De-cheng.The Structure and Complexity of HIT-MU(2)[J].Journal of Xiangfan University,2004,25(5):3-6. |
| |
| Authors: | XU Xiao-ping DING De-cheng |
| |
| Institution: | XU Xiao-ping1,DING De-cheng2 |
| |
| Abstract: | |
| |
| Keywords: | MUHIT(2)MUHIT-structure Complexity |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
