边覆盖:最小的边集使得每个点都与至少一个点相连
点覆盖:最小的点集使得每个点都与至少一条边相连
匹配数 定义为 边独立数
对于任意图: 边覆盖数 = 点独立数
边覆盖数 + 点覆盖数 = 节点数
所以 点覆盖数 + 点独立数 = 节点数
对于二分图:点独立数 + 最大匹配数 = 节点数( 对于一个最大匹配M,其中任意一条边的两个点不可能同时连上未覆盖点,因 此对于每一条边可以提出一个点,与其他的未覆盖点组成最大点独立集 )
最小点覆盖 = 最大匹配
最大团 = 补图的最大独立集
所以,点独立数 + 最小点覆盖 = 节点数(所有点中去掉点覆盖 = 点独立)