最小生成树(Prim+Kruskal)学习笔记 (模板+OJ题目)

模板

需要读者对以下知识有所了解:权值非负最短路权值带负数最短路、并查集

一、prim

简要介绍

和朴素版的 Dijkstra 算法 相似,区别在于 $Dijkstra$ 的 $dist$ 数组用于存储从起点到该点的最短距离;而 $prim$ 算法的 $dist$ 数组用于存储该点到集合中的任意一点的最短距离。

模板

int prim(int n)
{
    int res = 0;
    memset(dist, 0x3f, sizeof dist); //dist数组存储点到集合的最短距离
    dist[1] = 0;//任意规定一个起点
    for(int _ = 0; _ < n; ++ _)
    {
        int t = -1;
        for(int i = 1; i <= n; ++ i)
            if(!b[i] && (t == -1 || dist[t] > dist[i]))
                t = i;

        if(dist[t] == INF) return INF; //点无法与集合连通
        b[t] = true;
        res += dist[t]; //要放在更新dist前面,不然可能产生自负环
        for(int i = 1; i <= n; ++ i)
            dist[i] = min(dist[i], a[t][i]); //与dijkstra的区别
    }
    return res;
}

二、Kruskal

简要介绍

采用了贪心策略:每次尝试将最小的边上的两点加入集合中、让这两个点连通。

模板

int find(int x)
{
    if(p[x] != x) p[x] = find(p[x]);
    return p[x];
}

//结构体数组存储边的信息,预先按照权值从小到大排好了序
int kruskal(int n, int m)
{
    for(int i = 1; i <= n; ++ i) p[i] = i;
    int res = 0, cnt = 0;
    for(int i = 0; i < m; ++ i)
    {
        int a = node[i].a, b = node[i].b, w = node[i].w;
        if(find(a) != find(b)) //a节点和b节点不在同一个集合中
        {
            res += w;
            cnt ++;
            p[find(a)] = p[find(b)]; //合并操作
        }
    }

    if(cnt != n - 1) return INF; //非连通图
    return res;
}

例题

一、求最小生成树(简单)

给定一个 n 个点 m 条边的无向图,图中可能存在重边和自环,边权可能为负数。

求最小生成树的树边权重之和,如果最小生成树不存在则输出 impossible

给定一张边带权的无向图 G=(V,E),其中 V 表示图中点的集合,E 表示图中边的集合,n=|V|,m=|E|。

V 中的全部 n 个顶点和 En−1 条边构成的无向连通子图被称为 G 的一棵生成树,其中边的权值之和最小的生成树被称为无向图 G 的最小生成树。

输入格式

第一行包含两个整数 nm

接下来 m 行,每行包含三个整数 u,v,w,表示点 u 和点 v 之间存在一条权值为 w 的边。

输出格式

共一行,若存在最小生成树,则输出一个整数,表示最小生成树的树边权重之和,如果最小生成树不存在则输出 impossible

数据范围

1≤n≤$10^5$,1≤m≤2∗$10^5$, 图中涉及边的边权的绝对值均不超过 1000。

输入样例:

4 5
1 2 1
1 3 2
1 4 3
2 3 2
3 4 4

输出样例:

6

题目分析

是算法基础课的板子题、直接套最小生成树模板即可。

参考代码1 prim

#include <bits/stdc++.h>

using namespace std;
const int N = 505, INF = 0x3f3f3f3f;
int a[N][N];
int dist[N];
bool b[N];

//详细注释写在模板里
int prim(int n)
{
    int res = 0;
    memset(dist, 0x3f, sizeof dist);
    dist[n] = 0;
    for(int _ = 0; _ < n; ++ _)
    {
        int t = -1;
        for(int i = 1; i <= n; ++ i)
            if(!b[i] && (t == -1 || dist[t] > dist[i]))
                t = i;

        if(dist[t] == INF) return INF;
        b[t] = true;
        res += dist[t];
        for(int i = 1; i <= n; ++ i)
            dist[i] = min(dist[i], a[t][i]);
    }
    return res;
}

int main()
{
    ios::sync_with_stdio(false);
    memset(a, 0x3f, sizeof a);
    int n, m; cin >> n >> m;
    int x, y, z;
    for(int i = 0; i < m; ++ i)
    {
        cin >> x >> y >> z;
        a[x][y] = a[y][x] = min(a[x][y], z);
    }

    int t = prim(n);

    if(t != INF) cout << t;
    else cout << "impossible";

    return 0;
}

