24.4 差分对约束