12.5 有约束最小化