spfa扩展——负环与差分约束