二分图与匹配问题

一、二分图的定义

给定图G=(V,E)。如果顶点集V可分为两个互不相交的非空子集X和Y，并且图中的每条边（i，j）的两个端点i和j分别属于这两个不同的顶点子集，那么就称图G为一个二分图，记为G=(X,E,Y)。如果在子集X中的任一顶点i和子集Y中的任一顶点j之间都存在一条边,那么就称图G为一个完全二分图。如下图所示：

在网络科学研究中，二分图也称为二分网络、从属网络和二模网络。

二、二分图的判断方法

在网络中任意选取一点，把该节点以及与该节点距离为偶数的所有其他节点的集合记为X，把与该节点的距离为奇数的节点的集合记为Y。如果在集合X和Y的内部都不存在边，即所有的
边都只存在于集合X和Y之间，那么该网络就是二分网络。

三、二分图的实际例子

（1）人员合作网络：集合X中的每个节点代表一名科研人员，集合Y中的每个节点代表一篇文章。
（2）学生选课网络：集合X中的每个节点代表一名学生，结合Y中的每个节点代表一篇文章。
（3）用户推荐网络：每个用户作为集合X中的一个元素，每间物品作为集合Y中的一个元素。
（4）在线社区网络：集合X中的每个节点代表一个用户，集合Y中的每个节点代表一个话题。
上述的例子都有一个共同的特征：集合X是由一组个体组成，集合Y是由这组个体参与的事件组成。

四、二分图到单分图的投影

在分析自然具有二分图结构的网络时,通常会先把它投影到由集合X中的顶点构成的单分图；如果在原来的二分图中,集合X中两个顶点都与集合Y中的某个顶点相连,那么在对应的单分图中,这两个顶点之间就有一条边。同样，也可以把该二分图投影到由集合Y中顶点构成的单分图,然后再分析所得到的单分图的拓扑性质。下图为将一个二分图投影到两个单分图。

这里无论是基于集合X的单分图还是基于集合Y的单分图都有可能会失去原始二分图的一些重要特性。

五、二分图的匹配

二分图是一种十分有用的网络模型，许多涉及资源的人员分配的实际问题都可以归结为二分图的匹配问题，具体定义如下：
（1）匹配：设G=(X,E,Y)为二分图,F为边集E的一个子集，即F$\in$E。如果F中任意两条边都没有公共端点,那么就称F为图G的一个匹配。
（2）最大匹配：图G的所有匹配中边数最多的匹配。
（3） X-完全匹配：集合X中任一顶点均为匹配F中边的端点。
（4） Y-完全匹配：集合Y中任一顶点均为匹配F中边的端点。
（5）完全匹配：F既是X-完全匹配又是Y-完全匹配,此时，集合X和集合Y中的顶点恰好一一对应。

例如在上图中粗线表示匹配的边，（a）中匹配不是最大的；（b）中匹配是最大的，是X-完全匹配；（c）中匹配是完全的，从而也是最大的。