Prim 算法及其高效实现

背景
最小生成树（Minimum Spanning Trees），简称MST。是图论中一个非常重要的概念。解决这个问题有两种算法，今天暂且先来讨论一下Prim Algorithm。不做特别说明，讨论的都是无向图。
首先介绍一下最小生成树的概念，我们知道，图可以这样定义 G=(V,E) ，其中 G 表示图，V 表示顶点集合，E 表示边集合。最小生成树是这样一棵树，它满足：



通俗地讲，就是使得图GG连通时，所选取的边的长度的和最小。



如上图，加粗的路径就是在最小生成树上的路径。
算法讲解：
现在，我们开始讨论Prim Algorithm。这个算法可以分为下面几个步骤：
将顶点集 V 分成两个集合 A 和 B，其中集合 A 表示目前已经在MST中的顶点，而集合 B 则表示目前不在 MST 中的顶点。
寻找与集合 A 连通的最短的边 (u,v)，将这条边加入最小生成树中。（此时,与(u,v) 相连的顶点，不妨设为 Bi，也应加入集合 A 中）重复第二步，直至集合 B 为空集。
算法的大体思想就是这样了。为了方便理解，我们先来看一下下面一张图片：



对照上面的图片，想必对于Prim Algorithm也有了一定的理解。
下面我们来设计算法，显然，我们需要遍历集合 A 中所有顶点及与之相连的边，取连接到集合B的权值最小的边，加入最小生成树。这样一来，复杂度将达到 O(n3)。
我们可以对这个想法进行优化。我们维护一 pCost[i] 数组，用来表示从集合A到与之相邻的节点的最小费用。这样，我们只要每次取这个数组中的最小值，把它在集合B中所对应的结点Vi加入到集合A中。
每次加入结束以后，都要更新pCost[i]数组。即枚举所有与结点Vi相连的边，判断是否比pCost[i]数组中的最小费用小，如果比它小，则更新。这样可以将算法优化到O(n2)。
代码如下：
#include <iostream>#include <memory.h> #include <vector>
using namespace std;
const int MAX = 1024;const int INF = 2147483647; // 设置最大权值 
int N, M;vector<pair<int, int> > pMap[MAX]; // 邻接表 
void Prim();
int main(){ cin >> N >> M; for(int i = 1; i <= M; i++) { int u, v, w; cin >> u >> v >> w; pMap[u].push_back(make_pair(v, w)); pMap[v].push_back(make_pair(u, w)); } Prim(); return 0;}
void Prim(){ int nCost = 0; vector<int> pMST; // 储存MST的结点  int pCost[MAX]; // 储存与集合A相邻的顶点的最小权值，0表示该结点已经在MST中 pMST.push_back(1); // 将结点1加入MST pCost[1] = 0; for(int i = 2; i <= N; i++) // 初始化，切记要将除1以外的都置为INF { pCost[i] = INF; } for(int i = 0; i < pMap[1].size(); i++) // 处理与结点1相连的顶点 { pCost[pMap[1][i].first] = pMap[1][i].second; } for(int i = 1; i <= N - 1; i++) // 剩余N-1个顶点，循环N-1次 { int nVertex = 0, nWeight = INF; // 用于寻找最短的边 for(int j = 1; j <= N; j++) { if(nWeight > pCost[j] && pCost[j] != 0) { nVertex = j; nWeight = pCost[j]; } }
pCost[nVertex] = 0; pMST.push_back(nVertex); // 将节点nVertex加入MST
nCost += nWeight; // 计算MST的费用
for(int j = 0; j < pMap[nVertex].size(); j++) // 更新pCost数组 { if(pCost[pMap[nVertex][j].first] != 0 &&  pCost[pMap[nVertex][j].first] > pMap[nVertex][j].second) { pCost[pMap[nVertex][j].first] = pMap[nVertex][j].second; } } } cout << "MST Cost is " << nCost << endl; cout << "The vertexs in MST are "; for(int i = 0; i < pMST.size(); i++) { cout << pMST[i] << " "; }  cout << endl;}
转自：ivy-endhttp://www.ivy-end.com/archives/943