令无向图G=(V,E),其中V={,
,...,
},E={
,
,...,
}.其生成树
=(V,
),其中
={
,
,...,
},且
为联通无环图。
不失一般性,令为一棵最小生成树,其起始节点为
,与
连接边最短的节点为
,对应边为
.假设删除边
,将
和
融合为一个新的节点
,融合后的树为
,现证
是其所包括节点的最小生成树。反证法:如果
不是所包括节点的最小生成树,则势必存在生成树
使得
,与上述
为一棵最小生成树矛盾。
令无向图G=(V,E),其中V={,
,...,
},E={
,
,...,
}.其生成树
=(V,
),其中
={
,
,...,
},且
为联通无环图。
不失一般性,令为一棵最小生成树,其起始节点为
,与
连接边最短的节点为
,对应边为
.假设删除边
,将
和
融合为一个新的节点
,融合后的树为
,现证
是其所包括节点的最小生成树。反证法:如果
不是所包括节点的最小生成树,则势必存在生成树
使得
,与上述
为一棵最小生成树矛盾。