补全：low 的两种更新

👁️ 1 人浏览 💬 0 人评论 ❤️ 添加收藏

还是那七个点，这次把 5 → 3 那条边加回来，于是图里有了环。

补全 tarjan 里 low 的两种更新：孩子递归回来要用孩子的 low，碰到栈里的点要用它的 dfn。输出分量个数和最大分量的大小。

（本题用 g++ -std=c++17 -O0 编译。）

提交你的答案

请登录后提交答案。

去登录

← 手写栈最深压了几格补全：手写栈的出栈时机 →

更多题目

代码编辑器

语言： Ctrl + Enter 运行

#include <algorithm>
#include <climits>
#include <iostream>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <string>
#include <utility>
#include <vector>
using namespace std;

using Edges = vector<pair<int, int>>;
const int N = 7;
// 七个构建任务，(a, b) 表示 a 做完才能做 b
const Edges DEP = {{0, 1}, {0, 2}, {1, 3}, {2, 3}, {3, 4}, {4, 5}, {4, 6}};
// 同一张图再加一条 5 → 3，于是有了环
const Edges G = {{0, 1}, {0, 2}, {1, 3}, {2, 3}, {3, 4}, {4, 5}, {5, 3}, {4, 6}};

vector<vector<int>> build(const Edges& edges, int n = N) {
    vector<vector<int>> g(n);
    for (auto [a, b] : edges) g[a].push_back(b);
    for (auto& adj : g) sort(adj.begin(), adj.end());
    return g;
}

// 递归版 Tarjan：dfn 是访问时间戳，low 是能回溯到的最早时间戳
int timer_ = 0, scc_cnt = 0;
vector<int> dfn, low, onst, stk, sizes;

void tarjan(const vector<vector<int>>& g, int u) {
    dfn[u] = low[u] = ++timer_;
    stk.push_back(u);
    onst[u] = 1;
    for (int v : g[u]) {
        if (!dfn[v]) {
            tarjan(g, v);
            // TODO: 孩子回来了，low[u] 取 low[u] 和 low[v] 的较小值
        } else if (onst[v]) {
            // TODO: v 还在栈里（同一个分量里），low[u] 取 low[u] 和 dfn[v] 的较小值
        }
    }
    if (low[u] == dfn[u]) {
        int sz = 0;
        while (true) {
            int x = stk.back();
            stk.pop_back();
            onst[x] = 0;
            sz++;
            if (x == u) break;
        }
        sizes.push_back(sz);
        scc_cnt++;
    }
}

int main() {
    vector<vector<int>> g = build(G);
    dfn.assign(N, 0);
    low.assign(N, 0);
    onst.assign(N, 0);
    for (int u = 0; u < N; u++) {
        if (!dfn[u]) tarjan(g, u);
    }
    cout << scc_cnt << "/" << *max_element(sizes.begin(), sizes.end()) << endl;
}

本次输入：

输出：

👩‍🏫

💬 题目评论

补全：low 的两种更新

更多题目

全部评论