算法证明_干货｜最小生成树-Kruskal（克鲁斯卡尔）算法+理解+证明；

作者：岑国玉

链接：Manacher(马拉车)算法详解_牛客博客

来源：牛客网

关于最小生成树，我曾经理解过，然后上离散数学后又理解了一遍，所以就向想一下这个博客；主要是理解和证明；

首先我们什么提出最小生成树概念：设无向连通带权图G=<V,E,W>,T是G的一颗生成树，T的各边权之和称为T的权，记作W（T）。G的所有生成树中权最小的生成树称为G的最小生成树。

求最小生成树已经有许多种方法，这里介绍的是避圈法（Kruskal）；

怎样找出最小生成树：

设n阶无向连通图带权图G=<V,E,W>有m条边，不妨设G中没有环（否则，可以将所有的环先删去），将m条边按权从小到大顺序排序，设e1,e2,e3…em;

取e1在T中，然后依次检查e1,e2,e3…em。若ej（j>=2）与已在T中的边不能构成回路，则取ej在T中，否则弃去ej。

算法停止时得到的T为G的最小生成树；下面这个第一张图片是G无向连通图；第二张图片是T，即G的最小生成树；