这几天复习数据结构，发现在复习Prim算法时，有点迷惑：对于已经松弛好的路径<u,v>，长度为a，是否存在另一个新的顶点（暂时定为x），使得源点u通过连接这个顶点x，再通过x连接v而使得u到v的路径长度缩短到b，即b<a.
这里给出我自己的思考过程，先给出答案：不存在！可利用反证法证明：

假设存在x使得： light(<u,v>)   大于  light(<u,x>)+light(<x,v>)，其中:

	light(<u,v>)=a
	
	light(<u,x>)+light(<x,v>)=b

即(注意图中连线并不代表直接相连，而是代表两点之间的路径)
a>b,即a>(m+n=b),也就是说m,n一定要小于a才行，可问题是，如果m<a,那么按照prim算法扩展新边时，应该是至少也要选择x并入到V，而不是v并入到V，所以m不可能比a小，假设不成立，证毕。