参考代码2 Kruskal

#include <bits/stdc++.h>

using namespace std;
const int N = 2e5 + 5, INF = 0x3f3f3f3f;
struct Node{
    int a, b, w;
    bool operator< (const Node&W) const
    {
        return w < W.w;
    }
}node[N];
int p[N];

//详细注释写在模板里
int find(int x)
{
    if(p[x] != x) p[x] = find(p[x]);
    return p[x];
}

int kruskal(int n, int m)
{
    for(int i = 1; i <= n; ++ i) p[i] = i;
    int res = 0, cnt = 0;
    for(int i = 0; i < m; ++ i)
    {
        int a = node[i].a, b = node[i].b, w = node[i].w;
        if(find(a) != find(b))
        {
            res += w;
            cnt ++;
            p[find(a)] = p[find(b)];
        }
    }

    if(cnt != n - 1) return INF;
    return res;
}

int main()
{
    ios::sync_with_stdio(false);
    int n, m; cin >> n >> m;
    int a, b, w;
    for(int i = 0; i < m; ++ i)
    {
        cin >> a >> b >> w;
        node[i] = {a, b, w};
    }

    sort(node, node + m);

    int t = kruskal(n, m);

    if(t == INF) cout << "impossible";
    else cout << t;

    return 0;
}

二、最短网络(简单)

农夫约翰被选为他们镇的镇长!

他其中一个竞选承诺就是在镇上建立起互联网,并连接到所有的农场。

约翰已经给他的农场安排了一条高速的网络线路,他想把这条线路共享给其他农场。

约翰的农场的编号是1,其他农场的编号是 2∼n。为了使花费最少,他希望用于连接所有的农场的光纤总长度尽可能短。

你将得到一份各农场之间连接距离的列表,你必须找出能连接所有农场并使所用光纤最短的方案。

输入格式

第一行包含一个整数 n,表示农场个数。

接下来 n 行,每行包含 n 个整数,输入一个对角线上全是0的对称矩阵。

其中第 x+1 行 y 列的整数表示连接农场 x 和农场 y 所需要的光纤长度。

输出格式

输出一个整数,表示所需的最小光纤长度。

数据范围

3≤n≤100

每两个农场间的距离均是非负整数且不超过100000。

输入样例:

4
0  4  9  21
4  0  8  17
9  8  0  16
21 17 16  0

输出样例:

28

题目分析

很容易看出来是个最小生成树的裸题,直接套模板就AC了。

参考代码

#include <bits/stdc++.h>

using namespace std;
const int N = 105, INF = 0x3f3f3f3f;
int a[N][N];
int dist[N];
bool b[N];

//详细注释写在模板里
int prim(int n)
{
    int res = 0;
    memset(dist, 0x3f, sizeof dist);
    dist[1] = 0;
    for(int _ = 0; _ < n; ++ _)
    {
        int t = -1;
        for(int i = 1; i <= n; ++ i)
            if(!b[i] && (t == -1 || dist[t] > dist[i]))
                t = i;
        b[t] = true;
        res += dist[t];
        for(int i = 1; i <= n; ++ i)
            dist[i] = min(dist[i], a[i][t]);
    }
    return res;
}

int main()
{
    ios::sync_with_stdio(false);
    int n; cin >> n;
    for(int i = 1; i <= n; ++ i) for(int j = 1; j <= n; ++ j) cin >> a[i][j];
    int t = prim(n);
    cout << t;
    return 0;
}

三、城市通电(困难)

平面上遍布着 n 座城市,编号 1∼n。第 i 座城市的位置坐标为 ($x_i$,$y_i$)。

不同城市的位置有可能重合。

现在要通过建立发电站和搭建电线的方式给每座城市都通电。

一个城市如果建有发电站,或者通过电线直接或间接的与建有发电站的城市保持连通,则该城市通电。

在城市 i 建立发电站的花费为 $c_i$ 元。在城市 i 与城市 j 之间搭建电线所需的花费为每单位长度 $k_i$+$k_j$ 元。

电线只能沿上下左右四个方向延伸,电线之间可以相互交叉,电线都是双向的。

