tarjan 求强连通分量模板

最新推荐文章于 2024-11-11 17:17:59 发布

原创最新推荐文章于 2024-11-11 17:17:59 发布 · 520 阅读

0 ·

CC 4.0 BY-SA版权

模板专栏收录该内容

32 篇文章

订阅专栏

这篇博客主要介绍了如何使用C++实现Tarjan算法来求解图中的强连通分量。通过初始化图结构，添加边，然后进行深度优先搜索，更新低点和深度优先序，当节点的深度优先序等于低点序时，说明找到了一个强连通分量。代码示例详细展示了整个过程。

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <iostream>
#include <algorithm>
#include <queue>
#include <stack>
using namespace std;
const int inf =0x3ffffff;
const int maxn=10005;//点数
struct edge
{
    int from,to,w,next;
}e[50005];//边数
stack<int>pq;
int head[maxn];
int instack[maxn];//是否在栈中
int dfn[maxn];//同时可用于判断是否遍历过
int low[maxn];
int n,m,t,index;//n个点，m条边，t用来生成边的标号,index用来生成点的标号
void init()//建图前运行init
{
	t=0;
	index=0;
    memset(head,-1,sizeof(head));
	memset(instack,0,sizeof(instack));
	memset(dfn,-1,sizeof(dfn));
	memset(low,-1,sizeof(low));
	while(!pq.empty())
		pq.pop();
}
void add(int i,int j,int w)
{
    e[t].from=i;
    e[t].to=j;
    e[t].w=w;
    e[t].next=head[i];
    head[i]=t++;
}
void tarjan(int u)
{
	dfn[u]=low[u]=++index;
	pq.push(u);
	instack[u]=1;
	for(int i=head[u];i!=-1;i=e[i].next)
	{
		if(dfn[e[i].to]==-1)
		{
			tarjan(e[i].to);
			low[u]=min(low[u],low[e[i].to]);
		}
		else if(instack[e[i].to]==1)
		{
			low[u]=min(low[u],dfn[e[i].to]);
		}
	}
	if(dfn[u]==low[u])
	{
		int v;
		v=pq.top();//从这个v开始为强连通分量的一个
		//solve v
		pq.pop();
		instack[v]=0;
		while(v!=u)
		{
			v=pq.top();
			//solve v
			pq.pop();
			instack[v]=0;
		}
	}
}
int main()
{
    int a,b;
	int i,j;
    scanf("%d%d",&n,&m);
	init();
    while(m--)
    {
        scanf("%d%d",&a,&b);
        add(a,b,0);
    }
	for(i=1;i<=n;i++)
	{
		if(dfn[i]==-1)
			tarjan(i);
	}
    return 0;
}