# Condiciones de Karush-Kuhn-Tucker

Las condiciones de Karush-Kuhn-Tucker (también conocidas como las condiciones KKT o Kuhn-Tucker) son requerimientos necesarios y suficientes para que la solución de un problema de programación matemática sea óptima. Es una generalización del método de los multiplicadores de Lagrange.

## Problema general de optimización

Consideremos el siguiente problema general:
    ${\text{min }}\;f(x)$
    ${\text{sujeto a }}\$
       $\ g_{i}(x)\leq 0\$, $\ i=1,\ldots ,m$
       $\ h_{j}(x)=0\$, $\ j=1,\ldots ,l$
donde $f(x)$ es la función objetivo a minimizar, $g_{i}(x)$ son las restricciones de desigualdad y $h_{j}(x)$ son las restricciones de igualdad, con $m$ y $l$ el número de restricciones de desigualdad e igualdad, respectivamente.
Las condiciones necesarias para problemas con restricciones de desigualdad fueron publicadas por primera vez en la tesis de máster de W. Karush, aunque fueron renombradas tras un artículo en una conferencia de Harold W. Kuhn y Albert W. Tucker.

## Condiciones necesarias de primer orden

Supongamos que la función objetivo, por ejemplo, a minimizar, es $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y las funciones de restricción son $g_{i}:\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y $h_{j}:\,\!\mathbb {R} ^{n}\rightarrow \mathbb {R}$. Entonces, supongamos que son continuamente diferenciables en el punto $x^{*}$. Si $x^{*}$ es un mínimo local, entonces existen constantes $\lambda \geq 0$, $\mu _{i}\geq 0\ (i=1,\ldots ,m)$ y $\nu _{j}\ (j=1,...,l)$ no todas nulas tales que:
    $\lambda +\sum _{i=1}^{m}\mu _{i}+\sum _{j=1}^{l}|\nu _{j}|>0,$
    $\lambda \nabla f(x^{*})+\sum _{i=1}^{m}\mu _{i}\nabla g_{i}(x^{*})+\sum _{j=1}^{l}\nu _{j}\nabla h_{j}(x^{*})=0,$
    $\mu _{i}g_{i}(x^{*})=0\;{\mbox{para todo}}\;i=1,\ldots ,m.$

## Condiciones de regularidad (o cualificación de las restricciones)

En la condición necesaria anterior, el multiplicador dual $\lambda$ puede ser igual a cero. Este caso se denomina degenerado o anormal. La condición necesaria no tiene en cuenta las propiedades de la función sino la geometría de las restricciones.
Existen una serie de condiciones de regularidad que aseguran que la solución no es degenerada (es decir $\lambda \neq 0$). Estas incluyen:
* Cualificación de la restricción de independencia lineal (CRIL): los gradientes de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad son linealmente independientes en $x^{*}$.
* Cualificación de la restricción de Mangasarian-Fromowitz (CRMF): los gradientes de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad son linealmente independientes positivos en $x^{*}$.
* Cualificación de la restricción de rango constante (CRRC): para cada subconjunto de las restricciones activas de desigualdad y los gradientes de las restricciones de igualdad, el rango en el entorno de $x^{*}$ es constante.
* Cualificación de la restricción de dependencia lineal constante positiva (DLCP): para cada subconjunto de restricciones activas de desigualdad y de gradientes de las restricciones de igualdad, si es linealmente dependiente positivo en $x^{*}$ entonces es linealmente dependiente positivo en el entorno de $x^{*}$. ($\{v_{1},\ldots ,v_{n}\}$ es linealmente dependiente positivo si existe $a_{1}\geq 0,\ldots ,a_{n}\geq 0$ distintos de cero tal que $a_{1}v_{1}+\cdots +a_{n}v_{n}=0$)
* Condición de Slater: para un problema únicamente con restricciones de desigualdad, existe un punto $x$ tal que $g_{i}(x)<0$ para todo $i=1,\ldots ,m$
Puede verse que CRIL=>CRMF=>DLCP, CRIL=>CRRC=>DLCP, aunque CRMF no es equivalente a CRRC. En la práctica, se prefiere cualificación de restricciones más débiles ya que proporcionan condiciones de optimalidad más fuertes.

## Condiciones suficientes

Sean $f:\mathbb {R} ^{n}\rightarrow \mathbb {R}$, $g_{i}:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ convexa, $h_{j}:\mathbb {R} ^{n}\rightarrow \mathbb {R}$ y un punto $x^{*}\in \mathbb {R} ^{n}$. Si existen constantes $\mu _{i}\geq 0\ (i=1,\ldots ,m)$ y $\nu _{j}\ (j=1,\ldots ,l)$ tales que
    $\nabla f(x^{*})+\sum _{i=1}^{m}\mu _{i}\nabla g_{i}(x^{*})+\sum _{j=1}^{l}\nu _{j}\nabla h_{j}(x^{*})=0$
    $\mu _{i}g_{i}(x^{*})=0\;{\mbox{para todo}}\;i=1,\ldots ,m,$
entonces el punto $x^{*}$ es un mínimo global.