TEORIA DE LA DUALIDAD

Asociado a un problema de programacin lineal, denominado tambin primal, se tiene un segundo problema al que se denomina dual. El primal y el dual poseen propiedades relacionadas de tal forma que la solucin ptima a un problema proporciona informacin completa sobre la solucin ptima del otro.

FORMA CANONICA DE DUALIDAD

Problema Primal max Z = CX Sa: AX < b X>0

Problema Dual min W = btU Sa: AtU > C U>0

CARACTERSTICAS a) A cada restriccin del primal le corresponde una variable dual.

b) Un problema es de maximizacin y el otro de minimizacin.

c) Los coeficientes del lado derecho de las restricciones, son los coeficientes de la funcin objetivo del otro problema.

Sea el siguiente problema:

PRIMAL max Z = 4X1 + 5X2 Sa: X1 + 3X2 < 8 Variable Dual U1 DUAL min W = 8U1 + 10U2 Sa: Variable Dual X1 U1 + 2U2 > 4

2X1 + X2 < 10
X1, X2 > 0

U2

3U1 + U2 > 5
U1, U2 > 0

X2

El dual del dual es el primal.

FORMA ESTANDAR DE DUALIDAD

La definicin de esta forma es:

PRIMAL max Z = CX

DUAL min W = btU

Sa:
AX = b X>0

Sa:
AtU < C U>0 W no restringida

TABLA PARA OBTENER EL DUAL DE CUALQUIER PROGRAMA LINEAL MINIMIZACIN MAXIMIZACIN

VARIABLES
> < < >

RESTRICCIONES

no restringido
RESTRICCIONES > < =

=
VARIABLES < > no restringido

Ejemplo:

max Z = 3X1 - 8X2

Sa: X1 - 2X2 < 6 Variable Dual U1

4X1 + 3X2 = 34
X1> 0, X2 < 0

U2

Aplicando los resultados, de la tabla se obtiene el dual: min 6U1 + 34U2 Sa:

U1 + 4U2 > 3
-2U1 + 3U2 < -8 U1< 0, U2 no restringida

RELACIONES ENTRE EL PRIMAL Y EL DUAL

Teorema

Si X es una solucin bsica factible (SBF) al primal y U una SBF al dual entonces CX > btU.
Sea el primal: Sea el dual:

max Z = CX
Sa: AX < b ...(1) X>0

min W = btU
Sa: AtU > Ct ...(2) U>0

Ut(1)
UtAX < Utb UtAX < btU Por consiguiente: Z < UtAX < W

Xt(2)
X tA tU > X t C t UtAX > CX

De este teorema se concluye que: El valor de Z, en la maximizacin para alguna SBF es la cota inferior al mnimo de su dual.

Teorema de la Dualidad Este teorema esta basado en las condiciones de optimalidad de KUHN-TUCKER y su desarrollo requiere del uso del teorema de FARKAS-MINKOWSKI. Con respecto a los problemas de programacin lineal, primario y dual, exactamente una de las proposiciones es cierta. 1. Ambos problemas tiene soluciones ptimas X y U con CX = btU. 2. Uno de los problemas tiene valor objetivo no acotado, en cuyo caso el otro debe ser no factible. 3. Ambos problemas son no factibles.

HOLGURA COMPLEMENTARIA De: CX < UtAX < btU

Sea X y Y soluciones para los problemas primal y dual respectivamente, entonces X y Y son ptimas si:
(YA C)X + Y (b AX) = 0

Sea la siguiente forma: PRIMAL max Z = CX Sa: AX < b DUAL min W = btU Sa: AtU > Ct

Si las holguras para el primal y dual son respectivamente Xh y Uh, se tiene:

PRIMAL AX + Xh = b ...(1) DUAL At U - Uh = Ct (2)

Ut(1):
Ut AX + Ut Xh = Utb Ut AX + Ut Xh = bt U ...(3)

Xt(2):
X tA t U X t U h = X tC t Ut AX Xt Uh = CX (4)

Para la solucin del problema se tiene de (3) y (4):

bt U = CX

U tAX + U t Xh = U tAX X t Uh
U t Xh + X t Uh = O U t(b AX ) + Y t (At U Ct) = 0

Donde U y X son > 0, por consiguiente:

U t(b AX ) = Y t (At U - Ct) = 0

Ejemplo:

PRIMAL
max Z = 10X1 + 8X2

DUAL
min W = 20U1 + 28U2

Sa:

Variable Dual
U1 U2

Sa:

Variable Dual
X1 X2

2X1 + 2X2 < 20 4X1 + 2X2 < 28 X1, X2 > 0

2U1 + 4U2 > 10 2U1 + 2U2 > 8 U1, U2 > 0

Si X1 = 4 y X2 = 6, se pide la solucin dual.

Aplicando el teorema de holgura complementaria a los programas en su forma estndar se tiene:

Forma Estandar del Primal 2X1 + 2X2 + X3 = 20 4X1 + 2X2 + X4 = 28 Calculo de X3 y X4 : 2X1 + 2X2 + X3 = 20; 4X1 + 2X2 + X4 = 28; X3 = 0 X4 = 0 X 3U1 = 0 X 4U2 = 0

Forma Estandar del Dual

