负环与差分约束系统