可达性 （缩点）

链接：https://ac.nowcoder.com/acm/problem/15707
来源：牛客网

题目描述
给出一个 0 ≤ N ≤ 105 点数、0 ≤ M ≤ 105 边数的有向图，
输出一个尽可能小的点集，使得从这些点出发能够到达任意一点，如果有多个这样的集合，输出这些集合升序排序后字典序最小的。
输入描述:
第一行为两个整数 1 ≤ n, m ≤ 105，
接下来 M 行，每行两个整数 1 ≤ u, v ≤ 105 表示从点 u 至点 v 有一条有向边。
数据保证没有重边、自环。
输出描述:
第一行输出一个整数 z，表示作为答案的点集的大小；
第二行输出 z 个整数，升序排序，表示作为答案的点集。
示例1
输入
复制
7 10
4 5
5 1
2 5
6 5
7 2
4 2
1 2
5 3
3 5
3 6
输出
复制
2
4 7

分析：

先利用tarjan缩点，再记录入度为0的点，升序输出

#include<bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 1e5+10;
vector<int> g[N],t[N];
int dfn[N],low[N],num;
int s[N],in[N],top;
int c[N],n,m,inx[N],ans[N],cnt[N];
void tarjan(int u)
{
	dfn[u]=low[u]=++num;
	s[++top]=u;
	in[u]=1;
	for(int i=0;i<g[u].size();i++)
	{
		int v=g[u][i];
		if(!dfn[v])
		{
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(in[v]) low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u])
	{
		int v;
		int k=0;
		int x=n;
		do
		{
			v=s[top--];
			in[v]=0;
			cnt[++k]=v;
			x=x>v?v:x;
		}while(v!=u);
		for(int i=1;i<=k;i++)
		{
			c[cnt[i]]=x;
		}
	}
}
void build()
{
	for(int i=1;i<=n;i++)
	{
		for(int j=0;j<g[i].size();j++)
		{
			int v=g[i][j];
			if(c[i]!=c[v])
			{
				inx[c[v]]++;
			}
		}
	}
}
int main()
{
	scanf("%d%d",&n,&m);
	int a,b;
	for(int i=1;i<=m;i++)
	{
		scanf("%d%d",&a,&b);
		g[a].push_back(b);
	} 
	for(int i=1;i<=n;i++)
	{
		if(!dfn[i]) tarjan(i);
	}
	build();
	int k=0;
	for(int i=1;i<=n;i++)
	{
		if(inx[c[i]]==0)
		{
			ans[++k]=c[i];
			inx[c[i]]=1;
		}
	}
	sort(ans+1,ans+1+k);
	printf("%d\n",k);
	for(int i=1;i<=k;i++)
	{
		printf("%d ",ans[i]);
	}
	return 0;
}