hdu 4685(匹配+强连通分量)

题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=4685

思路：想了好久，终于想明白了，懒得写了，直接copy大牛的思路了，写的非常好！

做法是先求一次最大匹配设为cnt，那么左边有n-cnt个王子还未匹配，右边有m-cnt个公主还未匹配，因此我们将左侧增加m-cnt个虚拟王子，虚拟王子与右边所有公主连边；右边增加n-cnt个虚拟公主，虚拟公主与左边所有王子连边，这样我们就得到一个两边各有M=n+m-cnt的二分图，且该二分图是一个完美匹配。也就是每个王子都有一个匹配的公主。现在，我们将每个王子匹配的公主向该王子喜欢的公主连边（建一个新图g），然后求g的强连通分量。那么与每个王子之前匹配的公主在一个强连通分量里的公主都可以作为该王子的匹配使得最大匹配不变。为什么是这样的呢？设王子i之前的匹配为p[i]，现在为王子i选择一个新的公主j，那么我们若能为p[i]重新找到一个王子k，那么实质上就是找到另一个王子互换两个两个王子喜欢的公主。因此两公主若在一个强连通分量里，那么王子由之前的匹配公主A选择公主B时，A也能找到另一个匹配，因为B能够通过某些路径到达A，等价于这条环上所有王子的匹配都后移一个人而已。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<stack>
 #include<vector>
 using namespace std;
 #define MAXN 1111

 int n,m,N,cnt;
 bool map[MAXN][MAXN];
 bool mark[MAXN];
 int ly[MAXN];
 int lx[MAXN];

 int dfs(int u,int m)
 {
     for(int v=;v<=m;v++){
         if(map[u][v]&&!mark[v]){
             mark[v]=true;
             if(ly[v]==-||dfs(ly[v],m)){
                 ly[v]=u;
                 lx[u]=v;
                 return ;
             }
         }
     }
     return ;
 }

 int MaxMatch(int n,int m)
 {
     memset(ly,-,sizeof(ly));
     memset(lx,-,sizeof(lx));
     int ans=;
     for(int i=;i<=n;i++){
         memset(mark,false,sizeof(mark));
         ans+=dfs(i,m);
     }
     return ans;
 }

 vector<vector<int> >g;
 vector<vector<int> >ans;

 int dfn[MAXN],low[MAXN];
 int color[MAXN],_count;
 stack<int>S;

 void Tarjan(int u)
 {
     low[u]=dfn[u]=++cnt;
     mark[u]=true;
     S.push(u);
     for(int i=;i<g[u].size();i++){
         int v=g[u][i];
         if(dfn[v]==){
             Tarjan(v);
             low[u]=min(low[u],low[v]);
         }else if(mark[v]){
             low[u]=min(low[u],dfn[v]);
         }
     }
     if(low[u]==dfn[u]){
         _count++;
         int x;
         do{
             x=S.top();
             S.pop();
             mark[x]=false;
             color[x]=_count;
         }while(x!=u);
     }
 }

 int main()
 {
     int _case,k,x,t=;
     scanf("%d",&_case);
     while(_case--){
         scanf("%d%d",&n,&m);
         memset(map,false,sizeof(map));
         for(int i=;i<=n;i++){
             scanf("%d",&k);
             while(k--){
                 scanf("%d",&x);
                 map[i][x]=true;
             }
         }
         cnt=MaxMatch(n,m);
         N=n+m-cnt;
         for(int i=n+;i<=N;i++)
             for(int j=;j<=N;j++)
                 map[i][j]=true;
         for(int i=m+;i<=N;i++)
             for(int j=;j<=N;j++)
                 map[j][i]=true;
         MaxMatch(N,N);
         g.clear();
         g.resize(N+);
         ans.clear();
         ans.resize(N+);
         for(int i=;i<=N;i++){
             for(int j=;j<=N;j++){
                 if(lx[i]!=j&&map[i][j]){
                     g[lx[i]].push_back(j);
                 }
             }
         }
         memset(dfn,,sizeof(dfn));
         memset(mark,false,sizeof(mark));
         _count=cnt=;
         for(int i=;i<=N;i++)
             if(dfn[i]==)Tarjan(i);
         for(int i=;i<=n;i++){
             for(int j=;j<=m;j++){
                 if(map[i][j]&&color[lx[i]]==color[j]){
                     ans[i].push_back(j);
                 }
             }
         }
         printf("Case #%d:\n",t++);
         for(int i=;i<=n;i++){
             printf("%d",(int)ans[i].size());
             for(int j=;j<ans[i].size();j++){
                 printf(" %d",ans[i][j]);
             }
             puts("");
         }
     }
     return ;
 }