tarjan算法和缩点

tarjan可以找强连通的分量，但它的作用不只局限于此

缩点，说白了，就是建新图，之后的操作在新图上进行

自己看代码

#include<bits/stdc++.h>
using namespace std;
int n,m,cnt,cot,cont;//n 点数 m 边数 cnt 计数器 cot 强连通分量的计数器 cont 判断是否有符合要求的点
struct edge//邻接表
{
    int u,v,nxt;//u 起点 v 终点 nxt 指向上一条边
};
edge e[60000000],g[60000000];//e 原题的图 g 缩点后的图
int h[6000],dfn[6000],low[6000],lt[6000];
//h 记录该点发出的最后一条边 dfn,low,lt tarjan算法要用
// dfn 在dfs中被搜到的时间戳(可简单理解为标号) low 该点可以回溯到的灰点的时间戳(标号) lt 记录这个点属于哪个强连通分量
stack<int> s;
void add1(int,int);// 建原题的图
void add2(int,int);// 建缩点后的图
void tarjan(int u)//tarjan算法 (模板)
{
    dfn[u]=low[u]=++cnt;
    s.push(u);
    for(int i=h[u];i;i=e[i].nxt)
    {
        int v=e[i].v;
        if(!dfn[v])//如果该点没被搜到(没标过号)，从这个点往下搜
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else
        {
            if(!lt[v])//如果该点标过号，但不属于任何强连通分量
            {
                low[u]=min(low[u],dfn[v]);//比较谁是父亲，谁是儿子
            }
        }
    }
    if(dfn[u]==low[u])//当一个点dfn==low时，就说明这是一个强连通分量
    {
        lt[u]=++cot;
        while(s.top()!=u)//将栈中元素取出，这些元素都是一个强连通分量里的
        {
            lt[s.top()]=cot;
            s.pop();
        }
        s.pop();//将该点踢出栈
    }
}
int main()
{
    memset(h,0,sizeof h);
    memset(dfn,0,sizeof dfn);
    memset(low,0,sizeof low);
    memset(lt,0,sizeof lt);
    memset(chu,0,sizeof chu);
    memset(ans,0,sizeof ans);
    cnt=0,cot=0,cont=0;//初始化过程
    scanf("%d",&n)
    scanf("%d",&m);
    for(int u,v,i=1;i<=m;++i)
    {
        scanf("%d%d",&u,&v);
        add1(u,v);//加边，建图
    }
    cnt=0;
    for(int i=1;i<=n;++i)
    {
        if(!dfn[i]) tarjan(i);//找强连通分量
    }
    cnt=0;
    memset(h,0,sizeof h);//清0，建缩点后的图 ，也可以新开一个数组
    for(int i=1;i<=m;++i)
    {
        int u=lt[e[i].u],v=lt[e[i].v];
        if(u!=v)//u!=v说明他们不在一个强连通分量里
        {
            add2(u,v);//缩点
        }
    }
    return 0;
}
void add1(int u,int v)//存边建原图
{
    e[++cnt].u=u;
    e[cnt].v=v;
    e[cnt].nxt=h[u];
    h[u]=cnt;
}
void add2(int u,int v)//缩点建新图
{
    g[++cnt].u=u;
    g[cnt].v=v;
    g[cnt].nxt=h[u];
    h[u]=cnt;
}