12.7 约束优化