优化问题：

其中，

定义：对于一个不等式约束，如果，那么称不等式约束是处起作用的约束。

定义：设满足，设为起作用不等式约束的下标集：

如果向量：是线性无关的，则称是一个正则点。

下面给出某个点是局部极小点的一阶必要条件（即如果是极小点，那么必然满足下列条件），称为KKT条件：

设，设是的一个正则点和局部极小点，使得以下条件成立：

为拉格朗日乘子向量，为KKT乘子向量。