P1726 上白泽慧音 - 强连通分量模板

最新推荐文章于 2024-06-19 21:17:20 发布

原创最新推荐文章于 2024-06-19 21:17:20 发布 · 259 阅读

0 ·

CC 4.0 BY-SA版权

NOIP 同时被 2 个专栏收录

169 篇文章

订阅专栏

图论

30 篇文章

订阅专栏

本文深入探讨了有向图的强连通分量(SCC)分析，通过Tarjan算法实现对有向图中最大强连通分量的寻找。代码示例详细展示了如何遍历所有节点，确保不遗漏任何可能的SCC，并通过比较不同SCC的大小和元素来确定最大分量。

虽然是模板但是却提醒我有向图一定要试着从每个点出发，不仅仅是因为图不一定连通，更有可能是只从1号点出发哪也去不了的情况

#include <algorithm>
#include <iostream>
#include <cstring>
#include <cstdio>
#include <stack>
using namespace std;
#define debug(x) cerr << #x << "=" << x << endl;
const int MAXN = 10000 + 10;
stack<int> s;
int n,m,vis[MAXN],last[MAXN],edge_tot,temp[MAXN],fina[MAXN],ans,dfn[MAXN],low[MAXN],flg[MAXN],cnt;
struct Edge{
	int u, v, w, to;
	Edge(){}
	Edge(int u, int v, int to) : u(u), v(v), to(to) {}
}e[50001 * 2];
inline void add(int u, int v) {
	e[++edge_tot] = Edge(u, v, last[u]);
	last[u] = edge_tot; 
}
bool cmp(int a, int b) {
	return a < b;
}
void tarjan(int x) {
	dfn[x] = low[x] = ++cnt;
	s.push(x);
	flg[x] = true;
	for(int i=last[x]; i; i=e[i].to) {
		int v = e[i].v;
		if(!dfn[v]) {
			tarjan(v);
			if(low[v] < low[x]) low[x] = low[v];
		} else if(dfn[v] < low[x] && flg[v]) {
			low[x] = dfn[v];
		}
	}
	if(dfn[x] == low[x]) {
		int j, num=0;
		do{
			j = s.top();
			s.pop();
			temp[++num] = j; 
			flg[j] = 0;
		}while(j != x);
		sort(temp+1, temp+num+1, cmp);
		if(num > ans) {
			memcpy(fina, temp, sizeof(temp));
			ans = num;
		} else if(num == ans) {
			if(memcmp(fina, temp, sizeof(temp)) > 0) 
				memcpy(fina, temp, sizeof(temp));
		}
	}
	
}
int main() {
	scanf("%d%d", &n, &m);
	for(int i=1; i<=m; i++) {
		int a,b,t;
		scanf("%d%d%d",&a, &b, &t);
		add(a, b);
		if(t == 2) add (b, a);
	}
	for(int i=1; i<=n; i++) 
		if(!dfn[i]) //关键之处
			tarjan(i);
	printf("%d\n", ans);
	for(int i=1; i<=ans; i++) {
		printf("%d ", fina[i]);
	}
	return 0;
}