二分图&&匈牙利算法（二分图基本算法）

Posted 2021-02-11 heinz

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了二分图&&匈牙利算法（二分图基本算法）相关的知识，希望对你有一定的参考价值。

二分图

二分图又称作二部图，是图论中的一种特殊模型。

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

区别二分图，关键是看点集是否能分成两个独立的点集。如下图所示

技术图片

二分图的最大匹配

给定一个二分图G，在G的一个子图M中，M的边集中的任意两条边都不依附于同一个顶点，则称M是一个匹配.
选择这样的边数最大的子集称为图的最大匹配问题（maximal matching problem)
如果一个匹配中，图中的每个顶点都和图中某条边相关联，则称此匹配为完全匹配，也称作完备匹配。

求最大匹配的方法，常用的有匈牙利算法

匈牙利算法

主要思路就是枚举一个点集中的所有点x，对于每个点x，枚举以其为端点的所有点v，若v未被匹配则将x匹配给v，若v已有一点与其匹配，则判断原来匹配给它的点x1是否有其他的点v1可以匹配,就这样一直递归下去，当跑完整个流程时，得到的匹配成功的x数则是二分图的最大匹配！代码如下

//mk[x]表示点x所匹配的点，mark[x]表示x已被走过
bool sp(int x){
    for(int i=0;i<edge[x].size();i++){
        int v=eedge[x][i];
        if(mark[v])continue;
        mark[v]=1;
        if(mk[v]==-1||sp(mk[v])){
            mk[v]=x;
            return true;
        }
    }
    return false;
}
int solve(){
    int ans=0;
    memset(mk,-1,sizeof(mk));
    for(int i=1;i<=n；i++){
        memset(mark,0,sizeof(mark));
        if(sp(i))ans++;
    }
    return ans;
}