| MAX—MU（2）的结构和复杂度 |
| |
| 引用本文： | 徐小萍.MAX—MU（2）的结构和复杂度[J].襄樊学院学报,2006,27(5):12-15. |
| |
| 作者姓名： | 徐小萍 |
| |
| 作者单位： | 襄樊学院,数学系,湖北,襄樊,441053 |
| |
| 摘 要： | SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的极大极小不可满足公式集(MAX-MU(2))的结构和复杂度.
|
| 关 键 词： | 差为2的极大极小不可满足公式 SAT问题 (1 *)-消解 |
| 文章编号： | 1009-2854(2006)05-0012-04 |
| 收稿时间： | 02 3 2006 12:00AM |
| 修稿时间： | 2006年2月3日 |
The Structure and Complexity of MAX-MU(2) |
| |
| XU Xiao-ping.The Structure and Complexity of MAX-MU(2)[J].Journal of Xiangfan University,2006,27(5):12-15. |
| |
| Authors: | XU Xiao-ping |
| |
| Institution: | Department of Mathematics, Xiangfan University, Xiangfan 441053, China |
| |
| Abstract: | SAT Problem is a core problem in theoretical computer science.There are many ways to research into SAT Problem.Using the properties of minimal unsatisfiable formulas to study SAT Problem is a new hot way of research at present.In this paper,the structure and complexity of maximal minimal unsatisfiable formulas with deficiency 2(MAX-MU(2)) are studied by(1,*)-resolution and splitting technique. |
| |
| Keywords: | Minimal unsatisfiable formula SAT Problem (1 *)-resolution |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
