關於最小生成樹算法 —— Kruskal 有效性的證實

證實過程： 首先，假設咱們已經對全部邊進行了排序，而且當前遍歷到的邊是鏈接點1和點2的邊 由於這條邊是最小的邊，而點1和點2在最小生成樹中必定會直接或間接的相連，所以任何從點1到點2的路徑都不小於這條邊。如圖，若是不走這條邊就只能走1→3→2（而若是這樣走顯然會使得1→2的距離過大，而咱們當前只討論1→2的最優選項）。或者，咱們能夠假設一種狀況：點1和點2之間有兩條權值爲0.5的邊，間接的鏈接了點

>>阅读原文<<