12.5.2 有约束最小化的应用