图论——差分约束