一:最小路径覆盖 = |V| - 最大独立集 = |V| - 最大二分匹配(有向图) 二:因为构图过程中,匹配是双向的,即<u,v> 和<v,u>都算匹配,因此匹配数多了1倍,所以要除以2 (无向图:最小路径覆盖=|v|-最大二分匹配/2)