边独立集(edge independent set):,满足对于,有不邻接.即一个边集,满足边集中的任两边不邻接.极大边独立集(maximal edge inde…