Dijkstra 更新最短路数量时,要确保更新形如 A+B→CA + B \rightarrow CA+B→C 时,AAA 和 BBB 都是最短的。换句话说,vis[a] && vis[b]。
vis[a] && vis[b]
有弱智数据 A=BA = BA=B。