ACM——图论Tarjan算法【邻接表版本/链式前向星版本】

最新推荐文章于 2022-06-24 12:37:59 发布

原创

最新推荐文章于 2022-06-24 12:37:59 发布 · 759 阅读

2 ·

CC 4.0 BY-SA版权

图论-Tarjan

dfn[u]表示dfs时达到顶点u的次序号（时间戳），low[u]表示以u为根节点的dfs树中次序号最小的顶点的次序号，所以当dfn[u]=low[u]时，以u为根的搜索子树上所有节点是一个强连通分量。先将顶点u入栈，dfn[u]=low[u]=++idx,扫描u能到达的顶点v，如果v没有被访问过，则dfs(v)，low[u]=min(low[u],low[v])，如果v在栈里，low[u]=min(low[u],dfn[v])，扫描完v以后，如果dfn[u]=low[u]，则将u及其以上顶点出栈。

图片和邻接表版本代码转自：five20

注意：vector邻接表与链式前向星有内存性能上的差异，因为vector扩充时是默认多申请50%的内存空间，所以一些特别变态的题目可能会卡内存只能用链式前向星的写法写。

链式前向星版本：

#include <cstdio>
#include <stack>
#include <cstring>
#include <iostream>
using namespace std;
int n,m,idx=0,k=1,Bcnt=0;
int head[100];
int ins[100]={
   
   0};
int dfn[100]={
   
   0},low[100]={
   
   0};
int Belong[100];
stack <int> s;
struct edge
{
   
   
    int v,next;
}e[100];
int min(int a,int b)
{
   
   
    return a<b?a:b;
}
void adde(int u,int v)
{
   
   
     e[k].v=v;
     e[k].next=head[u];
     head[u]=k++;
}
void readdata(