6 6 8 定理1由克鲁斯克尔算法得到的任何生成树一定是最小 生成树。（证明略） 80.8 1 0.6 0.4 0.2 0 x t 0 0.5 1 1.5 2 1 0.5 0 0.5 1 n 8 3 v7 2 1 5 6 v1 v4 v5 v8 v3 v6 8 3 v7 2 1 5 6 v1 v4 v5 v8 v3 v6 8 v2 9 定理1 由克鲁斯克尔算法得到的任何生成树一定是最小 生成树。(证明略)