库恩一塔克尔定理

库恩一塔克尔定理(Kuhn-Tucker theorem)数学规划的基本定理.它本质上是凸数学规划的拉格朗日乘子的存在定理(参见“对偶理论”)。一般的数学规划著作中的对于光滑函数的库恩一塔克尔定理，其实是利用原规划在局部有解的必要条件等价于一个由函数导数形成的线性规划的解，再由此而导出的.例如对于对偶理论中的连续凸数学规划的库恩-塔克尔定理的次微分形式为:当斯莱特条件满足时x为问题的解的充分必要条件为:存在几，，几:，)。