极大独立集的逻辑算法

被引：2

作者：

苏岐芳

机构：

[1] 台州学院数学系浙江临海

来源：

广西师范学院学报(自然科学版) | 2003年 / 01期

关键词：

独立集; 极大独立集; 析取范式; 主析取范式; 命题变元; 命题逻辑表达式;

D O I：

10.16601/j.cnki.issn1001-8743.2003.01.007

中图分类号：

O157.5 [图论];

学科分类号：

070104 ;

摘要：

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法 ,并给出了一般算法 .

引用

收藏

页码：20 / 22

页数：3

相关论文

共 4 条

[1]

离散数学.[M].陈莉;刘晓霞编著;.高等教育出版社.2002,

[2]

图论与网络流.[M].蒋长浩编;.中国林业出版社.2001,

[3]

离散数学.[M].左孝凌等编著;.上海科学技术文献出版社.1988,

[4]

图论及其应用.[M].卢开澄著.清华大学出版社.1981,