【模板】差分约束算法（两种方法）