二分图/二部图（bipartite graph）

二分图定义：

对于一个无向图G（V，E），V为顶点集合，E为边集合，存在两个集合，V1,V2∈V，且V1，V2互不相交 ，且E的两个端点分别属于V1，V2，那么顶点集合V与边集合E构成一个二分图，也叫二部图。

匹配：

在图论中，一个匹配（matching）是一个边的集合，其中任意两条边都没有公共结点。 

如下图（u1-v1,1; u2-v1,2; u4-v2,2; ）构成一个匹配

匹配点：

构成匹配的顶点，如上图中（u1,u2,u4,v1,1,v1,2,v2,2）

匹配边：

构成匹配的边（u1-v1,1; u2-v1,2; u4-v2,2; ）

最大匹配

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