连通图的最小生成树是唯一的。