Está en la página 1de 32

MTODO SIMPLEX

Investigacin Operativa I

El mtodo simplex comienza con la siguiente


estructura:
Forma Cannica
Opt


Z C* X

(a )

s.a :

A* X b

x0

(a) Funcin lineal llamada funcin objetivo,


donde el concepto de optimizacin puede ser
maximizar o minimizar

(b )

(b) Restricciones de desigualdad

(c )

(c) Restricciones de no negatividad

Notacin:

A = Matriz de coeficientes de las variables en el sistema de ecuaciones

X = Vector solucin

= Lado derecho de la restriccin i. Corresponde a la cantidad de recurso disponible

C = Vector de costo o utilidades .Corresponde a la contribucin a Z por unidad de


actividad

Reglas de la Programacin Lineal:


Regla N1:

a.- Maximizar C X es equivalente a minimizar C X .


b.- Minimizar C X c*x es equivalente a maximizar C X .

max
Z 3 x1 8 x2
min
Z 3 x1 8 x2

Reglas de la Programacin Lineal:


Regla N2:

a.- la desigualdad A X b es equivalente a la desigualdad A X b .


b.- la desigualdad A X b es equivalente a la desigualdad A X b .

3 x1 8 x 2 20

3 x1 8 x 2 20

Reglas de la Programacin Lineal:


Regla N3:
Toda igualdad de la forma A X b , se puede descomponer como la interseccin de
dos desigualdades A X b y A X b .

10 x1 3 x2 7

10 x1 3 x2 7
10 x1 3 x2 7

Reglas de la Programacin Lineal:


Regla N4:
a.- Toda desigualdad de la forma A X b , se puede convertir en igualdad, mediante
la adicin del vector columna Y de m componentes no negativos, llamada variable de
holgura
y1
0
10 x1 x2 5
y
0

2
7 x1 2 x2 1
Y


x1 , x2 0

ym
m1 0 m1

10 x1

7 x1

2 x2

x1 , x2 0
y1 , y2 0

x2

y1

y2

Reglas de la Programacin Lineal:


Regla N4:
b.- Toda desigualdad de la forma A X b , se puede convertir en igualdad mediante
la resta del vector columna H de m componentes no negativos, llamada variable
superfluas o de exceso.

h1
h
2
H


hm
m1

0
0




0
m1

Reglas de la Programacin Lineal:


Regla N5:
Una variable no restringida, que toma toda clase de valores: negativos, ceros y
positivos, se puede escribir como la diferencia de dos variables no negativas.

x1 : variable no restrigida
x1 x2 x3

x2 x3 x1 0
x2 x3 x1 0
x2 x3 x1 0

Terminologa Bsica:
a.- Regin de Soluciones Factibles (RSF): es el conjunto de valores, en el
cual se encuentran todas las soluciones factibles.
b.- Solucin del Problema: se llama solucin a cualquier especificacin de
valores para las variables de decisin (X1, X2,, Xn) sin importar si es una
solucin deseable o, incluso, admisible.
c.- Solucin Factible: es el valor de las variables de decisin (X1, X2 ,, Xn)
que satisface todas las restricciones.
d.- Solucin Bsica: es una solucin que est en el vrtice, la cual puede ser
factible o no.
e.- Solucin Bsica Factible: es una solucin factible que se encuentra en un
vrtice.
f.- Solucin ptima: es una solucin bsica factible que tiene el valor ms
favorable de la funcin objetivo.

Por Ejemplo:

La solucin bsica factible (S.B.F) est en los vrtices ABC.


Por lo tanto, una solucin ptima a un problema de programacin lineal (PPL)
estar contenida en el conjunto de soluciones bsicas factibles.
Existe un nmero finito de S.B.F. y, por lo tanto, tericamente es posible concebir
una solucin ptima, entonces para obtener la solucin habr que ver en teora
qu valor tiene la funcin objetivo y seleccionar la mejor. Esto puede convertirse
en una tarea bastante ardua, si se tiene en cuenta que una regin factible con n
incgnitas y m restricciones puede tener un nmero mximo de: n
n!

