tarjan算法之强连通分量

最新推荐文章于 2024-08-15 17:15:54 发布

原创最新推荐文章于 2024-08-15 17:15:54 发布 · 245 阅读

0 ·

CC 4.0 BY-SA版权

图论专栏收录该内容

32 篇文章

订阅专栏

本文介绍了一种求解有向图中强连通分量的算法实现，通过深度优先搜索（DFS）来标记每个顶点，并利用栈结构辅助判断强连通分量。文章详细展示了算法的具体步骤和关键代码，包括初始化、边的添加及核心的深度优先遍历过程。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#pragma warning(disable:4996)
#include <cstdio>
#include <cstring>
#include <vector>
#include <stack>
#include <algorithm>
#define N 20001
using namespace std;

vector<int>to[N];
int dfn[N], low[N], dfs_clock;
bool vis[N], inStack[N];
stack<int>s;

void init(){
	dfs_clock = 0;
	while (!s.empty())s.pop();
	for (int i = 0; i < N; i++){
		dfn[i] = low[i] = 0;
		to[i].clear();
		vis[i] = inStack[i] = false;
	}
}

void add(int u, int v){
	to[u].push_back(v);
}

void dfs(int u){
	dfn[u] = low[u] = ++dfs_clock;
	s.push(u);
	vis[u] = inStack[u] = true;

	for (int i = 0; i < to[u].size(); i++){
		int v = to[u][i];
		if (!vis[v]){
			dfs(v);
			low[u] = min(low[u], low[v]);
		}
		//注意这里是判断是否在栈里
		else if (inStack[v]){
			low[u] = min(low[u], dfn[v]);
		}
	}

	if (low[u] == dfn[u]){

		//这里是对强连通分量的操作
		while (!s.empty()){
			int now = s.top();
			s.pop();
			//记得把inStack标志去掉！！！
			inStack[now] = false;
			if (now == u)break;
		}
	}
}