TEOREMA FUNDAMENTAL DE DUALIDAD

Anuncio
TEOREMA FUNDAMENTAL DE DUALIDAD
En un par de problemas primal-dual, si el primal o el dual tienen solución óptima entonces el otro
también, y el valor de la función objetivo optimal es el mismo para ambos.
Demostración:
Sea el primal Min z(x)=Cx
y su dual Max w()=b
s.a.: Ax=b
s.a.: A≤C
x≥0
 SRS
donde A es mxn, supongamos que tiene solución óptima, por lo cual el problema tiene base óptima,
supongamos que la solución básica óptima es XB=(x1,x2,............,xm) y sea B la base asociada a dicha
solución y sea N la matriz de orden mx(n-m) asociada a las variables no básicas XN=(xm+1,.......,xn)
entonces el problema puede ser representado de la siguiente forma en su tabla original:
XB -z
XN
b
B
0
N
b
CB
1
CN
Y su tabla óptima de la siguiente forma:
V.B. XB -z
XB
I
0
0
XN
B-¹N
b
B-¹b
-z
0
1 CN-CB B-¹N
-CB B-¹b
para la obtención de esta tabla óptimas se multiplicó toda la tabla inicial por la matriz:
B-¹
0
pues esta es la inversa de B
0
-CB B-¹ 1
CB 1
ya que esta es una tabla óptima se debe cumplir que:
Cj≥0 para todo j entonces CN-CB B-¹N≥0 entonces, Cj- CB B-¹Aj≥0 para todo j entonces,
CB B-¹Aj≤Cj para todo j con lo cual CB B-¹A≤C, si definimos  como CB B-¹ tendríamos entonces
que A≤C, por lo que se tendría factibilidad dual, además si el primal tiene solución óptima CB B-¹b
por el teorema fuerte de dualidad b= CB B-¹b con lo cual = CB B-¹ es la solución óptima dual.
COROLARIOS:
Si ambos problemas tienen soluciones factibles, entonces ambos tienen soluciones óptimas y el valor de
la función objetivo es el mismo. De aquí se desprenden las condiciones primales duales que son:
Cj = Cj-Aj
Aj = B-¹Aj
b= B-¹b
Es de hacer notar que las columnas de las variables básicas iniciales conforman una matriz identidad,
razón por la cual se encontrará la inversa de base óptima en las columnas asociadas a esas variables en
la tabla optimal..Igualmente si las variables básicas iniciales fueron las variables de holgura, se
encontrará al vector - como los coeficientes de costo de ellas en la tabla optimal, pues los coeficientes
de costo originales de las variables de holgura son cero y si ellas forman parte de la base inicial es
porque tienen como columnas vectores unitarios.
Descargar