DUALIDAD

Dr. Edmundo Vergara Moreno

TABLA SIMPLEX (Caso canónico)
Max z=cTx Min z’=-cTx+0y
s. a Ax≤b s.a. Ax+y=b
x≥0 x≥0

z x y LD z x y LD
z 1 c 0 0 z 1 cBB-1A+c cBB-1 cBB-1b
xB 0 A I b xB 0 B-1A B-1 B-1b

Sea w = cBB-1 z x y LD
z 1 wA+c w wb
xB 0 B-1A B-1 B-1b
 z x y LD
z 1 wA+c w wb
xB 0 B-1A B-1 B-1b

Condiciones de optimalidad: wA+c≤0, w≤0

El valor de la función objetivo: wb
Puesto que en el óptimo w≤0, y b≥0, wb≤0 
durante el proceso: maximizar wb.

Haciendo y=-w, se tiene el problema:

Min w=yb Min w=bTy Max z=cTx
S. a: yA≥c S. a: ATy≥c s. a: Ax≤b
y≥0, y≥0, x≥0
 Problema Primal Problema Dual
Max z=cTx Min w=bTy
s. a: Ax≤b S. a: ATy≥c
x≥0 y≥0,
Maximización: cTx Minimización: bTy
≤ ≥0
Restricciones
= irrestricta Variables: y
Ax ? b
≥ ≤0
≥0 ≥
Restricciones
Variables: x irrestricta =
ATy ? c
≤0 ≤
Ejemplo
Min 2x1 +3x2-5x3 Max 5y1 +4y2+6y3
s. a: x1+x2-x3+x45 s. a: y1+2y2 2
2x1 + x3 4 y1 + y3 3
x2+x3+x4=6 -y1+y2+y3  -5
x1≤0, x2, x3  0 y1 + y3 =0
x4 irrestricta y1  0, y20
y3 irrestricta
Relaciones primal –dual
Tx Min w=bTy
Caso Canónico: Max z=c
s. a: Ax≤b S. a: ATy≥c
x≥0 y≥0,
Sean x’ factible primal e y’ factible dual 
Ax’≤b y’TAx’≤y’Tb
ATy’≥c x’TATy≥x’Tc bTy

x’Tc ≤ x’TATy= y’TAx’≤y’Tb Optimo

cTx
max x’Tc = min y’Tb
Teorema Fundamental de Dualidad
Dados los problemas primal y dual, exactamente
una de las siguientes proposiciones se cumple:
1. Ambos problemas tienen soluciones óptimas x*
e y*, con cTx*=bTy*.
2. Uno de los problemas tiene valor objetivo no
acotado, en cuyo caso el otro problema es no
factible.
3. Ambos problemas son no factibles.
Factibilidad Primal: Ax≤b, x≥0
Factibilidad Dual: ATy≥c, y≥0
Teorema débil de dualidad: cTx≤yAx≤yb
Teorema Fundamental de dualidad: cTx* = y*Ax* = y*b
Y*(Ax*-b)=0, (c-y*A)x*=0

Teorema de holgura complementaria

Puesto que y*≥0, x* ≥0, Ax*-b≥0 y c-y*A≥0:
Y*(Ax*-b)=0  yj*(aix-bi)=0, i=1,…,m
(c-y*A)x*=0  (cj-y*aj)xj=0, i=1,…,n
Ejemplo:
Resolver (primal)
min 2 x1  3x2  5 x3  2 x4  3x5
s.a. x1  x2  2 x3  x4  3x5  4
2 x1  2 x2  3x3  x4  x5  3 max 4 y1  3 y2
x1 , x2 , x3 , x4 , x5  0 s.a. y1  2 y2  2
y1  2 y2  3
Dual 2 y1  3 y2  5
y1  y2  2
3 y1  y2  3
y1 , y2  0
 Método dual – simplex
Max z=cTx Min z’=-cTx+0y
Método simplex: s. a Ax≤b s.a. Ax+y=b
x≥0 x≥0

z x y LD z x y LD
z 1 c 0 0 z 1 cBB-1A+c cBB-1 cBB-1b
xB 0 A I b xB 0 B-1A B-1 B-1b
Condición de Factibilidad permanente b≥0, B-1b≥0
Condición que se busca: de optimalidad zj-cj≤0
En el problema dual, se busca la factibilidad
dual manteniendo factibilidad primal:
z x y LD
z 1 wA+c w wb
xB 0 B-1A B-1 B-1b

Se puede considerar el proceso inverso del

método simplex en la solución de un problema,
en el que manteniendo la factibilidad dual se
busque la factibilidad primal: El método así
obtenido se denomina método dual simplex.
Algoritmo dual simplex
Considere el problema: Min z=cTx
Suponga que se tiene la s. a Ax=b
tabla con factibilidad dual x≥0
y primal no factible:

1 0 … 0 …0 … j=zj-cj … j=zk-ck … cBb’

xB1 0 1  0  0  y1 j  y1k  b’1
      
x Br 0  1  0 0 yrj  yrk  b’r
0
      
x Bm 0 0  0  1 0 ymj  ymk  b’m
 Pasos del algoritmo dual simplex
1. Empiece con una tabla donde todos los
j = zj - cj ≤ 0 para toda j.
2. Si b’  0 (todas los coeficientes de la última columna
de la tabla simplex son no negativos) , entonces la
tabla actual es óptima. De lo contrario, selecciones
como variable de salida xBr aquella cuyo
correspondiente valor en b’ sea el menor
(naturalmente negativo).
3. La variable xk de entrada será aquella para la cual se
cumple la siguiente regla:  z j  c j 
z k  ck
 Min  / yrj  0
yrk j 1,...,
n  yrj 
4. Actualice la tabla dual simplex de igual manera que
en el algoritmo simplex. Regrese al paso 2.
 Ejemplo:
Primal Dual
Máx z  3 x1  5 x 2
min y 0  6 y1  5 y 2  12 y 3  18 y 4
s.a.  3 x1  2 x 2  6
s.a.  3 y1  y 2  3 y 3  3 y 4  3
 x1  x 2  5
2 y1  y 2  8 y 3  2 y 4  5
 3 x1  8 x 2  12
y1 , y 2 , y 3 , y 4  0
3 x1  2 x 2  18
x1 , x 2  0

y1 = 0, y2 = 0, y3 = 3/10, e y4 =13/10 con costo optimo

dual 27. La solución del problema primal planteado
x1 = 4 y x2 =3