5.1 约束条件