1. 一个图是二分图等价于不存在奇数环,等价于染色法不存在矛盾
2. 二分图的最大匹配常用的算法:匈牙利算法,其中涉及到:匹配,最大匹配,匹配点,增广路径等概念
3. 在二分图中有一个结论:最大匹配数 = 最小点覆盖 = 总点数 - 最大独立集 = 总点数 - 最小路径点覆盖:
- 最大匹配数:一个图所有匹配中,所含匹配边数最多的匹配,称为这个图的最大匹配;
- 最小点覆盖:给我们一个无向图,从中选择最少的点使得每一条边至少有一个点被选出来了;
- 最大独立集:从一个图中选出最多的点使得选出的点之间是没有边的;
- 最小路径点覆盖:又称为最小路径覆盖,针对于有向无环图来说的(但是转化完之后可以看成是一个无向图),我们希望用最小的互不相交的路径将所有的点覆盖住,其中点和边都不想交(也即点不重复那么相当于是边不相交);
- 最小路径重复点覆盖:是最小路径点覆盖的一个扩展,两条路径允许有公共点。