每根电线都是由某个城市沿最短路线搭建到另一个城市。

也就是说,如果在城市 i 与城市 j 之间搭建电线,则电线的长度为 |$x_i$−$x_j$|+|$y_i$−$y_j$|。

请问,如何合理设计通电方案,可以使得所有城市都成功通电,且花费最少?

输出最少花费和具体方案。

如果方案不唯一,则输出任意一种合理方案均可。

输入格式

第一行包含整数 n

接下来 n 行,其中第 i 行包含两个整数 $x_i$,$y_i$,用来描述城市 i 的横纵坐标。

再一行包含 n 个整数 $c_1$,$c_2$,…,$c_n$,用来描述每个城市建立发电站的花费。

最后一行包含 n 个整数 $k_1$,$k_2$,…,$k_n$。

输出格式

第一行输出所需要的最少花费。

第二行输出一个整数 v,表示需要建立发电站的数量。

第三行输出 v 个整数,表示建立发电站的城市编号,注意输出编号要在范围 [1,n] 内。且输出编号不应重复。输出编号顺序随意。

第四行输出一个整数 e,表示需要搭建的电线数量。

接下来 e 行,每行输出两个整数 a,b,表示要在城市 ab 之间搭建电线。注意,任意两个城市之间最多只需要搭建一根电线,也就是说,对于每个 (a,b),不要有多余的 (a,b) 或 (b,a) 输出。ab 不能相同,且要在范围 [1,n] 内。输出电线顺序随意。

如果答案不唯一,输出任意合理方案即可。

数据范围

对于前三个测试点,1≤n≤3。 对于全部测试点,1≤n≤2000,1≤$x_i$,$y_i$≤$10^6$,1≤$c_i$,$k_i$≤$10^9$。

输入样例1:

3
2 3
1 1
3 2
3 2 3
3 2 3

输出样例1:

8
3
1 2 3 
0

输入样例2:

3
2 1
1 2
3 3
23 2 23
3 2 3

输出样例2:

27
1
2 
2
1 2
2 3

题目分析

初始情况是所有的点建发电站,当某一个点搭电线比建站便宜时,改为搭电线。

参考代码1 prim

#include <bits/stdc++.h>

using namespace std;
typedef pair<int, int> PII;
typedef long long LL;
#define x first
#define y second
const int N = 2005;
int n;
bool b[N];
PII idx[N];//存城市的下标
int wc[N], wk[N]; //建厂 线
vector<int> st; //发电站
vector<PII> edge; //边与边的关系
int dist[N], distp[N];//该城市的花费 与 前驱

inline LL get_dis(int a, int b) //a b两点搭线花费
{
    return (LL)(abs(idx[a].x - idx[b].x) + abs(idx[a].y - idx[b].y)) * (wk[a] + wk[b]);
}

LL prim()
{
    LL res = 0;
    for(int i = 1; i <= n; ++ i) dist[i] = wc[i]; //每个城市单独建发电站
    for(int _ = 0; _ < n; ++ _)
    {
        int t = -1;
        for(int i = 1; i <= n; ++ i)
            if(!b[i] && (t == - 1 || dist[t] > dist[i]))
                t = i;
        b[t] = true; //下标t是当前最优解
        res += dist[t];
        if(!distp[t]) st.push_back(t); //没有前驱 该点只能建发电站
        else edge.push_back({t, distp[t]}); //有前驱 不用建站
        for(int i = 1; i <= n; ++ i)
            if(!b[i] && dist[i] > get_dis(t, i)) //搭线更经济
            {
                dist[i] = get_dis(t, i);
                distp[i] = t; //将i的前驱更新为t
            }
    }
    return res;
}

int main()
{
    ios::sync_with_stdio(false);
    cin >> n;
    for(int i = 1; i <= n; ++ i) cin >> idx[i].x >> idx[i].y;
    for(int i = 1; i <= n; ++ i) cin >> wc[i];
    for(int i = 1; i <= n; ++ i) cin >> wk[i];

    LL t = prim(); //LL 

    cout << t << endl;
    cout << st.size() << endl;
    for(auto &i: st) cout << i << ' ';
    cout << endl << edge.size() << endl;
    for(auto &i : edge) cout << i.x << ' ' << i.y << endl;
    return 0;
}

