5.4 带约束问题