在图论中,特别是在讨论有向图(Directed Graph)时,我们常常需要了解图的结构特性,比如强联通分量(Strongly Connected Components, SCC)。了解强联通分量中的各种边对于理解图的整体结构以及某些算法(如Tarjan's算法或Kosaraju's算法)是非常重要的。以下是对强联通分量及其边类型的解释:
强联通分量(SCC)
强联通分量是一个子图,其中每对顶点之间都有路径相互可达。换句话说,一个强联通分量内的任意两个顶点 u 和 v 都满足 u 到 v 和 v 到 u 之间存在路径。
边的分类
板子如下
cpp
#include <bits/stdc++.h>
using namespace std;
const int N = 1e5 + 10;
vector<int> e[N]; // 存储图的邻接表
int dfn[N], low[N]; // 存储每个节点的时间戳和最小到达时间
bool ins[N]; // 标记节点是否在栈中
int idx, bel[N], cnt; // 时间戳、节点所属的强联通分量编号、强联通分量计数
stack<int> stk; // 用于 Tarjan 算法的栈
vector<vector<int>> scc;// 存储所有的强联通分量
int n, m; // 节点数和边数
void dfs(int u) {
dfn[u] = low[u] = ++idx; // 初始化时间戳
ins[u] = true; // 标记节点在栈中
stk.push(u); // 将节点压入栈中
for (auto v : e[u]) { // 遍历节点 u 的所有邻接点 v
if (!dfn[v]) { // 如果节点 v 尚未访问
dfs(v); // 递归访问节点 v
low[u] = min(low[u], low[v]); // 更新节点 u 的最小到达时间
} else if (ins[v]) { // 如果节点 v 在栈中
low[u] = min(low[u], dfn[v]); // 更新节点 u 的最小到达时间
}
}
if (dfn[u] == low[u]) { // 如果节点 u 是强联通分量的根节点
vector<int> c; // 创建一个新的强联通分量
++cnt;
while (1) {
int v = stk.top(); // 弹出栈顶节点
c.push_back(v); // 将节点添加到当前强联通分量中
ins[v] = false; // 标记节点不在栈中
bel[v] = cnt; // 标记节点所属的强联通分量编号
stk.pop(); // 弹出栈顶节点
if (u == v) break; // 如果节点 u 是栈顶节点,结束循环
}
sort(c.begin(), c.end()); // 对强联通分量内的节点排序
scc.push_back(c); // 将强联通分量添加到结果中
}
}
int main() {
ios::sync_with_stdio(0);
cin.tie(0);
cin >> n >> m;
for (int i = 1; i <= m; i++) {
int u, v;
cin >> u >> v;
e[u].push_back(v); // 构建邻接表
}
for (int i = 1; i <= n; i++) {
if (!dfn[i]) dfs(i); // 对每个未访问的节点进行 DFS
}
sort(scc.begin(), scc.end()); // 对所有的强联通分量排序
cout << cnt << endl; // 输出强联通分量的数量
for (auto c : scc) { // 输出每个强联通分量
for (auto u : c) {
cout << u << " ";
}
cout << endl;
}
return 0;
}
题目链接 洛谷 B3609
参考文献scc