论文部分内容阅读
本文首先给出了求树图T的完美邻域的多项式时间复杂度算法(A),并在此基础上证明了当S是T的任一完美邻域且|S|= θ(T),则S是T的一极大无冗余集.然后给出了由T的一极大无冗余集生成完美邻域集的多项式时间复杂度算法(B),并依此算法证明了若S为T的任一极大无冗余集,则T存在一独立完美邻域集V且|U|≤|S|.