tarjan缩点相关知识及代码

emmm原谅我确实是找不到不用缩点的tarjan题才会想到自学一下缩点这个东西的。。

题目没有，只能自己出数据并手动模拟。。。

首先看一张图（懒得画，还是看输入数据吧，劳烦自行画图。。）

7 9（n个点，m个关系，以下m行每一行为两个点a，b之间有a指向b的一条有向边）
1 2
2 3
3 1
3 4
4 5
4 7
7 5
6 7
6 5

在画过图之后，显然可知，1 2 3这3个节点在一个强连通分量中（如果不理解强连通分量自行度娘哦），将其缩点，并利用1 2 3结点的边关系将缩成的点与其他点融合，形成新的图。好的，那么只需要套一遍tarjan，将每个强连通分量内的点赋值为该强连通分量的编号，再利用新的链式前向星存储新的图，已达到缩点的功效

 #include<set>
 #include<map>
 #include<list>
 #include<queue>
 #include<stack>
 #include<string>
 #include<cmath>
 #include<ctime>
 #include<vector>
 #include<bitset>
 #include<memory>
 #include<utility>
 #include<cstdio>
 #include<sstream>
 #include<iostream>
 #include<cstdlib>
 #include<cstring>
 #include<algorithm>
 using namespace std;
 const int N=;

 stack <int> q;
 int tot,n,m,num;
 int head[N],next[N],to[N],head2[N],next2[N],to2[N],dfn[N],low[N],f[N];//后缀为2的记录的是缩点后所得图的信息
 bool visit[N];

 inline int mi(int a,int b){return a<b?a:b;}
 inline int ma(int a,int b){return a>b?a:b;}

 inline void add(int u,int v){//对读入的数据进行处理
     next[++tot]=head[u];
     head[u]=tot;
     to[tot]=v;
 }

 inline void add2(int u,int v){//对缩点后的数据进行处理
     next2[++tot]=head2[u];
     head2[u]=tot;
     to2[tot]=v;
 }

 void tarjan(int u){//tarjan板子
     dfn[u]=low[u]=++tot;
     visit[u]=;
     q.push(u);
     for(int i=head[u];i;i=next[i]){
         if(!dfn[to[i]]){
             tarjan(to[i]);
             low[u]=mi(low[u],low[to[i]]);
         }
         else if(visit[to[i]]){
             low[u]=mi(low[u],low[to[i]]);
         }
     }
     if(dfn[u]==low[u]){
         int v;
         num++;
         do{
             v=q.top();
             q.pop();
             visit[v]=;
             f[v]=num;//记录v节点存在的强连通分量编号
         }while(v!=u&&!q.empty());
     }
 }

 int main(){
     scanf("%d%d",&n,&m);
     for(int i=;i<=m;i++){
         int u,v;
         scanf("%d%d",&u,&v);
         add(u,v);
     }
     tot=;
     for(int i=;i<=n;i++){
         if(!dfn[i]){
             tarjan(i);
         }
     }
     tot=;
     for(int i=;i<=n;i++){
         for(int j=head[i];j;j=next[j]){
             if(f[i]!=f[to[j]]){//去除在同一强连通分量的节点情况
                 add2(f[i],f[to[j]]);
             }
         }
     }
     return ;
 }

那着就是缩点了，我个人感觉并不是很困难