puntos extremos
m m!(n m)!

n
n!

m m!(n m)!
Dnde n > m, para que exista un espacio de soluciones factibles mayor que un
slo punto, es decir, que las restricciones sean linealmente independientes (l.i.)
Por ejemplo: Si n = 50 y m = 30 =

4.7129 * 1013 puntos extremos a analizar.

Las tcnicas ms eficientes aplicadas para resolver conjunto de ecuaciones


simultneas son los procedimientos iterativos. El mtodo simplex consiste en
examinar las soluciones bsicas factibles. En cada iteracin, el mtodo simplex
pasa de una solucin factible inicial a otra solucin factible y, finalmente, en un
nmero finito de pasos (iteraciones) llega a una solucin bsica factible
ptima. Como la funcin objetivo (Z) debe ser mejorada (o por lo menos, no
empeorada) en cada paso, el nmero de soluciones bsicas factibles que debe
ser examinado antes de encontrar una solucin ptima es mucho ms reducido
que el nmero total de soluciones bsicas factibles que existe.

Teora del Problema Del Programacin Lineal


Max


Z C X
s.a :

A X b

x0
La estructura ms conveniente para la manipulacin algebraica y la identificacin de
las soluciones factibles en un vrtice es lo que se llama Forma Aumentada del
Problema, el cual consiste en que el problema original cannico (contiene slo las
variables decisionales), se aumente el nmero de variables, especficamente, de
holgura necesarias para aplicar el mtodo simplex.

Para obtener la forma aumentada del problema, se introduce el vector columna de


las variables de holgura.
X n 1
X

Xs

X nm

De manera que las restricciones se conviertan en


X
X
A , I b ; 0
X s
X s
Donde:

I : matriz identidad, de orden ( m m )

0 : vector nulo que ahora tiene n+m elementos

Forma matricial del mtodo simplex:


Cuando se inicia el mtodo simplex, la forma matricial del conjunto de
ecuaciones es el siguiente:

1
0

-C
A

Z
0 0
X

I
b

X S

En cada Iteracin del mtodo, se deben multiplicar ambos miembros


de la ecuacin por:

C B B 1
-1
B

Forma matricial del mtodo simplex:


Z 1
X
B 0

CB B 1 0 CB B 1 b
*
1

-1
B b B b

C
0
1 C B B

1

1
C
B
A

C
C
B

B
B

0 A 1
-1

0
B
-1
-1
0

B A
B

-1

Forma matricial del mtodo simplex:

Finalmente, en cada iteracin, se deben obtener todas las operaciones


matriciales indicadas en la tabla, y en cada una de ellas el valor de
Z = Cb x Xb ir mejorando de acuerdo al objetivo de la funcin que da
origen al problema.

Obtencin de una solucin bsica factible:


Una de las caractersticas claves del mtodo simplex tiene que ver con la
forma en que se obtiene cada nueva SBF, despus de identificar sus
variables bsicas y no bsicas iniciales.
(N Variables N Ecuaciones) = N Variables NO Bsicas Iniciales
(Problema Aumentado)

Una vez determinadas las variables bsicas, se debe comprobar que el


problema tenga una solucin bsica factible.

Pasos del mtodo simplex:


Paso 1:

Dado cualquier PL transfrmese por medio de las reglas de equivalencia


1,2,3,5 al PL cannico.

Max : Z CX
s.a. :
AX b
x0

Paso 2:
Rescribir la F.O. de la siguiente manera:

Z CX 0

Pasos del mtodo simplex:


Paso 3:

Aplicar la regla de equivalencia 4, para convertir todas las desigualdades


(variables de holgura) en igualdades.
Con estos tres primeros pasos, la forma cannica queda convertida en:

