极大独立集的逻辑算法  

The Logical Algorithm of Maximal Independent Set

作　　者：苏岐芳[1] 

机构地区：[1]台州学院数学系,浙江临海317000

出　　处：《广西师范学院学报（自然科学版）》2003年第1期20-22,共3页Journal of Guangxi Teachers Education University(Natural Science Edition)

摘　　要：给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法 ,并给出了一般算法 .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.

关 键 词：极大独立集 逻辑算法 命题逻辑 析取范式 主析取范式 图论 命题变元 

分 类 号：O157.5[理学—数学] O141.1[理学—基础数学]