二分图总结

1. 一个图是二分图等价于不存在奇数环，等价于染色法不存在矛盾

2. 二分图的最大匹配常用的算法：匈牙利算法，其中涉及到：匹配，最大匹配，匹配点，增广路径等概念

3. 在二分图中有一个结论：最大匹配数 = 最小点覆盖 = 总点数 - 最大独立集 = 总点数 - 最小路径点覆盖：

• 最大匹配数：一个图所有匹配中，所含匹配边数最多的匹配，称为这个图的最大匹配；
• 最小点覆盖：给我们一个无向图，从中选择最少的点使得每一条边至少有一个点被选出来了；
• 最大独立集：从一个图中选出最多的点使得选出的点之间是没有边的；
• 最小路径点覆盖：又称为最小路径覆盖，针对于有向无环图来说的（但是转化完之后可以看成是一个无向图），我们希望用最小的互不相交的路径将所有的点覆盖住，其中点和边都不想交（也即点不重复那么相当于是边不相交）；
• 最小路径重复点覆盖：是最小路径点覆盖的一个扩展，两条路径允许有公共点。