图论(强联通分量)

在图论中,特别是在讨论有向图(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

相关推荐
chan_lay2 天前
图论导引 - 目录、引言、第一章 - 11/05
笔记·图论
£suPerpanda2 天前
牛客周赛 Round65 补题DEF
开发语言·数据结构·c++·算法·深度优先·动态规划·图论
c沫栀3 天前
E-小H学历史(牛客练习赛131)
c++·算法·深度优先·图论
小冉在学习3 天前
day50 图论章节刷题Part02(99.岛屿数量 深搜、99.岛屿数量 广搜、100.岛屿的最大面积)
图论
weixin_478689763 天前
【图论】——理论基础总结
图论
夜雨翦春韭3 天前
【代码随想录Day60】图论Part11
java·数据结构·算法·leetcode·图论
夜雨翦春韭5 天前
【代码随想录Day52】图论Part04
java·数据结构·算法·leetcode·图论
X BoHang5 天前
10.31模拟赛题解
算法·图论
夜雨翦春韭5 天前
【代码随想录Day59】图论Part10
java·开发语言·数据结构·算法·leetcode·图论
deephub5 天前
基于图论的时间序列数据平稳性与连通性分析:利用图形、数学和 Python 揭示时间序列数据中的隐藏模式
人工智能·机器学习·图论·时间序列·1024程序员节