Dijkstra算法为什么权值不能是负值

Dijkstra算法当中将节点分为已求得最短路径的集合（记为S）和未确定最短路径的个集合（记为U），
归入S集合的节点的最短路径及其长度不再变更，如果边上的权值允许为负值，那么有可能出现当与S
内某点（记为a）以负边相连的点（记为b）确定其最短路径时，它的最短路径长度加上这条负边的权值
结果小于a原先确定的最短路径长度，而此时a在Dijkstra算法下是无法更新的，由此便可能得不到正确的结果。
求带负权值边的单源最短路径可以用贝尔曼-福特算法。