讲一下建图过程,题目给出了我们一组匹配match[i] 。对于这一组匹配好的解,我们建边 i->j, 对于能匹配但是不是题目给出的匹配的边,建边j->i; 那么对于一个son和一个gril,如果属于同一个强连通且能过匹配的就一定是满足条件的 。
VIEW CODE
#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cmath>
#include<queue>
#include<stack>
#include<string>
#include<cstring>
#include<map>
#include<vector>
#include<set>
#include<ctime>
#include<stdlib.h>
using namespace std;
const int mmax= 4010;
const int mod=1000000007;
typedef long long LL;
struct node
{
int st,en;
int next;
}E[200010];
int p[mmax],fa[mmax];
int num;
void init()
{
memset(p,-1,sizeof p);
num=0;
}
void add(int st,int en)
{
E[num].st=st;
E[num].en=en;
E[num].next=p[st];
p[st]=num++;
}
int find(int x)
{
if(x==fa[x])
return x;
return fa[x]=find(fa[x]);
}
int times,pp;
int low[mmax],dfn[mmax],Q[mmax];
bool instack[mmax];
void tarjin(int u)
{
dfn[u]=low[u]=++times;
Q[++pp]=u;
instack[u]=1;
for(int i=p[u];i+1;i=E[i].next)
{
int v=E[i].en;
if(!dfn[v])
{
tarjin(v);
if(low[u]>low[v])
low[u]=low[v];
}
else if(instack[v])
low[u]=min(low[u],dfn[v]);
}
if(dfn[u]==low[u])
{
while(pp)
{
int x=Q[pp--];
instack[x]=0;
if(x==u)
break;
int xx=find(x);
fa[xx]=u;
}
}
}
bool G[2100][2100];
int match[2100];
int main()
{
int n;
while(cin>>n)
{
init();
for(int i=1;i<=2*n;i++)
fa[i]=i;
memset(G,0,sizeof G);
for(int i=1;i<=n;i++)
{
int ki,x;
scanf("%d",&ki);
while(ki--)
{
scanf("%d",&x);
G[i][x]=1;
}
}
for(int i=1;i<=n;i++)
{
scanf("%d",&match[i]);
add(i,match[i]+n);
}
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
{
if(G[i][j] && j!=match[i])
add(j+n,i);
}
memset(dfn,0,sizeof dfn);
memset(instack,0,sizeof instack);
times=pp=0;
for(int i=1;i<=2*n;i++)
if(!dfn[i])
tarjin(i);
for(int i=1;i<=n;i++)
{
int cnt=0;
for(int j=1;j<=n;j++)
{
if(j==match[i] || (G[i][j] && find(i)==find( j+n) ))
cnt++;
}
printf("%d",cnt);
for(int j=1;j<=n;j++)
{
if(j==match[i] || (G[i][j] && find(i)==find( j+n) ))
printf(" %d",j);
}
puts("");
}
}
return 0;
}