萌新刚学最短路，

发现求含负权图的单源最短路一般用 SPFA，

但它容易被卡到 $O(nm)$

所以为什么没有人发明一种更优更稳定的算法呢？