9.3 有约束最优化问题