poj1904 King's Quest

poj1904
题意就是有n个王子，n个公主。已知每个王子喜欢谁，以及最初的匹配
问王子还可以喜欢谁使得依旧能满足配好对

就是..强连通…每一个强连通块中的公主和王子就可以换了
那那那怎么构图呢~王子向公主连边，公主向最初匹配的王子连边

注意：同一个强连通块并不代表这里的每一个王子和公主都可以匹配，需要王子找到他喜欢的公主！

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
#define N 400010 
#define M 4010
struct node{int x,y,next;}edge[2*N];
int tot=0,cnt=0,top=0,scc=0,n,num=0,h[M],f[M],bf[M],gf[M],stack[M],belong[M],low[M],dfn[M],vis[M],c[M];
inline void tarjan(int x){
    dfn[x]=++cnt;low[x]=cnt;vis[x]=1;stack[++top]=x;
    for(int i=h[x];i;i=edge[i].next){
        int y=edge[i].y;
        if(!dfn[y]){
            tarjan(y);
            low[x]=min(low[x],low[y]); 
        }else if(vis[y]) low[x]=min(low[x],dfn[y]);
    }
    if(low[x]==dfn[x]){
        scc++;vis[x]=0;belong[x]=scc;
        while(stack[top]!=x){
            belong[stack[top]]=scc;
            vis[stack[top--]]=0;
        }top--;
    } 
}
int main(){
    scanf("%d",&n);
    for(int i=1;i<=n;i++){
        int k;scanf("%d",&k);
        for(int j=1;j<=k;j++){
            int x;scanf("%d",&x);
            edge[++num].x=i;edge[num].y=x+n;edge[num].next=h[i];h[i]=num;
        } 
    }
    for(int i=1;i<=n;i++){
        int x;scanf("%d",&x);
        edge[++num].x=x+n;edge[num].y=i;edge[num].next=h[x+n];h[x+n]=num;
    }
    for(int i=1;i<=2*n;i++) if(!dfn[i]) tarjan(i);
    for(int x=1;x<=n;x++){
        int m=0;
        for(int j=h[x];j;j=edge[j].next){
            int y=edge[j].y;
            if(belong[x]==belong[y]) c[++m]=y-n;
        }sort(c+1,c+m+1);
        printf("%d",m); 
        for(int j=1;j<=m;j++) printf(" %d",c[j]);printf("\n");
    }
    return 0;
}