【算法设计与分析】最小生成树

最小生成树 Minimum Spanning Tree

1. 概念

一个连通图的生成树是一个极小的连通子图，即包含了全部结点以及连通的最少边数（n-1条）。

最小生成树指带权图的边权值之和最小的生成树。

2. 计算

2.1 生成树

n个结点的无向完全图有多少个生成树：$n^{n-2}$ （prufer编码与cayley公式）

注：prufer是有编号无根树的一种编码方式，一颗无根树与一个prufer编码唯一对应。n结点的无向完全图对应的prufer数列长度为n-2，数列中每个数的取值为[1,n]，可重复，因此n个结点可构成$n^{n-2}$个prufer数列，即n个结点可构成$n^{n-2}$个生成树。

2.2 经典的最小生成树算法

Kruskal算法 - 从边的角度出发

Prim算法 - 从顶点的角度出发

3. 与最短路径的关系

• 最短路径是找到起始点到终点的最短距离，仅包含必须要经过的点。而最小生成树需要包含所有结点
• 求最短路径的经典算法dijkstra也是基于贪心策略，算法流程跟prim算法非常相似