参考代码2 Kruskal

如何表示出建厂和连电线的区别? 建厂指向一个不存在的超级源点,令建厂费为到超级源点的路径费。

#include <bits/stdc++.h>
#define x first
#define y second
using namespace std;
typedef pair<int, int> PII;
typedef long long LL;
const int N = 2005;
PII idx[N];
struct Edge{
    int a, b;
    LL w;  //a指向b 权值是w
    bool operator< (const Edge& W)
    {
        return w < W.w;
    }
}edge[N * N]; //所有边与边的关系
vector<int> st;
vector<PII> se;
bool bb[N * N]; //记录某条边是否被选择
int p[N], wk[N];
int id, n;

inline LL get_dis(int idx1, int idx2) //两点之间的建边费用
{
    return (LL)(abs(idx[idx1].x - idx[idx2].x) + abs(idx[idx1].y - idx[idx2].y)) * (wk[idx1] + wk[idx2]);
}

int find(int t1)
{
    if(t1 != p[t1]) p[t1] = find(p[t1]);
    return p[t1];
}

LL kruskal()
{
    LL res = 0;
    for(int i = 1; i <= n; ++ i) p[i] = i;
    sort(edge, edge + id);
    for(int i = 0; i < id; ++ i)
    {
        int a = find(edge[i].a), b = find(edge[i].b);
        if(a != b)
        {
            bb[i] = true;
            res += edge[i].w;
            p[find(a)] = p[find(b)];
        }
    }
    return res;
}

int main()
{
    ios::sync_with_stdio(false);
    cin >> n;
    for(int i = 1; i <= n; ++ i)
        cin >> idx[i].x >> idx[i].y; //所有点的坐标

    int c;
    for(int i = 1; i <= n; ++ i)
    {
        cin >> c;
        edge[id ++] = {i, 0, c}; //与超级源点连接
    }
    for(int i = 1; i <= n; ++ i) cin >> wk[i];
    for(int i = 1; i <= n; ++ i)
        for(int j = 1; j < i; ++ j)
            edge[id ++] = {i, j, get_dis(i, j)}; //电线费用

    LL t = kruskal(); 
    cout << t << endl;
    for(int i = 0; i < id; ++ i) //遍历每一条边
        if(bb[i])
            if(!edge[i].b) st.push_back(edge[i].a); //自行建厂
            else se.push_back({edge[i].a, edge[i].b}); //电线
    cout << st.size() << endl;
    for(auto &i : st) cout << i << ' ';
    cout << endl << se.size() << endl;
    for(auto &i : se) cout << i.x << ' ' << i.y << endl;
    return 0;
}

小结

  • prim 要以集合的思想看待 dist 数组。
  • Kruskal 用到了并查集数据结构。不在乎图的存储方式,采用贪心策略跑一遍所有的边。与之相关的有“超级源点”思想。
暂无评论

发送评论 编辑评论


				
|´・ω・)ノ
ヾ(≧∇≦*)ゝ
(☆ω☆)
(╯‵□′)╯︵┴─┴
 ̄﹃ ̄
(/ω\)
∠( ᐛ 」∠)_
(๑•̀ㅁ•́ฅ)
→_→
୧(๑•̀⌄•́๑)૭
٩(ˊᗜˋ*)و
(ノ°ο°)ノ
(´இ皿இ`)
⌇●﹏●⌇
(ฅ´ω`ฅ)
(╯°A°)╯︵○○○
φ( ̄∇ ̄o)
ヾ(´・ ・`。)ノ"
( ง ᵒ̌皿ᵒ̌)ง⁼³₌₃
(ó﹏ò。)
Σ(っ °Д °;)っ
( ,,´・ω・)ノ"(´っω・`。)
╮(╯▽╰)╭
o(*////▽////*)q
>﹏<
( ๑´•ω•) "(ㆆᴗㆆ)
😂
😀
😅
😊
🙂
🙃
😌
😍
😘
😜
😝
😏
😒
🙄
😳
😡
😔
😫
😱
😭
💩
👻
🙌
🖕
👍
👫
👬
👭
🌚
🌝
🙈
💊
😶
🙏
🍦
🍉
😣
Source: github.com/k4yt3x/flowerhd
颜文字
Emoji
小恐龙
花!
上一篇
下一篇