两条路算分量数要对上

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

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

上面用的是 Kosaraju。再用笨办法数一遍：每一对点正反各跑一次可达性，互相到得了的归成一组。两个数输出出来对账。

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

提交你的答案

请登录后提交答案。

去登录

← 列出互相都走得到的点对递归 Tarjan 最怕什么图 →

更多题目

代码编辑器

语言： 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;
}

// 第一遍：用手写栈做 DFS，记下每个点「完成」的先后
vector<int> order_by_finish(const vector<vector<int>>& g) {
    vector<bool> seen(N, false);
    vector<int> order;
    for (int s = 0; s < N; s++) {
        if (seen[s]) continue;
        vector<pair<int, int>> st = {{s, 0}};     // (点, 下一条要看的边)
        seen[s] = true;
        while (!st.empty()) {
            int u = st.back().first;
            int i = st.back().second;
            if (i < (int)g[u].size()) {
                st.back().second++;
                int v = g[u][i];
                if (!seen[v]) {
                    seen[v] = true;
                    st.push_back({v, 0});
                }
            } else {
                order.push_back(u);
                st.pop_back();
            }
        }
    }
    return order;
}

// Kosaraju：第二遍在反图上、按完成顺序的逆序收点；返回排好序的分量列表
vector<vector<int>> kosaraju(const Edges& edges, bool second_reversed = true) {
    vector<vector<int>> g = build(edges);
    Edges rev;
    for (auto [a, b] : edges) rev.push_back({b, a});
    vector<vector<int>> rg = build(rev);
    vector<int> order = order_by_finish(g);
    const vector<vector<int>>& second = second_reversed ? rg : g;
    vector<bool> seen(N, false);
    vector<vector<int>> groups;
    for (int k = N - 1; k >= 0; k--) {
        int s = order[k];
        if (seen[s]) continue;
        vector<int> st = {s}, grp;
        seen[s] = true;
        while (!st.empty()) {
            int u = st.back();
            st.pop_back();
            grp.push_back(u);
            for (int v : second[u]) {
                if (!seen[v]) {
                    seen[v] = true;
                    st.push_back(v);
                }
            }
        }
        sort(grp.begin(), grp.end());
        groups.push_back(grp);
    }
    sort(groups.begin(), groups.end());
    return groups;
}

// 从 s 出发顺着箭头能走到的点（不含 s 自己，除非绕回来）
vector<bool> reach(const vector<vector<int>>& g, int s) {
    vector<bool> seen(g.size(), false);
    vector<int> st = {s};
    while (!st.empty()) {
        int u = st.back();
        st.pop_back();
        for (int v : g[u]) {
            if (!seen[v]) {
                seen[v] = true;
                st.push_back(v);
            }
        }
    }
    return seen;
}

int main() {
    vector<vector<int>> g = build(G);
    int by_scc = kosaraju(G).size();
    // 笨办法：每一对点都正反各跑一次可达性，自己数一遍分量
    vector<vector<bool>> RE;
    for (int u = 0; u < N; u++) RE.push_back(reach(g, u));
    vector<bool> seen(N, false);
    int by_brute = 0;
    for (int u = 0; u < N; u++) {
        if (seen[u]) continue;
        // TODO: 把和 u 互相可达的点（含 u 自己）全部记进 seen，然后 by_brute 加 1
    }
    cout << by_scc << "/" << by_brute << endl;
}

本次输入：

输出：

👩‍🏫

💬 题目评论

两条路算分量数要对上

更多题目

全部评论