kruskal算法的简单正确性证明

前言

算法都会用，证明不一定理解

正文

• 令G为任何一个与kruskal算法产生的树T1不同的树，是否有G比T1更优呢？
• 首先考虑在T1的构造过程，令E为第一次选的一条不属于G的边，如果我们将E加入G，我们就会得到一个环C，这个C不完全包含于T1内，故C存在一条不属于T1的边F，如果我们将E加入G并删除F，则得到一个新树T2。
• 证明T2比G优，即证明E比F优,利用反证法，假设F比E优.
• 在T1中kruskal算法选中了E而不是F的唯一原因只能是，F被排除了，即加入F会令T1成环。由于E是第一次选择的不属于G的边，之前的边都在G内（也在T1内），F又属于G内，故G内成环（这里有点难理解，简单说就是F是一个成环条件，T1没有包括F所以不会成环，G包括了F所以G内肯定有环），而这与前提G是一颗树矛盾！故假设不成立，F不比E优，所以T2比G优
• 因此我们可以用T2代替G，T2比G更接近T1（T2与T1有更多边）。如果T2不是T1，则重复以上步骤，我们可以得到一系列{T}越来越比G优的更多，而越来越接近T1，这个过程最后会以算法选出的T1结束，这就证明了最开始的疑问，肯定不存在G比算法选出的T1更优。
• kruskal算法的正确性得以证明