普里姆算法

初始为：

Vnew = {x}，x为集合的任意点；

Enew = {}为空；

Vnew = V； 权值最小的（u，v）其中u属于Vnew中的元素，v不属于Vnew,且v属于V把v加入到Vnew，把（u，v）加入到Enew中； 求证： Vnew、Enew生成最小生成树。

反证法：假设不能生成最小树。

设生成树为X0，

设存在Gmin小于X0，则Gmin有（u，v）存在，而（u，v）不在X0中。

将（u，v）加入X0中，且（u，v）不是X0中所有点连起来的最长边，

（u，v）属于Gmin 这与每次生成最短边相矛盾，所以假设不成立。

转载于:https://my.oschina.net/quantou/blog/738066