poj 1904 King's Quest tarjan求二分图的所有可选最大匹配边
因为是完美匹配，所以每个点都已经匹配了，那么如果要选择一条别的边，增光路的最后必定找到原来所匹配的点，加上匹配的边，那么就是一个环。所以可选边在一个强连通分量里。
#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
const int maxn=4e3+9;
int mt[maxn];
int low[maxn],dfn[maxn],instack[maxn],count;
int s[maxn],stack[maxn],top,con;
int head[maxn],lon;
int ans[maxn],n;
struct
{
int next,to;
}e[200000+maxn];
void edgeini()
{
memset(head,-1,sizeof(head));
lon=-1;
}
void edgemake(int from,int to)
{
e[++lon].to=to;
e[lon].next=head[from];
head[from]=lon;
}
void tarjan(int t)
{
low[t]=dfn[t]=++count;
instack[t]=1;
stack[++top]=t;
for(int k=head[t],u;k!=-1;k=e[k].next)
{
u=e[k].to;
if(dfn[u]==-1)
{
tarjan(u);
low[t]=min(low[t],low[u]);
}
else if(instack[u])
{
low[t]=min(low[t],dfn[u]);
}
}
if(low[t]==dfn[t])
{
++con;
while(1)
{
int u=stack[top--];
s[u]=con;
instack[u]=0;
if(u==t) break;
}
}
}
void tarjan()
{
memset(dfn,-1,sizeof(dfn));
memset(instack,0,sizeof(instack));
top=count=con=0;
for(int i=1;i<=n;i++)
if(dfn[i]==-1)
{
tarjan(i);
}
}
int main()
{
// freopen("in.txt","r",stdin);
while(scanf("%d",&n)!=EOF)
{
edgeini();
for(int i=1,tmp;i<=n;i++)
{
scanf("%d",&tmp);
for(int j=1,to;j<=tmp;j++)
{
scanf("%d",&to);
edgemake(i,to+n);
}
}
for(int i=1;i<=n;i++)
{
scanf("%d",&mt[i]);
edgemake(mt[i]+n,i);
}
tarjan();
for(int i=1;i<=n;i++)
{
memset(ans,0,sizeof(ans));
int sum=0;
for(int k=head[i];k!=-1;k=e[k].next)
{
int u=e[k].to;
if(s[i]==s[u])
{
sum++;
ans[u-n]=1;
}
}
printf("%d",sum);
for(int i=1;i<=n;i++)
if(ans[i])
printf(" %d",i);
printf("\n");
}
}
return 0;
}