Se define como caso particular de la programación diferenciable con restricciones de desigualdad, cuando todas las funciones que intervienen son funciones lineales.
Distinguiremos dos tipos de enunciado del problema lineal, según se trate de maximizar o de minimizar (Formulación canónica)
Observemos que en los problemas de maximizar, las restricciones normalmente serán de la forma ≤ y en los de minimizar, de la forma ≥ . La explicación es inmediata: en los problemas de maximizar, beneficios por ejemplo, las restricciones serán del tipo ≤ pues reflejarán limitaciones (capacidad de trabajo limitada, capital inicial limitado, número de recursos limitado, etc...) y en los problemas de minimizar, costes por ejemplo, las restricciones serán del tipo ≥ pues reflejarán requerimientos (necesidad de abastecer un determinado número de clientes, necesidad de utilizar un determinado número de recursos, etc...)
Observemos que si deseamos aplicar las condiciones de Kuhn-Tucker a un problema lineal de maximizar, como las restricciones son ≤ corresponden al planteamiento que hemos hecho al hablar del problema con restricciones de desigualdad y en el óptimo los multiplicadores de K-T serán λi ≥ 0 ∀i. Si en cambio, deseamos aplicar las condiciones de K-T a un problema lineal de minimizar, en vez de multiplicar todas las restricciones por -1 para cambiar su sentido, podemos no hacerlo, sabiendo que en el óptimo los multiplicadores aparecerán con signo cambiado, es decir positivos λi ≥ 0 ∀i, en vez de negativos λi ≤ 0 ∀i. Por tanto:
(siendo )
Si uno de los dos programas lineales en dualidad posee un óptimo finito, también lo tiene el otro programa y ambos valores óptimos coinciden.
Se puede comprobar que la formulación de las condiciones de Kuhn-Tucker coincide para ambos problemas primal y dual, resultando además que los multiplicadores de K-T asociados al punto óptimo del problema primal son justamente los valores de las variables no negativas del optimo del problema dual y viceversa.
Aquí se manifiesta la conveniencia de que en programación lineal, los multiplicadores de K-T se consideren siempre no negativos en el óptimo
Cuando el número de variables es más elevado que el de restricciones, resulta cómodo resolver el problema dual y, mediante los multiplicadores, deducir la solución óptima del problema primal.
(P) (D)
Es más cómodo resolver (D) porque tiene únicamente dos variables.
Puesto que , el posible punto óptimo será el vértice (1,1).
Nótese que el dominio no es compacto y que, por tanto, no puede aplicarse el teorema de Weierstrass. Sin embargo, es posible aplicar las condiciones de K-T al punto (1,1). Los multiplicadores obtenidos son los siguientes:
Así pues, se verifica que el punto (1,1) es mínimo global de (D). Además, podemos deducir que el punto óptimo del problema primal es (15,0,10) y que el valor máximo es 70, que coincide con el valor mínimo del problema dual.