我们先从一个点出发吧。
1.对于在连通图中的一个点,所有连接这个点的边中的权值最小边,必定是此图最小生成树中的一条边。
证明:比如,这个点是x,x到y的边最小,假设这条边不在最小生成树中,那就有类似x–>a–>y在最小生成树中(因为在生成树中任意两点之间都有通路,且唯一),然而x–>y比x–>a要小,包含x–>a–>y的树不是最小生成树,与题设矛盾。由此得证。
这个推论中的点替换成连通块依然成立。即2.如果某个连通图属于最小生成树,那么所有从外部连接到该图的边中的一条最短的边必然属于最小生成树。
也可以借此证明,3.对于任意一个图,他最小生成树中每种权值的边的数量是一定的。
这样prim和kruskal算法就好理解了。
当最小生成树被拆分成彼此独立的若干个连通分量的时候,所有能够连接任意两个连通分量的边中的一条最短边必然属于最小生成树。 这个也是把每个连通分量看做一个点就好了。也就是Kruskal的核心思想了!