为何要非负

Dijkstra 要求边权非负。它一旦“确定”某点就不再修改，靠的是“当前最近的点距离不会再被更短路径刷新”。若存在负权边，后面可能绕一条负边得到更短路，之前确定的结论就错了。