传送门
题意：每个儿子都喜欢许多女孩，问每个渣男儿子最多有几个可以选择备胎。他爹也挺渣。。
猛地一看，哇二分匹配，但是想了想输入输出都能卡时间的题目，循环暴力二分匹配必T无疑，在做强连通模块的题所以想了好久也不知道怎么转化。看了大佬的博客，解释的特别好。
首先题目是给了一个完备匹配了的，思想如下：
设一个渣男为m1，一个小女孩为g1，在所给的完备匹配中m1<->g1，他们俩是肯定成立的。
然后渣男m1又喜欢的女孩g2，所以注意此时的图为
g2又去找他的完备匹配的是谁，不管中间多复杂，如果想要成立一个与原来的匹配不同的选择，必定最后有一条边是回到g1的，因为之前选g1的渣男m1他去选g2,所以此时显然就出现了一个环，既然是环，即是强连通，即每一个渣男可以选择强连通分量里边每一个girl，所以此时做法就是男孩向女孩引边，再从女孩向男孩引边，tanjar，最后看每一个男孩对应的女孩是不是一个强连通分量即可。
ac代码：
#include<stdio.h>
#include<string.h>
#include<iostream>
#include<algorithm>
#include<math.h>
#include<set>
#include<stack>
#include<vector>
#include<map>
#include<queue>
#define myself i,l,r
#define lson i<<1
#define rson i<<1|1
#define Lson i<<1,l,mid
#define Rson i<<1|1,mid+1,r
#define half (l+r)/2
#define inff 0x3f3f3f3f
#define lowbit(x) x&(-x)
#define me(a,b) memset(a,b,sizeof(a))
#define min4(a,b,c,d) min(min(a,b),min(c,d))
#define min3(x,y,z) min(min(x,y),min(y,z))
typedef long long ll;
using namespace std;
const int maxn=2e3+5;
const int M=2e5+5;
int low[2*maxn],dfn[2*maxn],Stack[2*maxn],inStack[2*maxn],belong[2*maxn],head[2*maxn];
int sign,top,cnt,t,n;
vector<int>ans;
struct node
{
int to,p;
}edge[maxn+M];
void init()
{
sign=top=cnt=t=0;
for(int i=1;i<=2*n;i++)
{
low[i]=dfn[i]=inStack[i]=0;
belong[i]=head[i]=-1;
}
}
void add(int u,int v)
{
edge[sign]=node{v,head[u]};
head[u]=sign++;
}
void tanjar(int u)
{
low[u]=dfn[u]=++t;
Stack[++top]=u;
inStack[u]=1;
for(int i=head[u];i!=-1;i=edge[i].p)
{
int v=edge[i].to;
if(!dfn[v])
{
tanjar(v);
low[u]=min(low[u],low[v]);
}
else if(inStack[v])
low[u]=min(low[u],dfn[v]);
}
int x;
if(low[u]==dfn[u])
{
cnt++;
do
{
x=Stack[top--];
inStack[x]=0;
belong[x]=cnt;
}while(u!=x);
}
}
int main()
{
int num,x;
while(scanf("%d",&n)!=EOF)
{
init();
for(int i=1;i<=n;i++)
{
scanf("%d",&num);
while(num--)
{
scanf("%d",&x);
add(i,x+n);
}
}
for(int i=1;i<=n;i++)
{
scanf("%d",&x);
add(x+n,i);
}
for(int i=1;i<=n;i++)
{
if(!dfn[i])
tanjar(i);
}
for(int i=1;i<=n;i++)
{
ans.clear();
for(int j=head[i];j!=-1;j=edge[j].p)
{
int v=edge[j].to;
if(belong[i]==belong[v])
ans.push_back(v-n);
}
sort(ans.begin(),ans.end());
int l=ans.size();
printf("%d",l);
for(int k=0;k<l;k++)
printf(" %d",ans[k]);
printf("\n");
}
}
return 0;
}