13约束最优化条件KTT