poj1904 King‘s Quest（二分图+tarjan求scc）

给定一个二分图和其上的一个完美匹配，问在仍然保证完美匹配的情况下，X部的每个点所有可以匹配的Y部的点。
如果我们要匹配x1->y2,则要找到x2->yk->xk->y1才可以仍然保证完美匹配。
即x1->y2->x2->yk->xk->y1->x1。中间可以更替若干点，只要最后还能回到x1即可。
我们发现这样就成了一个环。
于是我们可以对原图的边x->y,建边x->y，对给定的完美匹配x->y,建边y->x。然后tarjan求强连通，对于原边x->y，如果同属一个scc，则就是可以的。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 2010
inline char gc(){
	static char buf[1<<16],*S,*T;
	if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
	return *S++;
}
inline int read(){
	int x=0,f=1;char ch=gc();
	while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
	while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
	return x*f;
}
int n,h[N<<1],num=0,bel[N<<1],scc=0,dfn[N<<1],low[N<<1],dfnum=0,ans[N];
struct edge{
	int to,next;
}data[210000];
inline void add(int x,int y){
	data[++num].to=y;data[num].next=h[x];h[x]=num;
}
stack<int>qq;bool inq[N<<1];
inline void tarjan(int x){
	low[x]=dfn[x]=++dfnum;qq.push(x);inq[x]=1;
	for(int i=h[x];i;i=data[i].next){
		int y=data[i].to;
		if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
		else if(inq[y]) low[x]=min(low[x],dfn[y]);
	}if(low[x]==dfn[x]){
		++scc;while(1){
			int y=qq.top();qq.pop();inq[y]=0;
			bel[y]=scc;if(y==x) break;
		}
	}
}
int main(){
//	freopen("a.in","r",stdin);
	n=read();
	for(int i=1;i<=n;++i){
		int k=read();
		while(k--) add(i,read()+n);
	}for(int i=1;i<=n;++i) add(read()+n,i);
	for(int i=1;i<=n<<1;++i) if(!dfn[i]) tarjan(i);
	for(int x=1;x<=n;++x){
		int tot=0;
		for(int i=h[x];i;i=data[i].next){
			int y=data[i].to;if(bel[y]!=bel[x]) continue;
			ans[++tot]=y-n;
		}sort(ans+1,ans+tot+1);
		printf("%d",tot);
		for(int i=1;i<=tot;++i) printf(" %d",ans[i]);puts("");
	}return 0;
}