Max : Z CX
s.a. :
AX b
x0
Donde Y: vector de variables de holgura.

Max :
s.a.

Z- CX 0
AX Y b
X0
Y0

Pasos del mtodo simplex:


El PPL de manera de un sistema de ecuaciones:
Z- CX 0

Max :
s.a.

AX Y b
X0
Y0

Z C1x1 C2 x2
a11x1

Cn x n

0 * xn 1 0 * xn 2

a12 x2 a1n xn

am1x1 am 2 x2

b1

xn 1

a21x1 a22 x2

0 * xn m 0
b2

xn 2

amn xn

x1 0 ; x2 0 xn 0 variables de decision
X n 1 0, xn 2 X n m 0 variables de holgura

xn m

bm

Pasos del mtodo simplex:


Paso 4:

Construir la tabla con los coeficientes del programa, como se muestra a


continuacin:

Pasos del mtodo simplex:


Paso 5:
Seleccionar como vector de entrada, aquel cuyo costo reducido (utilidad neta o
precio sombra) sea el ms negativo (fila cero), si no hay ningn candidato de
entrada, entonces la solucin es ptima; en caso de empate, este se rompe
arbitrariamente.
Paso 6:
Una vez seleccionada la columna a j que entrar a la nueva base, se selecciona
el vector de salida
aBr de la base actual, utilizando la regla del cuociente
mnimo:

X Br
X Bk

min
/ Ykj 0
k Y
Yrj

kj

En el caso que todas las Ykj del denominador sean negativos, se tiene una
solucin no acotada.

Pasos del mtodo simplex:


Paso 7:
La interseccin en el Tableau de la columna que entra y la fila que sale, determina el
elemento pivote Yrj , con el objetivo de convertir a la columna a j en el vector unitario,
es decir, ceros en toda la columna y un uno en la r-ava componente (el mismo pivote
Yrj ). Regrese al paso 5.
Nota: z j c j nos indica la utilidad ganada al introducir una unidad.

Ejemplo:
Max : Z 5000 X 1 3000 X 2
s.a.
3 X 1 5 X 2 15
5X1 2 X 2 10
X1 0

X2 0

Resolucin:
1: Mtodo Grfico
X2
R2
R3

R1

(x1*,x2*)=(20/19;45/19)
Z*= $ 235.000/19

RSF

R3
X1

2: Mtodo Simplex
Paso 2 y 3

Max : Z 5000 X 1 3000 X 2 0


s.a.
3 X 1 5 X 2 X 3 15
5X1 2 X 2 X 4 10
X1 0 ;

X2 0

X3 0 ;

X4 0

Paso 4: Tableau:
Tableau 0:
Z
X1
X2
1 -5.000 -3.000
X3
0
3
5
X4
0
5
2

X3
0
1
0

Paso 5: El menor valor fila


Paso 6: El menor valor columna X3 =15/3=5; X4 =10/5=2
Paso 7: Pivote

X4
0
0
1

0
15
10

Tableau 1:
Z
1
0
0

X3
X1

X2
X3
-1.000 0
19/5
1
2/5
0

X1
0
0
1

X4
1.000
-3/5
1/5

10.000
9
2

Tableau 2:

x2
x1

z
1
0
0

x1
0
0
1

x2
0
1
0

x3
x4
Z*
5.000/19 16.000/19 235.000/19
5/19
-3/19
45/19
-2/19
5/19
20/19

La solucin bsica factible ptima es:


20
45
X1
(u)
X2
(u)
19
19
X3 0
X4 0

Z $

235000
(um)
19

