苗条的生成树

先来证明一个性质：同一个图的不同生成树的最大最小边权相等

最小边权很显然相等，这个不用证

主要是最大边权

假设有两个生成树都是最小生成树，其中\(G_1\)的最大边权\(s_1\)大于\(G_2\)的最大边权\(s_2\)

在\(G_2\)中删去最大边，会形成两个连通块，假设这条最大边连接的是\(u\)和\(v\)两点，我们设在\(G_1\)中从\(u\)到\(v\)的路径是\(P\)，那么\(P\)上不可能每一条边都在\(G_2\)中，我们把所有不在\(G_2\)中的边加入\(G_2\)中，那么\(u\)和\(v\)一定被重新连通(即图又只变成了一个连通块)，这就说明这些不在\(G_2\)中的边至少存在一条边(设为\(w\))可以连通这两个连通块，而且由于我们删除的边的边权是\(s_2\)，所以我们删除\(s_2\)加入\(w\)一定会让整棵树的边权之和减少，这就与其是MST矛盾，所以结论得证

然而

我还没有找到一个这个加强结论的证法