二分图学习小结

匹配： 在图论中，一个匹配是一个边的集合，其中任意两条边都没有公共顶点。
最大匹配： 一个图所有匹配中，所含匹配边数最多的匹配，称为这个图的最大匹配
最大匹配数：最大匹配的匹配边的数目
完美匹配：如果一个图的某个匹配中，所有的顶点都是匹配点，那么它就是一个完美匹配。
最小点覆盖数：选取最少的点，使任意一条边至少有一个端点被选择
最大独立数：选取最多的点，使任意所选两点均不相连
最小路径覆盖数：对于一个 DAG（有向无环图），选取最少条路径，
使得每个顶点属于且仅属于一条路径。路径长可以为 0（即单个点）。
定理1：最大匹配数 = 最小点覆盖数（这是 Konig 定理）
定理2：二分图最大独立集=顶点数-二分图最大匹配
定理3：最小路径覆盖数 = 顶点数 -最大匹配数

二分图中的增广路径的性质：
(1)有奇数条边。
(2)起点在二分图的左半边，终点在右半边。
(3)路径上的点一定是一个在左半边，一个在右半边，交替出现。（其实二分图的性质就决定了这一点，因为二分图同一边的点之间没有边相连，不要忘记哦。）
(4)整条路径上没有重复的点。
(5)起点和终点都是目前还没有配对的点，而其它所有点都是已经配好对的。
(6)路径上的所有第奇数条边都不在原匹配中，所有第偶数条边都出现在原匹配中。
(7)最后，也是最重要的一条，把增广路径上的所有第奇数条边加入到原匹配中去，并把增广路径中的所有第偶数条边从原匹配中删除（这个操作称为增广路径的取反），则新的匹配数就比原匹配数增加了1个。

学习资料：http://blog.csdn.net/xuguangsoft/article/details/7861988

关键是建图：建立A,B两个集合，集合内是没有关系的，集合之间是单向关系
二分图的性质：在无向图G中，至少要有两个点。如果存在回路，那么回路必为偶数边的回路。。
多重匹配：一对多的二分图的多重匹配。二分图的多重匹配算法的实现类似于匈牙利算法，对于集合X中的元素xi，找到一个与其相连的元素yi后，检查匈牙利算法的两个条件是否成立，若yi未被匹配，则将xi，yi匹配。否则，如果与yi匹配的元素已经达到上限，那么在所有与yi匹配的元素中选择一个元素，检查是否能找到一条增广路径，如果能，则让出位置，让xi与yi匹配。
match[i][j]表示X集合中的Xi点与y集合中的j个点相连接（一对多ÿ