二分匹配的一些基本概念

1.二分图：二分图又称作二部图，是图论中的一种 特殊模型 。设G= (V,E)是一个无向
图，如果顶点V可分割为两个互不相交的子集 (A,B)，并且图中的每条边（i，j）所关联
的两个顶点i和j分别属于这两个不同的顶点集 (i in A,j in B)，则称图G为一个二分图

2.匹配：在图论中，一个「匹配」是一个边的集合，其中任意两条边都没有公共顶点。

3.最大匹配：一个图所有匹配中，所含匹配边数最多的匹配，称为这个图的最大匹配。

4.完美匹配：如果一个图的某个匹配中，所有的顶点都是匹配点，那么它就是一个完美
匹配。
显然，完美匹配一定是最大匹配（完美匹配的任何一个点都已经匹配，添加一条新的匹
配边一定会与已有的匹配边冲突）。但并非每个图都存在完美匹配。

5.交错路：设P是图G的一条路，如果P的任意两条相邻的边一定是一条属于M（匹配）
而另一条不属于M，就称P是一条交错路。

6.增广路：一条路的两个端点都是未匹配点的交错路叫做可增广路。

7.求最大匹配方法：