【Wannafly挑战赛14C可达性】【Tarjan缩点】

链接：https://www.nowcoder.com/acm/contest/81/C
来源：牛客网

题目描述

给出一个 0 ≤ N ≤ 105 点数、0 ≤ M ≤ 105 边数的有向图，
输出一个尽可能小的点集，使得从这些点出发能够到达任意一点，如果有多个这样的集合，输出这些集合升序排序后字典序最小的。

输入描述:
第一行为两个整数 1 ≤ n, m ≤ 10^5
接下来 M 行，每行两个整数 1 ≤ u, v ≤ 10^5
表示从点 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

题目大意：给一个有向图，求最少以哪几个点为起点能遍历全图

题目分析：由于强连通分量内的所有点都能走到彼此，所以可以先求出所有的强连通分量来进行缩点并且重构缩点之后的图。

【所谓缩点就是将整个连通块内化为一个点来进行操作，具体缩点操作就是求出连通块之后遍历所有边，把连通块看作是点，将连接不同连通块的边当作缩点之后的边】

由重构之后的图可知，入度不为0的"点"【也就是缩点之后的连通块】不需要取任何连通块内部的点就能被遍历到，所以只需在入度为0的"点"【连通块】找到字母序最小的内部点。

 #include<bits/stdc++.h>
 using namespace std;
 const int maxn=;
 struct edge{
     int from;
     int to;
     int next;
 }EDGE[maxn];
 vector<int>vc[maxn];
 int head[maxn],dfn[maxn],vis[maxn],low[maxn],col[maxn],in[maxn],en[maxn],stk[maxn];
 int edge_cnt=,tot1=,tot2=,scc_cnt=,tot0=;
 void add(int x,int y)
 {
     EDGE[edge_cnt].from=x;
     EDGE[edge_cnt].to=y;
     EDGE[edge_cnt].next=head[x];
     head[x]=edge_cnt++;
 }
 void Tarjan(int u)
 {
     low[u]=dfn[u]=tot1++;
     vis[u]=;
     stk[++tot2]=u;
     for(int i = head[u]; i != -  ; i = EDGE[i].next)
     {
         if(!dfn[EDGE[i].to]){
             Tarjan(EDGE[i].to);
             low[u]=min(low[u],low[EDGE[i].to]);
         }
         else if(vis[EDGE[i].to]){
             low[u]=min(low[u],low[EDGE[i].to]);
         }
     }
             if(low[u]==dfn[u]){
             int xx;
             scc_cnt++;
             do{
                 xx=stk[tot2--];
                 vc[scc_cnt].push_back(xx);
                 col[xx]=scc_cnt;
                 vis[xx]=;
             }while(xx!=u);
         }
 }
 int main()
 {
     int n,m;
     scanf("%d%d",&n,&m);
     memset(head,-,sizeof(head));
     memset(in,,sizeof(in));
     while(m--)
     {
         int a,b;
         scanf("%d%d",&a,&b);
          add(a,b);
     }
     for(int i =  ; i <= n; i++)
     {
         if(!dfn[i])Tarjan(i);
     }
     for(int i =  ; i <= edge_cnt ; i++)
     {
         if(col[EDGE[i].from]!=col[EDGE[i].to])
         {
             in[col[EDGE[i].to]]++;
         }
     }
     for(int i =  ; i <= scc_cnt ; i++)
     {
         if(in[i])
         continue;
         int mmin=vc[i][];
         for(int j =  ; j < vc[i].size() ; j++)
         {
             if(vc[i][j]<mmin)
             mmin=vc[i][j];
         }
         en[tot0++]=mmin;
     }

     printf("%d\n",tot0);
     sort(en,en+tot0);
     for(int i =  ; i < tot0 ; i++)
     {
         printf("%d",en[i]);
         char c=(i==tot0-)?'\n':' ';
         printf("%c",c);
     }
     return ;
 }
 /*4 5
 1 3
 2 4
 4 2
 1 4
 2 1*/