| 极大独立集的逻辑算法 |
| |
| 引用本文： | 苏岐芳. 极大独立集的逻辑算法[J]. 广西师范学院学报(自然科学版), 2003, 20(1): 20-22 |
| |
| 作者姓名： | 苏岐芳 |
| |
| 作者单位： | 台州学院,数学系,浙江,临海,317000 |
| |
| 摘 要： | 给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。
|
| 关 键 词： | 极大独立集 逻辑算法 命题逻辑 析取范式 主析取范式 图论 命题变元 |
| 文章编号： | 1002-8743(2003)01-0020-03 |
| 修稿时间： | 2002-09-04 |
The Logical Algorithm of Maximal Independent Set |
| |
| SU Qi_fang. The Logical Algorithm of Maximal Independent Set[J]. Journal of Guangxi Teachers Education University:Natural Science Edition, 2003, 20(1): 20-22 |
| |
| Authors: | SU Qi_fang |
| |
| Abstract: | In this paper, we make use of disjunctive normal form and prinpical disjunctive normal form to give some methods of independent set and maximal independent set,as well as a general algorithm. |
| |
| Keywords: | independent set maximal independent set disjunctive normal form prinpical disjunctive normal form proposition variable prepositional logic representative. |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
