有什么说法吗/yun 咋证明啊

大概就是用无负权边的建图，然后跑 dij 但是每个点可以更新多次，并且只在队首=当前dis的时候更新。