关于差分约束的一点点点点思考