若不存在负环，则spfa算法所得的路径长度不超过n，这是因为中间那段去掉不会更劣，那么我有一个不成熟的考虑，这样零环有无可能被判为负环呢？