文章讨论了贪心选择性质在构建无向图最小生成树过程中的作用，证明了首先选择与起始节点相连的最小边包含在最优解中。同时，通过最优子结构的分析，展示了每次合并节点并保留最小权值边的方法能确保构造出的子图G1的最小生成树是原图G最小生成树的一部分，从而验证了算法的正确性。
贪心选择性质：不失一般性，有无向图G，令其起始节点为V1，找到与V1相连的最小的边，节点为Va，连接两个节点的边为e1，现证明e1包含在最优解中。令G'为一颗最小生成树，如果包括e1，则该结论成立，若不包括e1，则将e1加入G'中，将形成一个环，在这个环中每个节点的度为2，删掉该环中最大的一条边e2，获得新的生成树G''。由于w(e1)<w(e2)，G''就为最小生成树。
最优子结构：不失一般性，令起始节点为V1，最小生成树G'中与V1相连的且权值最小的边为Va，边为e1，将V1和Va合并为一个新节点Vx，对于在图中与V1,Va同时相连的边，保留权值最小的与Vx相连，得到子图G1，现证明图G的最小生成树G'包含了图G1的最小生成树G1'。假设图G1的最小生成树不属于G'，而是其他生成树G1''，把Vx拆分成V1和Va，得到一颗图G的生成树G''。于是W(G'')=W(G1'')+w(e1)<W(G1'')+w(e1)=W(G')，这不符合G'是最小生成树，矛盾，所以假设结果不成立。综上所述，算法的正确性得证.
235
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
