Solucin de Modelos de Programacin Lineal

El Metodo Simplex
Juan Jos Bravo B, M.Sc.

Juan Jos Bravo B., M.Sc.

EL MTODO SIMPLEX Es un mtodo genrico de solucin de problemas lineales, desarrollado por George Dantzig en 1947. Como tal, el mtodo simplex es un procedimiento algebraico, pero puede entenderse ms fcilmente como un mtodo geomtrico. Antes de explicar los aspectos geomtricos del Simplex, veremos el tratamiento que debe hacerse a cualquier modelo de PL antes de aplicar el Mtodo Simplex sobre l para solucionarlo.

Juan Jos Bravo B., M.Sc.

Conversin de modelos de PL a la Forma Estndar

/1

Todo modelo de PL, para efectos de resolverse con el Mtodo Simplex, debe llevarse a una Forma Estndar con las siguientes caractersticas: 1. El lado derecho de las ecuaciones debe ser no-negativo 2. Todas las restricciones deben convertirse a Ecuaciones 3. Todas las variables deben ser no-negativas

EJEMPLO: Maximizar Z = 2x1 + 3x2 + x3

Sujeto a: x1 + x2 + x3 = 10 -2x1 + 3x2 + 2x3 -5 7x1 - 4x2 + 5x3 6

x1 + 4x2 + 3x3 8
x1 no restringida, x2 0, x3 0
Juan Jos Bravo B., M.Sc.

Conversin de modelos de PL a la Forma Estndar

Maximizar Z = 2x1 + 3x2 + x3 Sujeto a: x1 + x2 + x3 = 10 -2x1 + 3x2 + 2x3 -5 7x1 - 4x2 + 5x3 6 Maximizar Z = 2x1 + 3x2 + x3

/2

Sujeto a: x1 + x2 + x3 = 10 2x1 - 3x2 - 2x3 5 7x1 - 4x2 + 5x3 6

x1 + 4x2 + 3x3 8
x1 no restringida, x2 0, x3 0

x1 + 4x2 + 3x3 8
x1 no restringida, x2 0, x3 0

2
Maximizar Z = 2x1 3x2 + x3 Sujeto a: x1 x2 + x3 = 10 2x1 + 3x2 - 2x3 S1 = 5 7x1 + 4x2 + 5x3 + S2 = 6 x1 - 4x2 + 3x3 S3 = 8 Maximizar Z = 2x1 + 3x2 + x3

3a

Sujeto a: x1 + x2 + x3 = 10 2x1 - 3x2 - 2x3 S1 = 5 7x1 - 4x2 + 5x3 + S2 = 6 x1 + 4x2 + 3x3 S3 = 8

x2=-x2

x1 no restringida, x2 0, x3 0, S10, x1 no restringida, x2 0, x3 0, S10, S20, S30 Juan Jos Bravo B., M.Sc. S20, S30

Conversin de modelos de PL a la Forma Estndar

Maximizar Z = 2x1 3x2 + x3 Sujeto a: x1 x2 + x3 = 10 2x1 + 3x2 - 2x3 S1 = 5 7x1 + 4x2 + 5x3 + S2 = 6

/3

3b

x1 - 4x2 + 3x3 S3 = 8
x1 no restringida, x2 0, x3 0, S10, S20, S30

x1= x1 - x1

Maximizar Z = 2x1 2x1 - 3x2 + x3

Forma Estndar donde: S1 y S3 Variables de Exceso

Sujeto a: x1 x1 x2 + x3 = 10

2x1 2x1 + 3x2 - 2x3 S1 = 5

7x1 7x1 + 4x2 + 5x3 + S2 = 6 x1 x1 - 4x2 + 3x3 S3 = 8 x1 0, x1 0, x2 0, x3 0, S10, S20, S30
Juan Jos Bravo B., M.Sc.

S2 Variable de Holgura

Soluciones Bsicas
EJEMPLO: Minimizar Z = -3x1 - 5x2 Sujeto a: x1 4 Forma Estndar Minimizar Z = -3x1 - 5x2 Sujeto a: x1 + S1 = 4 2x2 + S2 = 12 3x1 + 2x2 + S3 = 18 x1 , x2 , S1, S2, S3 0

2x2 12
3x1 + 2x2 18 x1 , x2 0

x1 0 0 0

x2 0 6 9

s1 4 4 4

s2 12 0 -9

s3
El Mtodo Simplex observa el conjunto de ecuaciones resultantes 6 en la forma estndar, y dado que 0 hayan m ecuaciones y n -6 incognitas (en este caso m = 3 y n = 5) le corresponde hacer (n-m) 0 variables iguales a cero para 0 poder tener soluciones consistentes. Las soluciones que 0 logra de esta manera se llaman 6 Juan Jos Bravo B., M.Sc. Soluciones Bsicas.

