5.5.4 约束条件求解