Prim最优子结构性质

（最优子结构性质）
不失一般性，令无向图$G=（V,E）$的某棵最小生成树$T=（V,E^{\prime }）$中，其中最短的一条边$e_{uv}$对应的一对节点为$u$和$v$。现将图$G$中的节点$u$和$v$缩成一个节点$uv$，生成图$G^{\prime }$，则边$e_{uv}$是节点$uv$到自身的环。在$G^{\prime }$中令该树为$T^{\prime }=（V,E^{\prime \prime }）$,现需证明$T^{\prime }$为$G^{\prime }$最小生成树。
反证法：假设$G^{\prime }$的最小生成树不是$T^{\prime }$,则存在$G^{\prime }$的另外一棵生成树$T^{\prime \prime }$，使得$w(T^{\prime \prime })<w(T^{\prime })$。现将节点$u$和$v$展开获得$G$的一棵生成树$T^{\prime \prime \prime }$，$G$中的生成树$T$和$T^{\prime \prime \prime }$比$G^{\prime }$中的生成树$T^{\prime }$和$T^{\prime \prime }$多了一条边$e_{uv}$，
$$w(T^{\prime \prime \prime })=w(T^{\prime \prime })+w(e_{uv})<w(T^{\prime })+w(e_{uv})=w(T),$$
这与$T$是无向图$G$中的最小生成树矛盾。