问题简介:
二分图是指这样的图:图的顶点分成X和Y两个集合,同一个集合的顶点不存在边相连,只有不同集合的顶点才有可能有边直接相连。二分图的一个匹配是指求出一个边的集合,使得集合里任意两条边都没有公共的顶点,也就是说一个顶点最多只属于一条边。
简单地看,二分图的一个匹配给出了一个X集合的某些顶点Y集合的某些顶点的一个一一映射。
二分图的最大匹配(maximal matching)就是找出边数最大的边集,也就是求最多有多少个顶点可以被匹配上。
如果一个匹配中,图中的每个顶点都和图中某条边相关联,则称此匹配为完全匹配,也称作完备,完美匹配。
算法描述:
求最大匹配的一种显而易见的算法是:先找出全部匹配,然后保留匹配数最多的。但是这个算法的时间复杂度为边数的指数级函数。因此,需要寻求一种更加高效的算法。下面介绍用增广路求最大匹配的方法(称作匈牙利算法,匈牙利数学家Edmonds于1965年提出)。
增广路的定义(也称增广轨或交错轨):
一条增广路的概念是指找一条已经被匹配上的边和未被匹配上的边相互交替的路径,这条路径长度为奇数并且未被匹配上的边比被匹配上的边多1。(因为,我要从左边匹配到右边)通过把增广路上未被匹配上的边改为匹配上的边,而匹配上的边全部改为未被匹配上的边,就可以把匹配数加1。
如果这样的增广路不能被找到,算法结束。
这是一种用增广路求二分图最大匹配的算法。它由匈牙利数学家Edmonds于1965年提出,因而得名。 定义 未盖点:设Vi是图G的一个顶点,如果Vi 不与任意一条属于匹配M的边相关联,就称Vi 是一个未盖点。
交错路:设P是图G的一条路,如果P的任意两条相邻的边一定是一条属于M而另一条不属于M,就称P是一条交错路。
可增广路:两个端点都是未盖点的交错路叫做可增广路。
流程图
伪代码:
- bool 寻找从k出发的对应项出的可增广路
- {
- while (从邻接表中列举k能关联到顶点j)
- {
- if (j不在增广路上)
- {
- 把j加入增广路;
- if (j是未盖点 或者 从j的对应项出发有可增广路)
- {
- 修改j的对应项为k;
- 则从k的对应项出有可增广路,返回true;
- }
- }
- }
- 则从k的对应项出没有可增广路,返回false;
- }
- void 匈牙利hungary()
- {
- for i->1 to n
- {
- if (则从i的对应项出有可增广路)
- 匹配数++;
- }
- 输出 匹配数;
- }
演示:
C实现(作者BYVoid)
- #include <stdio.h>
- #include <string.h>
- #define MAX 102
- long n,n1,match;
- long adjl[MAX][MAX];
- long mat[MAX];
- bool used[MAX];
- FILE *fi,*fo;
- void readfile()
- {
- fi=fopen("flyer.in","r");
- fo=fopen("flyer.out","w");
- fscanf(fi,"%ld%ld",&n,&n1);
- long a,b;
- while (fscanf(fi,"%ld%ld",&a,&b)!=EOF)
- adjl[a][ ++adjl[a][0] ]=b;
- match=0;
- }
- bool crosspath(long k)
- {
- for (long i=1;i<=adjl[k][0];i++)
- {
- long j=adjl[k][i];
- if (!used[j])
- {
- used[j]=true;
- if (mat[j]==0 || crosspath(mat[j]))
- {
- mat[j]=k;
- return true;
- }
- }
- }
- return false;
- }
- void hungary()
- {
- for (long i=1;i<=n1;i++)
- {
- if (crosspath(i))
- match++;
- memset(used,0,sizeof(used));
- }
- }
- void print()
- {
- fprintf(fo,"%ld",match);
- fclose(fi);
- fclose(fo);
- }
- int main()
- {
- readfile();
- hungary();
- print();
- return 0;
- }