二分图基础理论说明

对于任意图：

|最小边覆盖|+|最大匹配|=|V|

二分图的最大匹配=最小点覆盖数

对于二分图：

以下数值等价.

最大匹配

最小点覆盖

|V|-最大独立集(二分图or有向无环图)

|V|-最小边覆盖数

|V|-最小路径覆盖数(有向无环图)

|V|-最小路径覆盖数/2(无向图)

（上面括号里有有向无环图的，均是将一个点拆成两个点连边匹配）

由于任意图的那几个几乎用不到于是这里只贴二分图的定义

最小点覆盖：理解为点覆盖边，即用最小的点覆盖所有的边。(若一条边的其中一个端点被选用，这条边就被覆盖了)

最大独立集：求一个最大的点集，里面的点不存在任何的边相连。

最小边覆盖：理解为边覆盖点，用最少的边把图中的点全部覆盖。

最小路径覆盖：用最少的路径把图中的所有点覆盖。