Mtodo Simplex

Investigacin de operaciones 1 Clase 9

Tablero simplex
(clase pasada) Problema de la Wyndor en forma cannica:
Fila 0 z 1 2 3 var. bsica - 3x1 - 5x2 = 0 z=0 x1 + s1 = 4 s1=4 2x2 + s2 = 12 s2=12 3x1 + 2x2 + s3 = 18 s3=18

Tablero simplex
Registra la informacin esencial:
coeficientes Var. bsica z 0 s1 s2 s3 lado derecho 0 4 12 18

Iteracin

Ecuacin Z 0 1 2 3 1 0 0 0

x1 -3 1 0 3

x2 -5 0 2 2

s1 0 1 0 0

s2 0 0 1 0

s3 0 0 0 1

Tablero simplex
Registra la informacin esencial: 1.Los coeficientes de costo: Cj 2.Los coeficientes tecnolgicos: aij 3.Los trminos independientes o coeficientes del lado derecho de las ecuaciones: bi 4.La variable bsica que aparece en cada ecuacin

Tablero simplex
Iteracin 0 Var. bsica z s1 s2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 coeficientes lado x1 x2 s1 s2 s3 derecho -3 -5 0 0 0 0 1 0 1 0 0 4 0 2 0 1 0 12 3 2 0 0 1 18

Contiene matriz identidad mxm correspondiente a las variables bsicas

Tablero simplex
Iteracin 0 Var. bsica z s1 s2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 coeficientes lado x1 x2 s1 s2 s3 derecho -3 -5 0 0 0 0 1 0 1 0 0 4 0 2 0 1 0 12 3 2 0 0 1 18

Contiene matriz identidad extendida m+1xm+1 correspondiente a las variables bsicas ms la funcin objetivo en el rengln cero

Cmo se aplica el Simplex?

1. Llevar el problema a la forma estndar, introduciendo variables de holgura y exceso 2. Encontrar una SBF inicial
Iteracin 0 Var. bsica z s1 s2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 coeficientes lado x1 x2 s1 s2 s3 derecho -3 -5 0 0 0 0 1 0 1 0 0 4 0 2 0 1 0 12 3 2 0 0 1 18

SBF inicial problema Wyndor

Simplex (continuacin)
3. Realizar prueba de optimalidad de SBF actual

la

Hay coeficientes negativos en el rengln cero Eso indica que se puede entrar una variable no bsica a la base y aumentar el valor del objetivo (max z)

4. Encontrar la variable que entra a la base

Variable con mayor valor absoluto del coeficiente de costo en rengln cero La columna correspondiente a dicha variable es la columna pivote

Simplex
Paso 4: x2 entra a la base
Iteracin 0 Var. bsica z s1 s2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 lado coeficientes x1 x2 s1 s2 s3 derecho -3 -5 0 0 0 0 1 0 1 0 0 4 0 2 0 1 0 12 3 2 0 0 1 18

Determinar la variable que sale de la base por medio de la prueba del cociente mnimo

Prueba del cociente mnimo

i. Elegir coeficientes de la columna pivote estrictamente positivos. ii.Dividir cada elemento del lado derecho por el coeficiente de la columna pivote. iii.Identificar el rengln que tiene la menor de estas razones. iv.La variable bsica que sale de la base es la variable bsica de este rengln: Fila Pivote

Simplex
Paso 5: sale s2, fila 2.
Iteracin 0 Var. bsica z s1 s2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 coeficientes lado x1 x2 s1 s2 s3 derecho razn -3 -5 0 0 0 0 1 0 1 0 0 4 --0 2 0 1 0 12 6 3 2 0 0 1 18 9

Pivote

6.Recalcular el valor de las variables bsicas

Realizar operaciones de fila para que haya un uno en la posicin del pivote y cero en los otros elementos de la columna del pivote

Simplex
Del paso 6 se obtiene una nueva base:
Var. bsica z s1 s2 s3 z s1 x2 s3 coeficientes lado x1 x2 s1 s2 s3 razn derecho -3 -5 0 0 0 0 1 0 1 0 0 4 --0 2 0 1 0 12 3 2 0 0 1 18 -3 0 0 5/2 0 30 1 0 1 0 0 4 0 1 0 1/2 0 6 --3 0 0 -1 1 6

Iteracin 0

Ecuacin Z 0 1 1 0 2 0 3 0 0 1 1 0 2 0 3 0

6 9 4 2

SBF actual

Regresar al paso 3: prueba de optimalidad de la SBF actual

Simplex
Iteracin 0 Var. bsica z s1 s2 s3 z s1 x2 s3 z s1 x2 s3 Ecuacin Z 0 1 1 0 2 0 3 0 0 1 1 0 2 0 3 0 0 1 1 0 2 0 3 0 coeficientes lado x1 x2 s1 s2 s3 razn derecho -3 -5 0 0 0 0 1 0 1 0 0 4 --0 2 0 1 0 12 3 2 0 0 1 18 -3 0 0 5/2 0 30 1 0 1 0 0 4 0 1 0 1/2 0 6 --3 0 0 -1 1 6 0 0 0 3/2 1 36 0 0 1 1/3 -1/3 2 0 1 0 1/2 0 6 1 0 0 -1/3 1/3 2

6 9 4 2

Cuntas soluciones bsicas tiene un PL?

De una sbf se pasa a una sbf adyacente que mejore el objetivo:
Un P.E. se visita slo una vez No se examinan ms de:

