1. 程式人生 > >最小生成樹的prim演算法貪心正確性的證明

最小生成樹的prim演算法貪心正確性的證明

首先,一定有一個最優解包含了權值最小的邊e_1(prim的第一步),因為如果不是這樣,那麼最優的解不包含e_1,把e_1加進去會形成一個環,任意去掉環裡比e_1權值大的一條邊,這樣就構造了更優的一個解,矛盾
用歸納法,假設prim的前k步選出來的邊e_1,…, e_k是最優解的一部分,用類似的方法證明prim的方法選出的e_k+1 一定也能構造出最優解。