Interpretacin Econmica
El mtodo simplex comienza con una produccin cero para ambos productos y una
solucin bsica factible inicial, pero que no es muy rentable, entonces se introduce el
producto 1 a la solucin, debido a que tena la contribucin ms grande sobre la
utilidad ($5.000 um). As, es un mtodo de pasos ascendentes y que se mueve en la
direccin de la utilidad neta ms grande (gradiente de la funcin objetivo) y que
mejora en cada estado.
En este caso, se introdujo el producto 1 tanto como fue posible hasta alcanzar la
restriccin n 2, que fue la ms importante y limit la cantidad de X 1 a dos unidades,
es as que al producir estas dos unidades de X 1 , la utilidad se increment de 0 a
$10.000 u.m.

Luego se realiza un clculo si se puede mejorar an ms la utilidad introduciendo


algo del segundo producto. Este clculo requiri una sustitucin entre el producto 1 y
el producto 2. Conforme se incrementa X 2 , se produce menos del producto 1, debido
a que las restricciones limitan las cantidades disponibles de recursos.
El efecto neto sobre la utilidad de incrementar el producto 2 y disminuir el producto 1
se representa por el clculo de z2 c2 , el cual indic que la utilidad se podra mejorar
en $1.000 um por unidad de X 2 producida. En seguida, se encontr que un mximo
de 2,37 unidades de X 2 deberan ser introducidas a la solucin, debido a la
combinacin de las restricciones, lo cual aument de 0 a 2,37 unidades de X 2 y
disminuyo de 2 a 1,05 unidades de X1 . El efecto neto de estos cambios en X1 y X 2
fue una utilidad de $12.368,4. En este punto, el mtodo simplex determin que no
era posible mejorar ms la utilidad.

Ejemplo:
Max : Z 8 X 1 6 X 2

Max : Z 8 X 1 6 X 2 0

s.a.

s.a.
4 X 1 2 X 2 60
2X1 4 X 2 48
X1 0 ;

X2 0

4 X 1 2 X 2 X 3 60
2X1 4 X 2 X 4 48
X1 0 ;

X2 0

X3 0 ;

X4 0

Tableau 0:

X3
X4

Z
1
0
0

X1
-8
4
2

X2
-6
2
4

X3
0
1
0

X4
0
0
1

Paso 5: El menor valor fila


Paso 6: El menor valor columna X3 =60/4=15; X4 =48/2=24
Paso 7: Pivote

0
60
48

Tableau 1:

X1
X4

Z
1
0
0

X1
0
1
0

X2
X3
-2 2
1/2
1/4
3 3
-1/2

X4
0
0
1

120
15
18

Tableau 2:

X1
X2
La solucin es:
x1 12 (u)

Z
1
0
0

x2 6(u)

X1
0
1
0

X2
0
0
1

X3
5/3
1/3
-1/6

Z $132 (u.m)

X4
2/3
-1/6
1/3

Z*
132
12
6

Ejemplo:
Min : Z 3 x1 5 x 2
s.a.
x1
x2
3 x1

2 x2

18

x1 , x 2 0

El PPL de manera cannico es:


Max : U Z 3x1 5 x2

Max : U 3x1 5 x2 0

s.a.

s.a.

x1
x2
3x1

2 x2

x1 , x2 0

18

x1
x2
3x1

2 x2

x1 , x2 , x3 , x4 , x5 0

x3

x4

x5 18

Tableau 0:

X3
X4
X5

U
1
0
0
0

X1
-3
1
0
-3

X2
5
0
1
-2

X3
0
1
0
0

X4
0
0
1
0

X5
0
0
0
1

Z0
0
4
6
-18

En este caso, al evaluar el primer tableau, tenemos que la tercera restriccin tiene
asignado un recurso negativo (-18), por ende, el valor de x5, siendo una variable de
holguras, tiene una valor negativo asignado inicialmente, violando la restriccin
general de no negatividad. Debido a lo anterior, es que surgen dos mtodos,
basados en el mtodo simplex para solucionar este tipo de problemas (conocidos de
penalizacin sobre la funcin objetivo), los cuales son: Mtodo de la Gran M y el
Mtodo de Doble Fase.