2U1 + 4U2 + U3 = 10
2U1 + 2U2 + U4 = 8 Calculo de U3 y U4 : 2U1 + 4U2 + U3 = 10; 2U1 + 2U2 + U4 = 8; U3X1= 0 U4X2= 0 U3 = 0 U4 = 0

Reemplazando se tiene:

2U1 + 4U2 = 10
2U1 + 2U2 = 8

U1 = 3; U2 = 1

INTERPRETACIN ECONOMICA DEL DUAL De los siguientes problemas: PRIMAL DUAL

min Z = CX
Sa: AX > b

max W = Ub
Sa: UA < C

X>0
En la solucin (Z = W ) se tiene que: Z = CB B-1b = U b W=Ub de lo cual se sigue que:
Z C B B1 U b

U>0

U representa el incremento del valor objetivo ptimo por unidad de incremento de b.

Si por ejemplo la i-sima restriccin representa el nmero de horas mquina disponible en bi unidades y Cx representa la utilidad, entonces la variable dual asociada Ui representa el incremento de la utilidad por cada hora de incremento de bi siempre que sea posible aumentar el nmero de horas de bi. Ejemplo: Una fbrica pequea de juguetes produce 2 tipos de pelotas. Los recursos disponibles mensualmente son 200 pies2 de cuero y 18 horas mquina. los requerimientos de recursos por cada unidad de los dos tipos de pelotas, as como la ganancia unitaria se muestra en el siguiente cuadro:

PELOTA TIPO

1
2 Disponibilidad

HORAS MAQUINA (por tipo) 0.3 0.2 18

CUERO (pie2/tipo)

GANANCIA (S/./unid.)

2
1 200

200
150

Plantear el problema primal y discutir el significado econmico del programa dual.

Solucin:

Solucin:
Xi = nmero de pelotas de tipo i (i = 1,2) Entonces el programa primal es:

max Z = 200X1 + 150X2

Sa: H-Mquina Cuero 0.3X1 + 0.2X2 < 18 2X1 + X2 < 200 X1, X2 > 0 (1) (2)

La solucin del problema es:

Z = 13500; X1 = 0; X2 = 90

Reemplazando los valores de X1 y X2 en las restricciones se tiene: Precio Dual H-Mquina Cuero 0.3 (0) + 0.2 (90) < 18 2 (0) + 1 (90) < 200 Y1 Y2

Observe que se ha utilizado todas las horas mquina (restriccin limitante) y que hay un excedente de 110 pies2 de cuero (restriccin no limitante). Esto implica que para aumentar la ganancia e necesario aumentar la disponibilidad del recurso 1.

Ahora procederemos a hallar el dual para realizar algunas discusiones:

El programa dual esta dado por:

min W = 18Y1 + 200Y2

Sa:
0.3Y1 + 2Y2 > 200 0.2Y1 + Y2 > 150 Y1, Y2 > 0 (1) (2)

Si se aumenta, por ejemplo, en 2 unidades las horas mquina (recurso limitante) del programa primal, se tiene:

max Z = 200X1 + 150X2

Sa: 0.3X1 + 0.2X2 < 20

2X1 +
Z = 15000;

X2 < 200
X1 = 0; X2 = 100

La solucin del problema es:

Con la solucin de los dos problemas, se puede determinar la variacin de Z por unidad de recurso:

Z 15000 13500 750 Y1 b 20 18

Este valor representa el precio dual del primer recurso, es decir que Z aumentar en 750 unidades si las horas mquina aumentan en 1 hora .

Si ahora aumentamos, por ejemplo, en 2 unidades el recurso cuero, se tiene:

max Z = 200X1 + 150X2

Sa: 0.3X1 + 0.2X2 < 18 2X1 + Z = 13500; X2 < 202 X1 = 0; X2 = 90 La solucin del problema es:

La variacin de Z por unidad del recurso es:

Z 13500 - 13500 0 Y2 b 202 200

Como se sabe el recurso cuero esta en exceso y por consiguiente incrementar este recurso no aporta en nada a la funcin objetivo.

La formulacin estandar y el ltimo tablero del primal es como sigue: Formulacin Estandar: max Z = 200X1 + 150X2 + 0X3 + 0X4 Sa: 0.3X1 + 0.2X2 + X3 2X1 + Z Z X2 X4 1 0 0 X2 = 18 + X4 = 200 X1 25 1.5 25 X2 0 1 0 X3 75 0.5 75 X4 0 0 1 LD 1350 9 191

Como se observa (Z3 - C3) =75 y (Z4 - C4) = 0 [debajo de X3 y X4] son los valores de las variables U1 y U2 respectivamente, esto se explica por lo siguiente:

El tablero puede ser escrito de la siguiente forma:

Z
Z XB 1 0

XB
0 I

XN1
CBB-1N1 CN1 B-1N1

XH
CBB-1I 0 B-1

LD
CBB-1b B-1b

Donde:
XN = (XN1 XH)

XN1 = (Xm+1 Xm+2 ... Xn)

XH = (Xn+1

Xn+2 ... Xn+m)

Como se sabe los coeficientes de XH en la funcin objetivo son iguales a 0 y CBB-1 son los valores de las variables duales.