极大独立集的逻辑算法

• 作者: 苏岐芳
• 来源期刊: 南宁师范大学学报（自然科学版）
• 关键词: 独立集 极大独立集 析取范式 主析取范式 命题变元 命题逻辑表达式
• 年，卷（期）: 2003,（1）
• 页码范围: 20-22
• 页数: 3页
• 分类号: O142
• 语种: 中文
• DOI: 10.3969/j.issn.1002-8743.2003.01.006

摘要

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