最小生成树问题及Kruskal算法的解析

在图论的世界中，有一个引人注目且应用广泛的概念——最小生成树（Minimum Spanning Tree，MST）。它不仅具有理论上的重要性，还在现实生活中扮演着关键的角色，例如网络设计、电力分配、城市规划等。本文将深入研究最小生成树问题的历史背景、算法求解方法，特别聚焦于探讨Kruskal算法，同时附带详细的C++代码示例，让您领略其魅力。

贪心算法概述https://blog.csdn.net/qq_45467165/article/details/132450812?spm=1001.2014.3001.5501

1. 背景与问题定义

随着信息时代的到来，图论的重要性日益凸显。图是一种强大的数据结构，用于表示实体之间的关系。在这样的图中，存在顶点（Vertices）和边（Edges），边上赋予了权重（Weight），代表着某种关系的程度。考虑一个连通的无向图，其中顶点的集合被称为V，边的集合被称为E。而最小生成树问题的核心思想就是，从这些边中选择一部分，构成一棵包含了所有顶点的树，使得树中边的权重之和达到最小。

2. Kruskal算法：从小到大，逐步精选

在图论的舞台上，Kruskal算法脱颖而出，成为了最小生成树问题的一颗明星。这个算法独特的魅力在于，它遵循一种从小到大的思路，逐步选择边，但同时又避免了出现环路的问题。Kruskal算法的精髓在于贪心策略，通过局部最优解构建全局最优解。

3. Kruskal算法的步骤

让我们来深入研究Kruskal算法的步骤，它可以概括为以下几个关键点：

1. 首先，将所有边按照权重从小到大进行排序。这个步骤确保我们始终从权重最小的边开始考虑。
2. 初始化一个空的最小生成树，即我们将所选的边放入其中。
3. 遍历排序后的边，如果加入这条边不会构成环路，则将其纳入最小生成树。为了实现这个目标，我们需要维护一个并查集数据结构，以便在每一步判断两个顶点是否在同一个集合中。
4. 重复上述步骤，直到最小生成树中的边数达到V - 1（其中V是顶点数），或者所有边都被考虑过。

4. Kruskal算法的C++代码示例

接下来我们来对这个算法进行分解，让读者更能直观看到他的作用过程

4.1 图的定义和边的添加

首先，我们需要定义一个图的类，用于表示图和边的信息。我们使用了一个Edge类来表示边，包含了源顶点、目标顶点和边的权重。然后，我们定义了一个Graph类，其中包含了图的顶点数、边数以及边的信息。在Graph类中，我们使用了一个vector来存储边的信息，用于后续的处理。

class Edge {
public:
    int src, dest, weight;
};

class Graph {
public:
    int V, E;
    vector<Edge> edges;

    Graph(int v, int e) : V(v), E(e) {}

    void addEdge(int src, int dest, int weight) {
        edges.push_back({src, dest, weight});
    }

   
};

int main() {
    // Create a graph and add edges
    Graph g(4, 5);
    g.addEdge(0, 1, 10);
    g.addEdge(0, 2, 6);
    g.addEdge(0, 3, 5);
    g.addEdge(1, 3, 15);
    g.addEdge(2, 3, 4);

    // Rest of the code will be added here.
}

---

4.2 并查集的实现

在Kruskal算法中，我们需要用到并查集来判断两个顶点是否在同一个集合中。在这一部分，我们将实现并查集的相关方法，包括findParent和unionSets。这两个方法分别用于查找顶点的根节点和合并两个顶点所在的集合。

class Graph {


    int findParent(vector<int>& parent, int i) {
        if (parent[i] == -1)
            return i;
        return findParent(parent, parent[i]);
    }

    void unionSets(vector<int>& parent, int x, int y) {
        int xroot = findParent(parent, x);
        int yroot = findParent(parent, y);
        parent[xroot] = yroot;
    }


};

---

4.3 Kruskal算法的实现

最后，我们来实现Kruskal算法的核心部分，即通过排序边并逐步选择边来构建最小生成树。在这一部分，我们使用了排序函数sort对边进行排序，然后利用并查集判断是否可以将一条边纳入最小生成树中。最终，我们打印出了最小生成树的边信息。

class Graph {


    void kruskalMST() {
        vector<Edge> result;
        vector<int> parent(V, -1);

        sort(edges.begin(), edges.end(), [](Edge& a, Edge& b) {
            return a.weight < b.weight;
        });

        int e = 0, i = 0;
        while (e < V - 1 && i < E) {
            Edge nextEdge = edges[i++];
            int x = findParent(parent, nextEdge.src);
            int y = findParent(parent, nextEdge.dest);

            if (x != y) {
                result.push_back(nextEdge);
                unionSets(parent, x, y);
                e++;
            }
        }

        cout << "Edges of the minimum spanning tree:" << endl;
        for (const auto& edge : result) {
            cout << edge.src << " -- " << edge.dest << " : " << edge.weight << endl;
        }
    }
};

通过这三部分代码，我们可以分别了解图的定义和边的添加、并查集的实现以及Kruskal算法的实现。下面是所有代码：

#include <iostream>
#include <vector>
#include <algorithm>

using namespace std;

class Edge {
public:
    int src, dest, weight;
};

class Graph {
public:
    int V, E;
    vector<Edge> edges;

    Graph(int v, int e) : V(v), E(e) {}
    
    void addEdge(int src, int dest, int weight) {
        edges.push_back({src, dest, weight});
    }

    int findParent(vector<int>& parent, int i) {
        if (parent[i] == -1)
            return i;
        return findParent(parent, parent[i]);
    }

    void unionSets(vector<int>& parent, int x, int y) {
        int xroot = findParent(parent, x);
        int yroot = findParent(parent, y);
        parent[xroot] = yroot;
    }

    void kruskalMST() {
        vector<Edge> result;
        vector<int> parent(V, -1);

        sort(edges.begin(), edges.end(), [](Edge& a, Edge& b) {
            return a.weight < b.weight;
        });

        int e = 0, i = 0;
        while (e < V - 1 && i < E) {
            Edge nextEdge = edges[i++];
            int x = findParent(parent, nextEdge.src);
            int y = findParent(parent, nextEdge.dest);

            if (x != y) {
                result.push_back(nextEdge);
                unionSets(parent, x, y);
                e++;
            }
        }

        cout << "Edges of the minimum spanning tree:" << endl;
        for (const auto& edge : result) {
            cout << edge.src << " -- " << edge.dest << " : " << edge.weight << endl;
        }
    }
};

int main() {
    Graph g(4, 5);
    g.addEdge(0, 1, 10);
    g.addEdge(0, 2, 6);
    g.addEdge(0, 3, 5);
    g.addEdge(1, 3, 15);
    g.addEdge(2, 3, 4);

    g.kruskalMST();

    return 0;
}

5. 总结

最小生成树问题无疑是图论中的一颗明珠，其背后蕴含着广泛的实际应用。Kruskal算法以其精妙的从小到大的选择策略，避免环路，构建了最小生成树，展现出贪心算法的迷人之处。通过这篇文章，我们穿越了最小生成树问题的历史背景和定义，详细分析了Kruskal算法的步骤，还提供了用C++实现的代码示例。这种算法不仅在理论上有所贡献，也在实际中发挥着巨大的作用，为解决现实问题提供了有力的工具。通过深入学习和理解，我们可以更好地应用这一强大的工具，为世界带来更多可能性。