KKT 条件

在最优点处，目标梯度公理库梯度Gradient标量函数微分在内积下对应的向量。不能指向任何可行的一阶下降方向。活跃约束 $f_i(x^{\ast })=0$ 的梯度是边界法向量，乘子把这些法向量与等式约束法向量组合起来，恰好抵消目标梯度；不活跃约束还有余量，不应贡献阻力，所以互补松弛迫使对应乘子为零。约束资格保证这些一阶法向量确实足以描述局部可行几何。

考虑 $\underset{x}{min}(x-a{)}^2$，约束 $x\ge 0$，写作 $f_1(x)=-x\le 0$。KKT 驻点为 $2(x-a)-\lambda =0$，另有 $x\ge 0$、$\lambda \ge 0$、$\lambda x=0$。若 $a>0$，最优点 $x^{\ast }=a$，约束不活跃且 ${\lambda }^{\ast }=0$；若 $a<0$，最优点 $x^{\ast }=0$，约束活跃且 ${\lambda }^{\ast }=-2a>0$。同一问题清楚展示了乘子何时消失、何时承担边界法向力。

约束资格不能删。对 $\underset{x}{min}x$，约束 $x^2\le 0$，唯一可行点 $x^{\ast }=0$ 当然是最优点；但驻点方程要求 $1+\lambda \cdot 2x^{\ast }=0$，即 $1=0$，不存在任何 KKT 乘子。失败原因是活跃约束在原点的梯度为零，无法表达真实可行集。由此不能笼统宣称“KKT 当且仅当最优”。

KKT 条件把Lagrange 对偶公理库拉格朗日对偶Lagrange duality通过拉格朗日函数构造原问题下界的对偶问题，并研究弱对偶、强对偶与最优性条件。的零对偶间隙变成可核验的原始—对偶证书：原始可行、对偶可行与互补松弛共同使两侧目标相等。在线性与二次规划中，它给出活跃集方法和原始—对偶内点法的方程骨架；在支持向量机中，互补松弛区分支持向量与非支持样本。对不可微凸问题，驻点方程需改用次梯度；若定义域边界没有显式列为约束，还应加入相应法锥。