zoukankan      html  css  js  c++  java
  • 二分图(最大匹配)

    8-17-二分图

    这次题目的A、B、C是二分图的最大匹配问题~

    算法讲解转自:http://ycool.com/post/cfnym64【目前我在网上看到的讲的最清楚的╮(╯▽╰)╭】

    image图1 image图2


    图1是我给出的二分图中的一个匹配:[1,5]和[2,6]。图2就是在这个匹配的基础上找到的一条增广路径:3->6->2->5->1->4。我们借由它来描述一下二分图中的增广路径的性质:

    (1)有奇数条边。
    (2)起点在二分图的左半边,终点在右半边。
    (3)路径上的点一定是一个在左半边,一个在右半边,交替出现。(其实二分图的性质就决定了这一点,因为二分图同一边的点之间没有边相连,不要忘记哦。)
    (4)整条路径上没有重复的点。
    (5)起点和终点都是目前还没有配对的点,而其它所有点都是已经配好对的。(如图1、图2所示,[1,5]和[2,6]在图1中是两对已经配好对的点;而起点3和终点4目前还没有与其它点配对。)
    (6)路径上的所有第奇数条边都不在原匹配中,所有第偶数条边都出现在原匹配中。(如图1、图2所示,原有的匹配是[1,5]和[2,6],这两条配匹的边在图2给出的增广路径中分边是第2和第4条边。而增广路径的第1、3、5条边都没有出现在图1给出的匹配中。)
    (7)最后,也是最重要的一条,把增广路径上的所有第奇数条边加入到原匹配中去,并把增广路径中的所有第偶数条边从原匹配中删除(这个操作称为增广路径的取反),则新的匹配数就比原匹配数增加了1个。(如图2所示,新的匹配就是所有蓝色的边,而所有红色的边则从原匹配中删除。则新的匹配数为3。)

    不难想通,在最初始时,还没有任何匹配时,图1中的两条灰色的边本身也是增广路径。因此在这张二分图中寻找最大配匹的过程可能如下:

    (1)找到增广路径1->5,把它取反,则匹配数增加到1。
    (2)找到增广路径2->6,把它取反,则匹配数增加到2。
    (3)找到增广路径3->6->2->5->1->4,把它取反,则匹配数增加到3。
    (4)再也找不到增广路径,结束。

    当然,这只是一种可能的流程。也可能有别的找增广路径的顺序,或者找到不同的增广路径,最终的匹配方案也可能不一样。但是最大匹配数一定都是相同的。

    对于增广路径还可以用一个递归的方法来描述。这个描述不一定最准确,但是它揭示了寻找增广路径的一般方法:
    “从点A出发的增广路径”一定首先连向一个在原匹配中没有与点A配对的点B。如果点B在原匹配中没有与任何点配对,则它就是这条增广路径的终点;反之,如果点B已与点C配对,那么这条增广路径就是从A到B,再从B到C,再加上“从点C出发的增广路径”。并且,这条从C出发的增广路径中不能与前半部分的增广路径有重复的点。

    比如图2中,我们要寻找一条从3出发的增广路径,要做以下3步:
    (1)首先从3出发,它能连到的点只有6,而6在图1中已经与2配对,所以目前的增广路径就是3->6->2再加上从2出发的增广路径。
    (2)从2出发,它能连到的不与前半部分路径重复的点只有5,而且5确实在原匹配中没有与2配对。所以从2连到5。但5在图1中已经与1配对,所以目前的增广路径为3->6->2->5->1再加上从1出发的增广路径。
    (3)从1出发,能连到的不与自已配对并且不与前半部分路径重复的点只有4。因为4在图1中没有与任何点配对,所以它就是终点。所以最终的增广路径是3->6->2->5->1->4。

    但是严格地说,以上过程中从2出发的增广路径(2->5->1->4)和从1出发的增广路径(1->4)并不是真正的增广路径。因为它们不符合前面讲过的增广路径的第5条性质,它们的起点都是已经配过对的点。我们在这里称它们为“增广路径”只是为了方便说明整个搜寻的过程。而这两条路径本身只能算是两个不为外界所知的子过程的返回结果。
    显然,从上面的例子可以看出,搜寻增广路径的方法就是DFS,可以写成一个递归函数。当然,用BFS也完全可以实现。

    至此,理论基础部份讲完了。但是要完成匈牙利算法,还需要一个重要的定理:

    如果从一个点A出发,没有找到增广路径,那么无论再从别的点出发找到多少增广路径来改变现在的匹配,从A出发都永远找不到增广路径。

    要用文字来证明这个定理很繁,话很难说,要么我还得多画一张图,我在此就省了。其实你自己画几个图,试图举两个反例,这个定理不难想通的。(给个提示。如果你试图举个反例来说明在找到了别的增广路径并改变了现有的匹配后,从A出发就能找到增广路径。那么,在这种情况下,肯定在找到别的增广路径之前,就能从A出发找到增广路径。这就与假设矛盾了。)
    有了这个定理,匈牙利算法就成形了。如下:

    初始时最大匹配为空
    for 二分图左半边的每个点i
        do 从点i出发寻找增广路径。如果找到,则把它取反(即增加了总了匹配数)。

    如果二分图的左半边一共有n个点,那么最多找n条增广路径。如果图中共有m条边,那么每找一条增广路径(DFS或BFS)时最多把所有边遍历一遍,所花时间也就是m。所以总的时间大概就是O(n * m)。

    采用:匈牙利算法+DFS实现~

     1 bool dfs(int u)
     2 {
     3     int v;
     4     for(v=1;v<=vN;v++)
     5         if(g[u][v] && !used[v])    //g[u][v]表示的是左子集的u能够与右子集的v进行匹配~
     6         {
     7             used[v]=true;       //对右子集的v进行标记并对其匹配
     8             if(linker[v]==-1 || dfs(linker[v]))  
     9             {
    10                 linker[v]=u;      //与右子集中的v匹配的是左子集的u~
    11                 return true;
    12             }
    13         }
    14     return false;
    15 }
    16 
    17 int hugary()
    18 {
    19     int res=0,u;
    20     memset(linker,-1,sizeof(linker));
    21     for(u=1;u<=uN;u++)
    22     {
    23         memset(used,0,sizeof(used));
    24         if(dfs(u)) res++;   //左子集的u在右子集中寻找能与之匹配的点,若找的到,那么匹配数res+1╮(╯▽╰)╭
    25     }
    26     return res;
    27 }

     A.POJ 1469   COURSES

    题意:

    有P个学生选课,共有N节课,最后看是否能满足:1)每个学生选的课不同,每节课都有学生选~

    很基础的二分图最大匹配问题~

    代码:

     1 #include <iostream>
     2 #include <cstdio>
     3 #include <cstring>
     4 using namespace std;
     5 
     6 #define MAXV 310
     7 int n,m;
     8 bool map[MAXV][MAXV],use[MAXV];
     9 int link[MAXV];
    10 
    11 bool dfs(int x)
    12 {
    13     int i,j;
    14     for(i=1;i<=m;i++)
    15         if(map[x][i] && !use[i])
    16         {
    17             use[i]=1;
    18             j=link[i];
    19             link[i]=x;
    20             if(dfs(j) || j==-1) return 1;
    21             link[i]=j;
    22         }
    23     return 0;
    24 }
    25 
    26 int hungary()
    27 {
    28     int i,num=0;
    29     memset(link,-1,sizeof(link));
    30     for(i=1;i<=n;i++)
    31     {
    32         memset(use,0,sizeof(use));
    33         if(dfs(i)) num++;
    34     }
    35     return num;
    36 }
    37 
    38 int main()
    39 {
    40     int i,num,a,t;
    41     scanf("%d",&t);
    42     while(t--)
    43     {
    44         scanf("%d%d",&m,&n);
    45         memset(map,0,sizeof(map));
    46         for(i=1;i<=m;i++)
    47         {
    48             scanf("%d",&num);
    49             while(num--)
    50             {
    51                 scanf("%d",&a);
    52                 map[a][i]=1;
    53             }
    54         }
    55         int x=hungary();
    56         if(x==m)
    57         printf("YES
    ");
    58         else
    59             printf("NO
    ");
    60     }
    61     return 0;
    62 }
    View Code

    //memory:260KB     time:938ms

    B.HDU 2819    Swap

    给出只含“0”和“1”的nxn图,看是否该图能只通过行移动或只通过列移动,使图的斜对角线【从左上到右下】全为“1”~

    该题的难点不是行列进行匹配,而是最后输出移动步骤~~~详情请移驾于下面的代码~╮(╯▽╰)╭

    代码:

     1 #include <iostream>
     2 #include <cstdio>
     3 #include <cstring>
     4 using namespace std;
     5 
     6 const int M=105;
     7 int uN,vN,g[M][M],linker[M],a[10000],b[10000];
     8 bool used[M];
     9 
    10 bool dfs(int u)
    11 {
    12     int v;
    13     for(v=1;v<=vN;v++)
    14         if(g[u][v] && !used[v])
    15         {
    16             used[v]=true;
    17             if(linker[v]==-1 || dfs(linker[v]))
    18             {
    19                 linker[v]=u;
    20                 return true;
    21             }
    22         }
    23     return false;
    24 }
    25 
    26 int hugary()
    27 {
    28     int res=0,u;
    29     memset(linker,-1,sizeof(linker));
    30     for(u=1;u<=uN;u++)
    31     {
    32         memset(used,0,sizeof(used));
    33         if(dfs(u)) res++;
    34     }
    35     return res;
    36 }
    37 
    38 int main()
    39 {
    40     int N,i,j,u,v;
    41     while(scanf("%d",&N)!=EOF)
    42     {
    43         uN=vN=N;
    44         for(i=1;i<=uN;i++)
    45             for(j=1;j<=vN;j++)
    46                 scanf("%d",&g[i][j]);
    47         int ans=hugary();
    48         if(ans<N){printf("-1
    ");continue;}    //无法达到题目要求,直接输出-1
    49         int res=0;
    50         for(i=1;i<=uN;i++)       //从第一列开始搜起~
    51         {
    52             for(j=i;j<=vN;j++)
    53                 if(linker[j]==i) break;    //找到与第i行相匹配的列数j
    54             if(j!=i)                  //若i!=j,即与第i行相匹配的不是第i列,那么把与第i列相匹配的行数linker[i]换为linker[j],即换为第i行
    55             {
    56                 a[res]=i;
    57                 b[res++]=j;
    58                 int t=linker[i];
    59                 linker[i]=linker[j];
    60                 linker[j]=t;
    61             }
    62         }
    63         printf("%d
    ",res);
    64         for(i=0;i<res;i++)
    65             printf("C %d %d
    ",a[i],b[i]);
    66     }
    67     return 0;
    68 }

    //memory:280KB     time:62ms

    C.POJ 3041     Asteroids

    题意:

    清除地图中的"X"点,同一行和同一列的"X"只需要一枚子弹,问清除地图中所有的"X"点最少需要多少子弹?

    说实话,要不是在做二分图专题,尼玛,压根就想不到是二分图的最大匹配问题~╮(╯﹏╰)╭

    代码:

     1 #include <iostream>
     2 #include <cstdio>
     3 #include <cstring>
     4 using namespace std;
     5 
     6 #define M 550
     7 int n,map[M][M],linker[M];
     8 bool vis[M];
     9 
    10 bool dfs(int x)
    11 {
    12     int i;
    13     for(i=1;i<=n;i++)
    14         if(map[x][i] && !vis[i])
    15         {
    16             vis[i]=true;
    17             if(linker[i]==-1 || dfs(linker[i]))
    18             {
    19                 linker[i]=x;
    20                 return true;
    21             }
    22         }
    23     return false;
    24 }
    25 
    26 int main()
    27 {
    28     int k,a,b,ans,i;
    29     while(~scanf("%d%d",&n,&k))
    30     {
    31         memset(map,0,sizeof(map));
    32         for(i=1;i<=k;i++)
    33         {
    34             scanf("%d%d",&a,&b);
    35             map[a][b]=1;
    36         }
    37         memset(linker,-1,sizeof(linker));
    38         for(i=1,ans=0;i<=n;i++)
    39         {
    40             memset(vis,0,sizeof(vis));
    41             if(dfs(i))
    42             ans++;
    43         }
    44         printf("%d
    ",ans);
    45     }
    46     return 0;
    47 }

    //memory:1348KB     time:16ms

  • 相关阅读:
    Entity Framework Code First 模式-建立一对一联系
    Entity Framework Code First 模式-建立一对多联系
    sqllocaldb
    NuGet 命令行使用EntityFrameWork
    c# 中反射里的invoke方法的参数
    在js中使用Razor
    一个页面上调用多个setInterval失效解决办法(使用于同一时间间隔)
    Echart使用过的属性总结
    VS注释与取消注释快捷键
    hibernate的强转类型
  • 原文地址:https://www.cnblogs.com/teilawll/p/3268940.html
Copyright © 2011-2022 走看看