图论(强联通分量)

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

相关推荐
是糖不是唐13 小时前
代码随想录算法训练营第五十三天|Day53 图论
c语言·数据结构·算法·图论
vir021 天前
好奇怪的游戏(BFS)
数据结构·c++·算法·游戏·深度优先·图论·宽度优先
一个不喜欢and不会代码的码农2 天前
李春葆《数据结构》——图相关代码
数据结构·算法·图论
是糖不是唐2 天前
代码随想录算法训练营第五十二天|Day52 图论
c语言·算法·深度优先·动态规划·图论
南宫生2 天前
力扣-Hot100-图论【算法学习day.38】
java·学习·算法·leetcode·链表·图论
张焚雪2 天前
关于图论建模的一份介绍
python·数学建模·图论
是糖不是唐3 天前
代码随想录算法训练营第五十一天|Day51 图论
c语言·数据结构·算法·深度优先·图论
汉克老师3 天前
GESP4级考试语法知识(贪心算法(六))
开发语言·数据结构·c++·算法·贪心算法·图论
是糖不是唐3 天前
代码随想录算法训练营第五十天|Day50 图论
c语言·数据结构·算法·图论
Romanticroom4 天前
图论之最小生成树计数(最小生成树的应用)
算法·图论