King‘s Quest（tarjan算法）

题目传送门https://www.luogu.com.cn/problem/UVA1327

---

题目大意

给定一张左部点和右部点均为 n 个的二分图，求出二分图最大完备匹配的可行边。

于是我们根据数据画出了这么一张图：

其中1~4代表王子，5~8代表妹纸

从王子向妹纸连一条边

再从妹纸连一条线到王子

通过这个图，我们发现有几个王子和妹纸组成了几个强连通分量（如下图，框出的部分）

思考得出：要求王子可以跟哪个妹纸结婚，就是求全图有几个强连通分量，而在这个强连通分量内，网址和妹纸可以任意结婚，于是果断使用 Tarjan 算法。

知道该怎样建图，剩下的就是 Tarjan 模板了。

答案只要枚举强连通分量内的王子和妹纸即可

代码：

#include<bits/stdc++.h>
using namespace std;
int top,t,cnt,n,m,en,h[40005],dfn[40005],low[40005],st[40005],b[40005],ans[20005];
stack<int> s;
struct edge{//前向星存图
    int n,v;
}e[2000005];
void add_edge(const int &x,const int &y){//加边
    e[++en]=(edge){h[x],y};
    h[x]=en;
}
void tarjan(int x){//tarjan模板
    s.push(x);
    dfn[x]=low[x]=++t;//时间戳
    for(int i=h[x];i;i=e[i].n){
        int y=e[i].v;
        if(!dfn[y]){
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }else if(!b[y]) low[x]=min(low[x],dfn[y]);//更新low数组
    }
    if(low[x]==dfn[x]){
        cnt++;
        int v=s.top();
        s.pop();
        b[v]=cnt;
        while(v!=x){
            v=s.top();
            s.pop();
            b[v]=cnt;
        }
    }
}
int main(){
    while(~scanf("%d",&n)){
        en=t=cnt=top=0;
        memset(h,0,sizeof(h));
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(b,0,sizeof(b));//初始化
        for(int i=1,k;i<=n;i++){
            scanf("%d",&k);//输入不需要自己写，照样能过
            for(int j=1,x;j<=k;j++){
                scanf("%d",&x);
                add_edge(i,x+n);
            }
        }
        for(int i=1,x;i<=n;i++){
            scanf("%d",&x);
            add_edge(x+n,i);//从妹纸向王子连边
        }
        for(int i=1;i<=n*2;i++) if(!dfn[i]) tarjan(i);//跑一遍tarjan
        for(int u=1;u<=n;u++){//枚举王子
            int len=0;
            for(int i=h[u];i;i=e[i].n){//枚举妹子
                int v=e[i].v;
                if(b[u]==b[v]) ans[++len]=v-n;
            }
            sort(ans+1,ans+1+len);//排序
            printf("%d ",len);
            for(int i=1;i<=len;i++) printf("%d ",ans[i]);
            printf("\n");
        }
    }
    return 0;//结束
}

Goodbye~