| 用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法 |
| |
| 引用本文： | 宋恩民.用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法[J].计算机学报,1996,19(11):871-875. |
| |
| 作者姓名： | 宋恩民 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 摘 要： | 本文对析取范式的结构作了结构分析，得出了如下结果；在恰当由ｎ个确定的例题变元所可能构成的一切析取范式中，含均覆盖的析取范式的比例当ｎ趋于无穷大时等于１。在其余的析取范式中，含锥形式的比例当ｎ趋于无穷大时亦等于１。基于分析结果，给出一个判定析取范式永真性的快速算地。
|
| 关 键 词： | 析取范式 均覆盖 锥形式 算法 |
AN ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM(DNF) BY MEANS OF EQUAL COVERING AND CONE FORM |
| |
| Song Enmin.AN ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM(DNF) BY MEANS OF EQUAL COVERING AND CONE FORM[J].Chinese Journal of Computers,1996,19(11):871-875. |
| |
| Authors: | Song Enmin |
| |
| Abstract: | By analysing the construction of DNF, the following results are obtained: among all DNFs generated by composing n definite proposition variables,most of the DNFs are with equal covering when n approaches infinity. For those DNFs without equal covering, most of them are with cone form. Based on the above result, an approximately fast algorithm is obtained for the decision problem of DNF validity. |
| |
| Keywords: | Disjunctive normal form(DNF) equal covering cone form |
| 本文献已被 CNKI 维普 等数据库收录！ |
