【codevs】2822爱在心中 tarjan强连通分量

题目描述 Description

“每个人都拥有一个梦，即使彼此不相同，能够与你分享，无论失败成功都会感动。爱因为在心中，平凡而不平庸，世界就像迷宫，却又让我们此刻相逢Our Home。”

在爱的国度里有N个人，在他们的心中都有着一个爱的名单，上面记载着他所爱的人（不会出现自爱的情况）。爱是具有传递性的，即如果A爱B，B爱C，则A也爱C。
如果有这样一部分人，他们彼此都相爱，则他们就超越了一切的限制，用集体的爱化身成为一个爱心天使。
现在，我们想知道在这个爱的国度里会出现多少爱心天使。而且，如果某个爱心天使被其他所有人或爱心天使所爱则请输出这个爱心天使是由哪些人构成的，否则输出-1。

输入描述 Input Description

第1行，两个数N、M，代表爱的国度里有N个人，爱的关系有M条。
第2到第M+1行，每行两个数A、B，代表A爱B。

输出描述 Output Description

第1行，一个数，代表爱的国度里有多少爱心天使。
第2行，如果某个爱心天使被其他所有人和爱心天使所爱则请输出这个爱心天使是由哪些人构成的（从小到大排序），否则输出-1。

样例输入 Sample Input

样例输入1：

6 7
1 2
2 3
3 2
4 2
4 5
5 6
6 4

样例输入2：

3 3
1 2
2 1
2 3

样例输出 Sample Output

样例输出1：

2
2 3

样例输出2：

1
-1

    首先，讲一下思路。

    这是一道tarjan强连通分量裸题，可以当模板用。当然也可用来练并查集233

    缩点后并查集维护即可。

 

#include<bits/stdc++.h>
#define MAXN 100000
using namespace std;
struct qwe{
	int a,b,ne;
};
qwe a[MAXN+1];
int alen;
int head[MAXN+1];
int n,m;
int dfn[MAXN+1],shi;
int low[MAXN+1];
int col[MAXN+1],yan;
int sta[MAXN+1],zlen;
int chu[MAXN+1];
int da[MAXN+1];
int ans;
int fa[MAXN+1];
int vis[MAXN+1];
void lian(int cn,int cm)
{
	a[++alen].a = cn;
	a[alen].b = cm;
	a[alen].ne = head[cn];
	head[cn] = alen;
}
void tarjan(int cn)
{
	vis[cn] = 1;
	sta[++zlen] = cn;
	dfn[cn] = low[cn] = ++shi;
	for(int i = head[cn];i;i = a[i].ne)
	{
		int y = a[i].b;
		if(dfn[y]&&!vis[y])continue;
		if(!dfn[y])tarjan(y);
		low[cn] = min(low[cn],low[y]);
	}
	if(dfn[cn] == low[cn]){
		da[++yan] = 0;
		while(sta[zlen]!=cn)vis[sta[zlen]] = 0,col[sta[zlen--]] = yan,da[yan]++;
		vis[sta[zlen]] = 0,col[sta[zlen--]] = yan;da[yan]++;
		ans += (da[yan]>1);
	}
}
int get_fa(int cn)
{
	return fa[cn] == cn ? cn : fa[cn] = get_fa(fa[cn]);
}
int main()
{
	scanf("%d %d",&n,&m);
	alen = 0;
	memset(head,0,sizeof(head));
	for(int i = 1;i<=m;i++)
	{
		int bx,by;
		scanf("%d %d",&bx,&by);
		lian(bx,by);
	}
	shi = zlen = yan = 0;
	memset(dfn,0,sizeof(dfn));
	memset(vis,0,sizeof(vis));
	ans = 0;
	for(int i = 1;i<=n;i++)
	{
		if(!dfn[i])tarjan(i);
	}
	printf("%d\n",ans);
	for(int i = 1;i<=yan;i++)fa[i] = i;
	for(int i = 1;i<=n;i++)
	{
		for(int j = head[i];j;j = a[j].ne)
		{
			fa[col[i]] = get_fa(col[a[j].b]);
		} 
	}
	int zhong = get_fa(1);
	for(int i = 1;i<=yan;i++)
	{
		if(get_fa(i)!=zhong)zhong = 0;
	}
	if(!zhong || da[zhong] == 1)printf("-1");
	else for(int i = 1;i<=n;i++)
	{
		if(col[i] == zhong)printf("%d ",i);
	}
	putchar('\n');
	return 0;
}