最小生成树——kruskal算法

#include <iostream>
#include <cstdio>
#include <cstring>
#include <string>
#include <algorithm>
#include <cmath>
#include <math.h>
#include <vector>
#include <stack>
#include <queue>
#include <map>
#include <set>
#define ll long long
using namespace std;
const int N = 200010;
int n, m;
int p[N];
struct Edge
{
    int a, b, w;
    bool operator<(const Edge &W) const
    {
        return w < W.w;
    }
} edges[N];
int find(int x)
{
    if (p[x] != x)
        p[x] = find(p[x]);
    return p[x];
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cin >> n >> m;
    for (int i = 0; i < m; i++)
    {
        int a, b, w;
        cin >> a >> b >> w;
        edges[i] = {a, b, w};
    }
    sort(edges, edges + 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 = edges[i].a, b = edges[i].b, w = edges[i].w;
        a = find(a), b = find(b);
        if (a != b)
        {
            p[a] = b;
            res += w;
            cnt++;
        }
    }
    if (cnt < n - 1)
        cout << "impossible" << endl;
    else
        cout << res << endl;
    return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
迪杰斯特拉算法是一种用于解决单源最短路径问题的经典算法。它的正确性证明可以通过以下步骤进行: 1. 初始化:将起始节点的距离设置为0,其他节点的距离设置为无穷大。将起始节点标记为当前节点。 2. 迭代过程:重复以下步骤,直到所有节点都被标记为已访问。 a. 从当前节点开始,计算当前节点到其邻居节点的距离之和加上当前节点的距离,如果这个值小于邻居节点的当前距离,则更新邻居节点的距离。 b. 从未访问的节点中选择一个距离最小的节点作为下一个当前节点,并将其标记为已访问。 3. 终止条件:当所有节点都被标记为已访问时,算法终止。 正确性证明的关键在于证明迭代过程中每次更新距离的操作是正确的。这可以通过数学归纳法来证明。 首先,在初始化阶段,起始节点的距离被设置为0,其他节点的距离被设置为无穷大。这是一个基本情况,显然是正确的。 然后,在迭代过程中,假设在第k次迭代之前,算法已经找到了从起始节点到所有已访问节点的最短路径。我们需要证明,在第k+1次迭代中,算法能够找到从起始节点到所有已访问节点的最短路径。 假设在第k次迭代之前,已访问节点集合为S,未访问节点集合为V-S。在第k+1次迭代中,算法选择一个距离最小的节点u作为下一个当前节点,并将其标记为已访问。 我们需要证明,在第k+1次迭代之后,对于所有的节点v∈V-S,从起始节点到v的最短路径已经找到。 假设存在一个节点v∈V-S,从起始节点到v的最短路径为P。由于算法选择距离最小的节点作为下一个当前节点,所以在第k+1次迭代之前,对于所有的节点u∈S,从起始节点到u的最短路径已经找到。 考虑路径P,它必然经过一个已访问节点x。由于算法选择距离最小的节点作为下一个当前节点,所以在第k+1次迭代中,节点x的距离已经被更新为从起始节点到x的最短路径。 因此,从起始节点到v的最短路径必然经过一个已访问节点x,并且从起始节点到x的最短路径已经找到。根据归纳法的假设,从起始节点到x的最短路径已经找到,所以从起始节点到v的最短路径也已经找到。 综上所述,迪杰斯特拉算法的正确性得到证明。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值