Dijkstra Is NOT Greedy: A Global-to-Local Proof of Correctness

作者：Shengbao Wang · 单位：Hangzhou Normal University · 会议/期刊：arXiv preprint · 方向：cs.DS · 发布日期：2026-10-09