1.设破圈法生成的树为T,最小生成树为t 2.将T与t取并集U 3.若U中无环,则T=t,即T为最小生成树 若U中有环,则用破圈法生成T时,去掉该环上的一条权值最大的边e一定属于T,因为剩下的边为最小生成子树,且属于t。 此时出现矛盾:按破圈法应该去掉的边e却出现在T中。 故假设U中有环不成立,破圈法生成的树一定为最小生成树。