第三步两种 MST 互相印证

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

补全 prim 和 same_set，在同一组边上和 Kruskal 各求一次。输出三样：Kruskal 总长 / Prim 总长 / 边集是否相同。

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

提交你的答案

请登录后提交答案。

去登录

← 第二步负权上换算法第四步拆掉一条边试试 →

更多题目

代码编辑器

语言： Ctrl + Enter 运行

#include <algorithm>
#include <iostream>
#include <queue>
#include <set>
#include <string>
#include <tuple>
#include <utility>
#include <vector>
using namespace std;

typedef long long ll;
const ll INF = 1000000000;                       // 走不到的点记这个值，输出时写成 -1
using Graph = vector<vector<pair<int, int>>>;    // g[u] 里放 (邻居 v, 边权 w)

// 七个点的无向图（和 Python 版同一组数据）：0-1:2 0-2:1 1-3:3 2-4:9 3-4:1 5-6:7
const vector<vector<int>> E7 = {{0, 1, 2}, {0, 2, 1}, {1, 3, 3}, {2, 4, 9}, {3, 4, 1}, {5, 6, 7}};
// 主连通块五个点、五条边（求最小生成树用）
const vector<vector<int>> E5 = {{0, 1, 2}, {0, 2, 1}, {1, 3, 3}, {2, 4, 9}, {3, 4, 1}};
// 有向负权反例：0→1:4 0→2:5 2→1:-3 1→3:1
const Graph NEG = {{{1, 4}, {2, 5}}, {{3, 1}}, {{1, -3}}, {}};
// 同一张图，只把 2→1 那条边改成 +3
const Graph POS = {{{1, 4}, {2, 5}}, {{3, 1}}, {{1, 3}}, {}};
// 有负环：0→1:1 1→2:-1 2→1:-1
const Graph CYC = {{{1, 1}}, {{2, -1}}, {{1, -1}}};

vector<int> make_set(int n) {
    vector<int> p(n);
    for (int i = 0; i < n; i++) p[i] = i;
    return p;
}

int find_root(vector<int>& p, int x) {
    while (p[x] != x) {
        p[x] = p[p[x]];      // 路径压缩：挂到爷爷上
        x = p[x];
    }
    return x;
}

bool unite(vector<int>& p, int a, int b) {
    // 两端已在同一块里就返回 false（这条边会成环）
    int ra = find_root(p, a), rb = find_root(p, b);
    if (ra == rb) return false;
    p[ra] = rb;
    return true;
}

struct MST {
    ll total;
    vector<pair<int, int>> picked;
};

MST kruskal(int n, vector<vector<int>> edges) {
    // 按 (权重, 两端编号) 从小到大排，union 成功才要这条边
    sort(edges.begin(), edges.end(), [](const vector<int>& x, const vector<int>& y) {
        if (x[2] != y[2]) return x[2] < y[2];
        if (x[0] != y[0]) return x[0] < y[0];
        return x[1] < y[1];
    });
    vector<int> p = make_set(n);
    MST r{0, {}};
    for (const auto& e : edges) {
        if (unite(p, e[0], e[1])) {
            r.total += e[2];
            r.picked.push_back({e[0], e[1]});
        }
    }
    return r;
}

MST prim(int n, const vector<vector<int>>& edges, int s) {
    vector<vector<pair<int, int>>> ad(n);
    for (const auto& e : edges) {
        ad[e[0]].push_back({e[2], e[1]});
        ad[e[1]].push_back({e[2], e[0]});
    }
    vector<bool> seen(n, false);
    seen[s] = true;
    priority_queue<tuple<int, int, int>, vector<tuple<int, int, int>>, greater<tuple<int, int, int>>> pq;
    for (auto [w, v] : ad[s]) pq.push({w, s, v});
    MST r{0, {}};
    // TODO: 堆不空且还没长满 n 个点时：弹出最短的边；另一端已在树里就跳过，
    //       否则收进树、计入 total 和 picked，再把它连出去的边压进堆
    return r;
}

bool same_set(const vector<pair<int, int>>& a, const vector<pair<int, int>>& b) {
    // TODO: 两组边各自规范成 (小编号, 大编号) 放进 set，再比较两个 set
    return false;
}

int main() {
    MST k = kruskal(5, E5), p = prim(5, E5, 0);
    cout << k.total << "/" << p.total << "/" << (same_set(k.picked, p.picked) ? "结果一致" : "结果不一致") << endl;
}

本次输入：

输出：

👩‍🏫

💬 题目评论

第三步两种 MST 互相印证

更多题目

全部评论