n = m
soluciones

n! (n-m)!m!

Casos especiales
1. Empate de la variable bsica entrante 2. Empate en la variable de salida (SBF degenerada) 3. No hay variable bsica de salida (Z no acotada) 4. Hay mltiples soluciones ptimas

1. Empate en la variable de entrada

Posibles variables de entrada:
Mejoran el objetivo Tienen coeficiente negativo en rengln cero cj<0 Se elige la de mayor valor absoluto de cj

1. Empate en la variable de entrada

Si dos o ms variables bsicas tienen el mayor |cj|, rompa el empate de manera arbitraria (elija cualquier variable)
Var. bsica z s1 s2 s3 coeficientes lado x1 x2 s1 s2 s3 derecho -3 -3 0 0 0 0 1 0 1 0 0 4 0 2 0 1 0 12 3 2 0 0 1 18

Iteracin 0

Ecuacin Z 0 1 1 0 2 0 3 0

razn

2. Degeneracin
Empate en la variable de salida: Las variables empatadas se hacen cero simultneamente cuando entra una nueva variable a la base
La variable saliente elegida se hace cero cuando sale de la base Quedan variables con valor de cero en la base (variables degeneradas) Las variables bsicas degeneradas obligan a la variable de entrada a tomar valor de cero en iteraciones posteriores Como Z no mejora, el Simplex puede entrar en un ciclo infinito

3.

No hay variable bsica de salida

La variable de entrada puede crecer infinitamente sin que alguna de que las variables bsicas actuales tome valores negativos Prueba del cociente mnimo: todos los coeficientes de la columna del pivote (excluyendo rengln cero) son negativos o iguales a cero

Z no acotada
Maximizar Z = 3X1 + 5X2 Sujeto a X1

x2
10 9 8 7 6 5 4 3 2 1 0

X1 = 4

Regin factible no acotada

1 2 3 4 5 6 7 8 9

x1 10

Iter V.B Ec # 0 Z X3

Coeficientes Z X1 X2 X3 L.D 0 4 Columna pivote

(0) 1 (1) 0

-3 -5 0 1 0 1

Sale?

todos los coeficientes de la columna pivote son negativos o cero

Mltiples soluciones ptimas

Un problema puede tener mltiples soluciones ptimas Si la regin factible es acotada, el problema al menos dos de estas soluciones son puntos extremos En ese caso, todas las soluciones ptimas son una combinacin convexa de dos puntos extremos

Ejemplo Wyndor
Cambiar objetivo a: Z = 3X1 + 2X2
x2 R1 10 9 8 7 (0,6) 6 5 4 3 2 1 0 1 2 3 4 5 6 R3 7 8 9 10 x1 R2

(2,6)

(4,3)

Infinitas soluciones (x1, x2): (x1, x2)=w1(2,6)+w2(4,3) w1+w2=1 w1>=0, w2>=0

Soluciones mltiples
Simplex siempre encuentra una de las soluciones en punto extremo y se detiene
Pero las otras soluciones pueden ser tiles

Cmo detectar si existen otras soluciones distintas a la SBF ptima?

Soluciones mltiples
Siempre que un problema tiene ms de una SBF ptima, al menos una variable no bsica tiene coeficiente de cero en el rengln cero
Si dicha variable aumenta de valor, el valor de Z no cambia

Para identificar las otras soluciones ptimas:

Realice ms iteraciones smplex usando alguna de las variables con coeficiente de cero en el objetivo como variable de entrada

Cambiando el objetivo en el ejemplo de la Wyndor

Maximizar Z = 3X1 + 2X2 Sujeto a X1 4 2X2 12 3X1 + 2X2 18

X1 , X2 0

1 Coeficientes Iter V.B Ec # 0 Z (0) Z 1 X1 X2 s1 s2 0 0 s3 0 L.D Razn 0 4

-3 -2

s1 s2 s3

(1) (2) (3)

0 0 0

1 0 3

0 2 2 No

1 0 0

0 1 0

0 0 1

4 12 18

6 Mnimo

Solucin ptima?

2 Coeficientes Iter V.B Ec # 1 Z (0) Z 1 X1 0 X2 s1 s2 -2 3 0 s3 0 L.D Razn 12

s1 s2 s3

(1) (2) (3)

0 0 0

1 0 0

0 2 2 No

1 0 -3

0 1 0

0 0 1

4 12 6 6 3 Mnimo

Solucin ptima?

3 Coeficientes Iter V.B Ec # 1 Z (0) Z 1 x1 0 x2 0 s1 s2 0 0 s3 1 L.D Razn 18

X1 s2 X2

(1) (2) (3)

0 0 0

1 0 0

0 0 1 Si

1 3

0 1

0 -1

4 6

4 2

-3/2 0

1/2 3 Mnimo

Solucin ptima?

Mltiples soluciones
SBF actual es ptima pero s1 es una variable no bsica con coeficiente de cero en el objetivo Hay al menos otra solucin ptima en un punto extremo Hay infinitas soluciones ptimas que son una combinacin convexa de dos soluciones ptimas en punto extremo

4 Coeficientes Iter V.B Ec # 1 Z (0) Z 1 X1 0 X2 s1 s2 0 0 0 s3 1 L.D Razn 18

X1 s1 X2

(1) (2) (3)

0 0 0

1 0 0

0 0 1 Si

0 -1/3 1/3 2 1 0 1/3 -1/3 2 1/2 0 6

Solucin ptima?