18

4
2 4

6
6 3

0
2 0

0
0 6

6
4

0
0

-2
0

12
12

Soluciones Bsicas Factibles (SBF)

x1 P1 P2 P3 P4 P5 P6 P7 P8 0 0 0 4 2 4 6 4 x2 0 6 9 6 6 3 0 0 s1 4 4 4 0 2 0 -2 0 s2 12 0 -9 0 0 6 12 12 s3 18 6 0 -6 0 0 0 6 Fact Fact NO NO Fact Fact NO Fact

Los puntos resaltados con verde representan Soluciones Bsicas Factibles ya que cumplen con todas las restricciones. Los dems puntos violan restricciones de no-negatividad. El Mtodo Simplex nicamente considera para su anlisis las SBF. Juan Jos Bravo B., M.Sc.

Las SBF son los vrtices de la Regin Factible y por tanto all estar el ptimo.

Bsqueda Geomtrica del Optimo

Punto Factibles Puntos Adyacente s P2 y P8 P1 y P5 P2 y P6 P5 y P8 P1 y P6 Valor Z en el Punto Z=0 Z = -30 Z = -36 Z = - 27 Z = -12 Valor Z en los Adyacentes

P5 P2

P1 P2

P2 (Z = -30) y P8 (Z = -12) P1 (Z = 0) y P5 (Z = -36) P2 (Z = -30) y P6 (Z = -27) P5 (Z = -36) y P8 (Z = -12) P1 (Z = 0) y P6 (Z = -27)

P6

P5 P6 P8

P8 P1

El Mtodo Simplex inicia explorando uno de los puntos, usualmente el origen (en este caso P1), y saltar a un punto adyacente slo si ste salto mejora el valor de Z.

Si estando en un punto se determina que ninguno de los adyacentes a l mejora el valor de Z, entonces se ha encontrado el ptimo.
En este caso el ptimo es el punto P5, y se encuentra en 3 iteraciones (P1 Juan Jos Bravo B., M.Sc. P2 P5).

Simplex Tabular
Minimizar Z = -3x1 - 5x2 Sujeto a: x1 + S1 = 4 2x2 + S2 = 12 3x1 + 2x2 + S3 = 18 x1 , x2 , S1, S2, S3 0

/1

El Mtodo Simplex inicia en el punto P1, que corresponde a la Tabla 1.

x1 P1
Variables No Bsicas

x2 0

s1 4

s2 12

s3 18

Variables Bsicas
S1 S2 S3 Solucin (R.H.S.)
4 12

Tabla 1
Variables Bsicas
S1 S2

Coeficientes en la Funcin Objetivo (Cj)

0 0

x1

x2

1 0

0 2

1 0

0 1

0 0

S3
Zj - Cj

3
3

2
5

0
0

0
0

1
0

18
0

Coeficientes de Valor Objetivo Juan Jos Bravo B., M.Sc. las restricciones

Simplex Tabular
Ya obtenida la Tabla 1, el Mtodo Simplex se pregunta: La Tabla 1 es ptima? (es decir, el punto P1 es ptimo?).

/2

Para ello observamos el rengln (Zj Cj), que da slo informacion de las Variables No Basicas

Criterio de Parada
Si todos los valores del rengln (Zj Cj) 0 entonces la Tabla es ptima Debe ingresar a la solucin la Variable No Basica que tenga el mayor valor positivo en el rengln (Zj Cj) Para Minimizacin Si un valor del rengln (Zj Cj) es positivo, indica que al darle valores a la variable no basica respectiva, mejora la funcion objetivo. Si un valor del rengln (Zj Cj) es negativo, indica que al darle valores a la variable no basica respectiva empeora la funcion objetivo. Si un valor del rengln (Zj Cj) es cero, indica que al darle valores a la variable no basica respectiva, no hay cambio en la funcion objetivo. Criterio de B., Entrada Juan Jos Bravo M.Sc.

Simplex Tabular
Tabla 1
Variables Bsicas
S1 S2 S3 Zj - Cj

/3

Columna entrante
Coeficientes en la Funcin Objetivo (Cj)
0 0 0

x1

x2

S1

S2

S3

Solucin (R.H.S.)
4 12 18 0

Razn Mnima ()
12/2 = 6 18/2 = 9

1 0 3 3

0 2 2 5

1 0 0 0

0 1 0 0

0 0 1 0

sale S2

