4.1 约束条件