Prim算法正确性

prim算法正确性证明：

证明：令无向图为$G=(\mathbf{V},\mathbf{E})$,其中 V = { v 1 , v 2 , … , v n } \mathbf{V} = \{v_1,v_2,\dots,v_n\} V={v1​,v2​,…,vn​}, E = { e 1 , e 2 , … , e m } \mathbf{E} =\{e_1,e_2,\dots,e_m\} E={e1​,e2​,…,em​},其生成树为$G^{\prime }=(\mathbf{V},{\mathbf{E}}^{\prime })$,其中 E ′ = { e t 1 , e t 2 , … , e t n − 1 } \mathbf{E}'=\{e_{t_1},e_{t_2},\dots,e_{t_{n-1}}\} E′={et1​​,et2​​,…,etn−1​​},且$G^{\prime }$ 为连通无环图。
（贪心选择性质）
不失一般性，令起始点为$v_1$ ,贪心选择策略是找到与$v_1$连接边最短的节点，以及相应的边的点记为$v_a$,相应的边为$e_b=(v_1,v_a)$,现证明$e_b$包括在某个最优解中。
令$G^{\prime }$为一棵最小生成树，若$e_b$已经在最小生成子树中，则证明了贪心选择性质。若其中不包括$e_b$,则将$e_b$加入$G^{\prime }$中，将形成一个环，不考虑该环之外的节点，每个节点的度刚好为2，令该环中与$v_1$相关的另一条边为$e_c$，则删除$e_c$后，获得另一棵生成树$G^{\prime \prime }$，由于$w(e_b)\le w(e_c)$，$G^{\prime \prime }$也一定为一棵最小生成树。
（最优子结构性质）
不失一般性, 令某棵最小生成树$T_1$中, 权值最小的边$e_1$连接的两个节点设为$v_a$和$v_b$，在原图$G$中去除边$e_1$，合并$v_a$和$v_b$，令 V ′ = { v 1 , v 2 , … , v n − 1 } \mathbf{V'}=\{v_1,v_2,\dots,v_{n-1}\} V′={v1​,v2​,…,vn−1​}，将节点$v_a$和$v_b$合并后节点设为$v_c$，对于$G$中同时和$v_a$和$v_b$相连的边，选择其中权值最小的边与合并的$v_c$相连，得到新的子图$G^{\prime }$，现需证明$G$的最小生成树$T_1$包含图$G^{\prime }$的生成树$T_1^{\prime }$是图$G^{\prime }$的最小生成树。
假设$G^{\prime }$的最小生成子树不是$T_1^{\prime }$，则存在另外一棵生成树$T_1^{\prime \prime }$。即$W(T_1^{\prime \prime })<W(T_1^{\prime })$，将$T_2$的点$v_c$分裂成点$v_1$和$v_2$ ，以边$e_1=(v_1,v_2)$相连，则得到图$G$的一棵生成树$T^{\prime }$，有
$W(T^{\prime })=W(T_1^{\prime \prime })+w(e_1)<W(T_1^{\prime })+w(e_1)$
这与假设中的$T_1$为最优最小生成树矛盾。