最小生成树：Swift实现

预热

一句话描述最小生成树（Minimum Spanning Trees - MST）问题：
就是求解一个所有边都带权值的图生成权值和最小的树结构。

两个碉堡的天才

• Kruskal
• Prim

两个（贪心）算法

• Kruskal算法 其算法复杂度O(ElgV)
• Prim算法 其算法复杂度O(ElgV)

几个抽象的术语

• 切割
• 横跨
• 轻量级边

最小生成树的形成

每一步进行树边的选择时候要遵守循环不变式的边集合A：

每步循环之前，A是某棵最小生成树的一个子集。

每步选择时候，我们选择一条边(u, v)加入A，使得A不违反循环不变式，即A∪{(u, v)}也是该棵最小生成树的子集。我们把这样的边叫做安全边。

伪代码

GENERIC-MST(G, w)

A = ?
while A 未生成树
    找到一个对A来说的安全边
    A = A ∪ {(u, v)}
return A

定理

设G = (V, E)是一个边E上定义实数权值w的连通无向图。设集合A是E的一个子集，且A包括在图G的某棵最小生成树中，设(S, V-S