Para darle valores a la variable X2 (es decir, volver bsica a X2), debe salir de la solucin actual una de las variables bsicas (es decir, una de ellas deber volverse no basica cero).

Para saber cual variable bsica actual sale, el Criterio de Salida es con base en la Razn Mnima ()
Juan Jos Bravo B., M.Sc.

Se calcula dividiendo el elemento de la columna R.H.S con el elemento de la columna entrante, siempre que el elemento de esta ltima columna sea positivo.

Tabla 1
Variables Bsicas S1 Coeficientes en la Funcin Objetivo (Cj) 0 x1 x2 S1

Simplex Tabular /4
S2 S3 Solucin (R.H.S.) 4

S2
S3 Zj - Cj

0
0

0
3 3

2
2 5

0
0 0

1
0 0

0
1 0

12
18 0

1 0 3 3

4 2 0 1 0 12 2 0 0 1 18 5 0 0 0 0 0 1 0 0

r2 / 2

1 0 3 3

4 r4 -5r2 1 0 1/ 2 0 6 2 0 0 1 18 r3 -2r2 5 0 0 0 0 0 1 0 0

1 0 3 3

4 1 0 1/ 2 0 6 0 0 1 1 6 0 0 5 / 2 0 30 0 1 0 0

Tabla 2
Variables Bsicas S1 Coeficientes en la Funcin Objetivo (Cj) 0 x1 X2 S1 S2 S3 Solucin (R.H.S.) 4

x2
S3 Zj - Cj

-5
0

0
3

1
0

0
0

1/2
-1 -5/2

0
1 0

6
6 -30

3 Bravo 0 0 B., M.Sc. Juan Jos

Tabla 2
Variables Bsicas Coeficientes en la Funcin Objetivo (Cj) x1 X2 S1

Simplex Tabular /5
S2 S3 Solucin (R.H.S.)

Razn
4/1 =4
-

S1
x2

0
-5

1
0

0
1

1
0

0
1/2

0
0

4
6

S3
Zj - Cj

3
3

0
0

0
0

-1
-5/2

1
0

6
-30

6/3 =2

x1 P2
Tabla 3
Variables Bsicas S1 x2 x1

x2 6

s1 4

s2 0
x1

s3 6
X2

Fact
S1 S2 S3 Solucin (R.H.S.) 2 6 2 -36

Coeficientes en la Funcin Objetivo (Cj) 0 -5 -3 Zj - Cj

Tabla OPTIMA

0 0 1 0

0 1 0 0

1 0 0 0

1/3 1/2 -1/3 -3/2

-1/3 0 1-3 -1

x1 P5 2

x2 6

s1 2

s2

s3

0Jos Bravo 0 B., M.Sc. Fact Juan

El Simplex y las Variables Artificiales

Minimizar Z = 4x1 + x2 Sujeto a: 3x1 + x2 = 3 4x1 + 3x2 6 x1 + 2x2 4 x1 , x2 0

/1

Estandarizacion Tradicional

Minimizar Z = 4x1 + x2 Sujeto a: 3x1 + x2 = 3 4x1 + 3x2 S2 = 6 x1 + 2x2 + S3 = 4

x1 , x2,S2, S3 0

Puede Lograrlo con este ejemplo?

En general, las restricciones de = y de generan problemas al Simplex al momento de construir la tabla inicial que arranca el procedimiento. En cambio cuando las restricciones son de El Simplex soluciona estos no existen estos inconvenientes y inconvenientes de arranque creando el metodo puede iniciar sin problemas Variables Artificiales. con las variables de holgura. Juan Jos Bravo B., M.Sc.

Como n=4 y m=3, el Simplex hace n-m variables cero (en este caso una) para crear un sistema de ecuaciones consistente que arroje una Solucion Inicial Inmediata y Factible .

El Simplex y las Variables Artificiales

Min Z = 4x1 + x2 Sujeto a: 3x1 + x2 = 3 4x1 + 3x2 6 x1 + 2x2 4 x1 , x2 0 Min Z = 4x1 + x2 Sujeto a: 3x1 + x2 = 3 4x1 + 3x2 S2 = 6 x1 + 2x2 + S3 = 4 x1 , x2,S2, S3 0 Sujeto a: 3x1 + x2 + R1 = 3

/2

Min Z = 4x1 + x2 + MR1+ MR2

4x1 + 3x2 S2 + R2 = 6

x1 + 2x2 + S3 = 4
x1 , x2, S2, S3, R1, R2 0

La Tabla Simplex Inicial se construye teniendo en cuenta que en el rengln (Zj Cj) las variables bsicas tienen necesariamente valores de cero.

