难的是要在约束条件下解决 ​​​