关于最小生成树算法 —— Kruskal 有效性的证实

证实过程： 首先，假设咱们已经对全部边进行了排序，而且当前遍历到的边是链接点1和点2的边 由于这条边是最小的边，而点1和点2在最小生成树中必定会直接或间接的相连，所以任何从点1到点2的路径都不小于这条边。如图，若是不走这条边就只能走1→3→2（而若是这样走显然会使得1→2的距离过大，而咱们当前只讨论1→2的最优选项）。或者，咱们能够假设一种状况：点1和点2之间有两条权值为0.5的边，间接的链接了点

>>阅读原文<<