Algorithm 最宽路径算法的正确性证明

如何证明无向图的最大生成树包含图中任意两个顶点A和B之间最宽的路径

---

我试着用编辑来思考Kruskal算法的证明，以便生成最大生成树，但我不明白为什么最大生成树必须包含最宽路径中的边，特别是在有多条最宽路径的情况下。

关于最优性的证明往往是矛盾的。在这里，你可以说

假设在图的任何最大生成树中，顶点A和B之间有一条最宽的路径，其中至少包含一条边而不是

现在你必须证明，这种边缘的存在导致了想要的矛盾。一条清晰的路径是显示此边可用于构造新的生成树，其权重大于任何图的最大生成树。因此，它们毕竟不是最大值

---

矛盾的存在表明从a到B的假设最宽路径不存在。因此，证据就在眼前

当考虑Kruskal算法的证明时，你知道它会得到一个最小生成树，那么，当你取这个算法的倒数，按降序对边进行排序时会发生什么呢？可能的重复：我使用Kruskal's对边进行排序，这样它会返回一个最大生成树。我想显示最宽的路径来自最大生成树。可能的重复