图，点，边

独立集: 图的顶点集的子集，其中任意两点不相邻。
最小点覆盖：二分图中，选取最少的点数，使这些点和所有的边都有关联（把所有的边的覆盖）
最小路径覆盖： 最小路径覆盖 就是找出最小的 路径 条数，使之成为P的一个 路径覆盖 .


|最大独立集| = |V|-|最大匹配数|

|最小顶点覆盖| = |最大匹配| 

|最小路径覆盖| = |V| - |最大匹配|

二分图最小顶点覆盖 = 双向二分图最大匹配 / 2 。

拆点建图一般要除2 ， 因为与普通匹配相比  多了一条往自身的回路。