使用DFS查找MST的算法

Question

我有以下算法：对于给定的（有限无向简单）图，G =（V，E）在边上具有正权函数：

1. 运行DFS（深度优先搜索），直到找到边缘向后或DFS停止。 如果停止，返回G.
2. 在由向后边缘构造的圆上找到最重的边缘并从G中移除它。
3. 回到1。

现在我需要了解这个算法正在做什么。 我已经证明算法给了我一个G的生成树，我相信它是最小的生成树，但我无法证明这一点。 请帮我证明一下。

Answer 1

看起来您正在执行反向删除算法的变体，但您仍需要证明您的算法与删除不断开图形的所有最高加权边缘等效。

Answer 2

证明，当e是G周期中最重的边缘时，G-e的MST的成本不大于G的MST的成本。（令T为G的MST并使用T和假设关于e构造G - e的生成树T'，其成本（T'）≤成本（T）。）通过| E |的归纳得出结论。 该算法产生一个MST。