Prim算法

最优子结构：
不失一般性，现有一无向图G，其最小生成树为T，指定的初始节点为v1，与v1节点相连的并且权值最小的节点为v2，v1与v2相连的边为e12。现将v1与v2两个点合并生成了新的节点v3，删除了边e12 ,然后将同时和v1和v2相连的节点中权值最小的边与节点v3相连，生成了新的图G‘和T’。
现要证明：图G的最小生成树T包含了图G’的最小生成树T’。假设T’不是G’的最小生成树，存在T1不属于T，T1为G’的最小生成树。现将v3节点分解恢复为节点v1和v2，则得到图G的最小生成树T’’。则有W(T’’)=W(T1)+w(e12)<W(T’)+w(e12)=W(T),得W(T’‘)<W(T),这并不符合T为图G的最小生成树，与之矛盾，假设不成立，算法正确性得证。