| MAX^＋（1）和MAX^＋（2）公式的分裂特征 |
| |
| 引用本文： | 姚雷博,布挺,董红政,段晓明.MAX^＋（1）和MAX^＋（2）公式的分裂特征[J].计算机与数字工程,2010,38(11):45-47,51. |
| |
| 作者姓名： | 姚雷博 布挺 董红政 段晓明 |
| |
| 作者单位： | 洛阳理工学院,洛阳471023 |
| |
| 摘 要： | 改名技术在简化一些难例公式的消解证明和构造高效的可满足算法方面有重要意义。MAX^＋公式是MU公式中的一个重要子类,该类公式可以通过递归的方式产生。为研究MAX^＋公式改名问题的复杂性,对MAX^＋（1）和MAX^＋（2）公式的分裂问题进行了分析,得到了一些关于这两类公式的若干分裂特征,对进一步研究MAX＋公式的改名问题有较大的现实意义。
|
| 关 键 词： | MAX^＋（1） MAX^＋（2） 分裂 特征 |
Splitting Characteristics of MAX+(1) and MAX+(2) |
| |
| Yao Leibo,Bu Ting,Dong Hongzheng,Duan Xiaoming.Splitting Characteristics of MAX+(1) and MAX+(2)[J].Computer and Digital Engineering,2010,38(11):45-47,51. |
| |
| Authors: | Yao Leibo Bu Ting Dong Hongzheng Duan Xiaoming |
| |
| Affiliation: | Yao Leibo Bu Ting Dong Hongzheng Duan Xiaoming(Luoyang Institute of Science and Technology,Luoyang 471023) |
| |
| Abstract: | Renamings technique has played a significant role in the construction of efficent satisfiability algorithms and simplifying resolution proofs of some hard formulas.A subclass MAX＋ formulas in minimal unsatisfiable formulas can be constructed recursively.In this article,the splitting characteristics of MAX＋（1） and MAX＋（2） formulas is analyzed and shown to research the renaming problem of MAX＋ formulas further. |
| |
| Keywords: | MAX^＋（1） MAX^＋（2） splitting characteristics |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
