5.3.2 约束问题的最优性条件