三峡大学计算机与信息学院数据结构课件 第7章.pptVIP

图7.17 图及其连通分量 7.4.2 最小生成树 在一个连通网的所有生成树中， 各边的代价之和最小的那棵生成树称为该连通网的最小代价生成树（Minimum Cost Spanning Tree），简称为最小生成树(MST)。 最小生成树有如下重要性质：  设 N=(V, {E}) 是一连通网，U 是顶点集V的一个非空子集。 若（u , v）是一条具有最小权值的边， 其中u∈U， v∈V-U， 则存在一棵包含边（u , v）的最小生成树。 我们用反证法来证明这个MST性质：  假设不存在这样一棵包含边（u , v）的最小生成树。 任取一棵最小生成树T，将（u , v）加入T中。根据树的性质，此时T中必形成一个包含（u , v）的回路， 且回路中必有一条边（u′, v′）的权值大于或等于（u , v）的权值。 删除（u′, v′），则得到一棵代价小于等于T的生成树T′，且T′为一棵包含边（u , v）的最小生成树。 这与假设矛盾， 故该性质得证。  我们可以利用MST性质来生成一个连通网的最小生成树。普里姆（Prim）算法和克鲁斯卡尔（Kruskal）算法便是利用了这个性质。 1. 普里姆算法 假设N=(V, {E})是连通网，TE为最小生成树中边