对于给定的有负权的n点m边无向图G，以及需要判断正确性的最短路径长度数组dis[n]，如何设计算法在O（m）内完成判断