Tenga en cuenta que en la Tabla 1: - Variables No Bsicas: x1, x2, s2

- Variables Bsicas: R1, R2, S3

Juan Jos Bravo B., M.Sc.

Aqu n = 6 y m = 3, siendo (n-m) = 3. Es decir, al hacer 3 variables iguales a cero sale una Solucion Inicial Inmediata Factible. [Puede observar que estas 3 variables no bsicas iniciales deben ser x1, x2, s2].

El Simplex y las Variables Artificiales

De la primera y segunda restriccin:
Min Z = 4x1 + x2 + MR1+ MR2 Sujeto a: 3x1 + x2 + R1 = 3 4x1 + 3x2 S2 + R2 = 6 x1 + 2x2 + S3 = 4 x1 , x2, S2, S3, R1, R2 0

/3

R1 = 3 - 3x1 - x2

R2 = 6 - 4x1 - 3x2 + S2
Transformacin necesaria en la Funcin Objetivo: Min Z = 4x1 + x2 + M(3 - 3x1 - x2) + M(6 - 4x1 - 3x2 + S2) Min Z = (4 - 7M) x1 - (4M - 1)x2 + MS2 + 9M

Tabla 1
Variables Bsicas R1 R2 S3 Zj - Cj Coeficientes en la Funcin Objetivo (Cj) 0 0 0 x1 x2 S2 S3 R1 R2 Solucin (R.H.S.) 3 6 4 9M

3 4 1 - (4-7M)

1 3 2 (4M -1)

0 -1 0 -M

0 0 1 0

1 0 0 0

0 1 0 0

Juan Jos Bravo B., M.Sc.

El Simplex y las Variables Artificiales

Tabla 1
Variables Bsicas R1 R2 S3 Zj - Cj Coeficientes en la Funcin Objetivo (Cj) 0 0 0 x1 x2 S2 S3 R1 R2

/4

Solucin (R.H.S.) 3 6 4 9M

3 4 1 - (4-7M)

1 3 2 (4M -1)

0 -1 0 -M

0 0 1 0

1 0 0 0

0 1 0 0

Tabla 4
Variables Bsicas X1 X2 S2 Zj - Cj Coeficientes en la Funcin Objetivo (Cj) 4 1 0 X1 x2

Tabla OPTIMA
S2 S3 R1 R2 Solucin (R.H.S.) 2/5 9/5 1 17/5

1 0 0 0

0 1 0 0

0 0 1 0

-1/5 3/5 1 -1/5

2/5 -1/5 1 7/5-M

0 0 -1 -M

NOTA: Las variables artificiales siempre deben ser al final No Bsicas, o tener valor de cero, ya que solo fueron creadas para arrancar el procedimiento.
Juan Jos Bravo B., M.Sc.

El Mtodo Simplex _ CASOS ESPECIALES

Problema de mltiples soluciones Maximice Z = (5/2)X1 + X2 Sujeto a: 3X1 + 5X2 15 5X1 + 2X2 10 Xj > 0 ; j = 1, 2 Tabla Final OPTIMA
Variables Bsicas S1 X1 Zj - Cj Coeficientes en la Funcin Objetivo (Cj) 0 5/2 x1 X2 S1 S2 Solucin (R.H.S.) 9 2 5

Observe que una Tabla Optima de MAXIMIZACION tiene todos los valores del rengln (Zj Cj) 0. Es decir, el criterio funciona a la inversa de la Minimizacion.

0 1 0

3.8 0.4 0

1 0 0

-0.6 0.2 0.5

Entonces aqu la variable que entra es la que variable no-bsica que tenga el valor (Zj - Cj) ms negativo. Observe la variable No Bsica x2 con un valor de 0. Si esta variable entra, la funcion objetivo permanece inmodificable.
Puede encontrarse otra solucin Juan Jos Bravo B., M.Sc. con el mismo valor de Z!

Mltiples Soluciones

Problema de solucin infinita ( No Acotada) Minimice Z = - X1 + X2 Sujeto a: - X1 + X2 0 - 0,5X1 + X2 1 Xj > 0 ; j = 1, 2

Tabla Inicial
Variables Bsicas S1 S2 Zj - Cj Coeficientes en la Funcin Objetivo (Cj) 0 5/2 x1 X2 S1 S2 Solucin (R.H.S.) 0 1 0

-1 -0.5 1

1 1 -1

1 0 0

0 1 0

Entra x1 pero: Cul variable sale? Problema sin solucin Cuando en la Tabla Final existe como solucin una Variable Artificial con valor mayor que cero.
Juan Jos Bravo B., M.Sc.