【匹配公式合集】

1. 最小路径覆盖等于 = 图的点数 - 最大匹配.

一个点是一条路径。 开始有图的点数个路径，增加一个匹配（也就是一条边）  路径数-1。

匹配： 从X出发最多一条边,从Y进入最多一条边。

路径覆盖： 一个点出发最多一条边，一个点进入最多一条边。 所以这个点即在X也在Y。  自己X到自己Y不建立边。

1. |最大匹配| +  |最小边覆盖| = |V|   （前提，图中不存在孤立点）
2. |最大独立集| +  |最小顶点覆盖| = |V|     （任何条件）
3. |最大匹配| = |最小顶点覆盖|    （只适用与二分图）

注意：

• 以上三式，（除了1仍需满足不存在孤立点外）对于二分图全成立
• 且通过上面三式的变形，可以推出很多公式，如
  • 最小边覆盖 = 最大独立集 = |V| - 最大匹配数  （只适用与二分图）