在图论中，无向图 "G" 的生成树（）是具有 "G" 的全部顶点，但边数最少的连通子图。以formula_1表示顶点，formula_2表示边.若图 formula_3和树formula_4，有formula_5和formula_6，那么formula_7是formula_8的生成树。一个图的生成树可能有多个。
最小生成树.带权图的生成树中，总权重最小的称为最小生成树。求取最小生成树的算法：