算法学习:图论之SPFA算法,Bellman-Ford与差分约束系统