在一个 ∣ V ∣ |V| ∣V∣个点的无向连通图中,取其中 ∣ V ∣ − 1 |V|-1 ∣V∣−1条边,并连接所有的顶点,所得到的子图称为原图的一棵生成树。
树是图的一种特殊形态。图 G G G是树当且仅当以下任意一个条件成立:
G G G有 ∣ V ∣ − 1 |V|-1 ∣V∣−1条边,无环 G G G有 ∣ V ∣ − 1 |V|-1 ∣V∣−1条边,连通任意两点之间只有唯一的简单路径 G G G连通,但任意删除一条边后就不连通在一个带权的无向连通图中,各边权和最小的一棵生成树即为原图的最小生成树
图中权值最小的边(如果唯一的话)一定在最小生成树上
对于一个图 G G G,如果图中的边权值都不相同,则图的最小生成树唯一,反之不然。