二分图相关定理

二分图中：

1、最小点覆盖

最小覆盖点数=最大匹配数

2、最小路径覆盖

最小路径覆盖=|G|-最大匹配数（|G|为总点数）

3、最大独立集

最大独立集=总数-最小覆盖集