贪心算法的正确性证明

prim算法

设现有一无向连通图$\mathbf{G}=(\mathbf{V},\mathbf{E})$，其中边集 E = { e 1 , e 2 , e 3 , . . . e m } \bm{E}=\{e_1,e_2,e_3,...e_m\} E={e1​,e2​,e3​,...em​}，节点集 V = { v 1 , v 2 , v 3 , . . . v n } \bm{V}=\{v_1,v_2,v_3,...v_n\} V={v1​,v2​,v3​,...vn​}。prim算法目的是要从确定的节点$v_i$出发形成一颗最小生成树，即生成树（无向无环连通图）中所包含的边集权重和最小。
定义 $\mathbf{T}=(\mathbf{V},{\mathbf{E}}^{{}^{\prime }})$为图$\mathbf{G}$从节点$v_1$出发生成的最小生成树，其中最小生成树中的边集合 E = { e a 1 , e a 2 , e a 3 , . . . e a ( n − 1 ) } \bm{E}=\{e_{a1},e_{a2},e_{a3},...e_{a(n-1)}\} E={ea1​,ea2​,ea3​,...ea(n−1)​}

prim算法正确性证明

贪心选择性证明

证明贪心选择性即证明贪心选择的第一步是正确的，换句话说贪心选择的第一步一定包含在某个全局最优解中。
在Prim算法中，由确定的节点$v_1$出发，选择与此节点相连边集中权重最小的边$e_a$。设存在一个最小生成树$\mathbf{T}$且其边集合中不包含边$e_a$，此时把边$e_a$加入此树就会形成环，如果断开树中与$v_1$相连的另外一条边$e_b$，则此时仍然是只有n-1条边的无向连通图，故也是一棵树。由于此时产生的生成树${\mathbf{T}}^{{}^{\prime }}$相较于最优解$\mathbf{T}$只是把边$e_b$替换为了$e_a$，而$e_a$是与$v_1$相连的最小权重边，因此$\mathbf{W}({\mathbf{T}}^{{}^{\prime }})\le \mathbf{W}(\mathbf{T})$，故${\mathbf{T}}^{{}^{\prime }}$也是最小生成树。
综上Prim算法的贪心选择性质得证。

最优子结构性质证明

最优子结构性质是说原问题的最优解中包含子问题的最优解，由于贪心选择算法是一种自底向上的最优选择算法，如果高层问题的最优解不包含底层问题的最优解，那么子问题贪心选择出的最优解是没有意义的。
不失一般性，令$\mathbf{T}=(\mathbf{V},{\mathbf{E}}^{{}^{\prime }})$为图$\mathbf{G}$从节点$v_1$出发生成的最小生成树，令出发节点$v_1$相连的最小边$e_1$的另一端节点为$v_a$，有上一步证明得知边$e_1$在最优解边集$E^{{}^{\prime }}$中。现在将图$\mathbf{G}$和树$\mathbf{T}$中的节点$v_1$和$v_a$融合为一个节点，除去边$e_1$，与融合后节点相连的重复边只保留权值最小的那条边，此时产生子图${\mathbf{G}}_2$和子树${\mathbf{T}}_2$。现需证明子树${\mathbf{T}}_2$为子图${\mathbf{G}}_2$的最小生成树。
假设树${\mathbf{T}}_2$不是图${\mathbf{G}}_2$的最小生成树，而是另一棵树${\mathbf{T}}_2^{{}^{\prime }}$，即$\mathbf{W}({\mathbf{T}}_2^{{}^{\prime }})\le \mathbf{W}({\mathbf{T}}_2)$，此时将融合节点还原为节点$v_1$和$v_a$，并加入边$e_1$得到树${\mathbf{T}}^{{}^{\prime }}$。
此时$\mathbf{W}({\mathbf{T}}^{{}^{\prime }})=W({\mathbf{T}}_2^{{}^{\prime }})+W({\mathbf{e}}_1)\le \mathbf{W}(\mathbf{T})=\mathbf{W}({\mathbf{T}}_2)+\mathbf{W}({\mathbf{e}}_1)$，这与假设矛盾，故树${\mathbf{T}}_2$确是图${\mathbf{G}}_2$的最小生成树。
综上最优子结构性质得证。