Está en la página 1de 19

CAPTULO 4.

EL MTODO DEL
SIMPLEX

4.1. Introduccin a los problemas de P.L. ............................................ 2

4.2. Caracterizacin de los problemas de P.L. ...................................... 2

4.3. El algoritmo del Simplex. ................................................................. 7


4.3.1. Costes reducidos y test de optimalidad. ........................................................... 7
4.3.2. Regla de entrada de la Base.............................................................................. 9
4.3.3. Regla de salida de la Base. ............................................................................... 9
4.3.4. Resumen del algoritmo del Simplex............................................................... 11

4.4. El Mtodo del Simplex en forma de Tableau. ............................. 13


EJEMPLO 4.1. Aplicacin del mtodo Simplex en forma de tableau................ 15

4.5. Determinacin de una solucin bsica factible inicial: el mtodo


de la M grande y el de las 2 fases. ............................................................ 21
4.5.1. El mtodo de eliminacin (o de la M grande). ........................................... 22
EJEMPLO 4.2. Aplicacin del mtodo de eliminacin (o de la M grande)....... 23
4.5.2. El mtodo de las dos fases.............................................................................. 28
EJEMPLO 4.3. Aplicacin del mtodo de las dos fases......................................... 29

4.6. El mtodo Simplex revisado........................................................... 35


EJEMPLO 4.4. Aplicacin del mtodo del Simplex revisado. .............................. 38
CAPTULO 4. EL MTODO DEL
SIMPLEX
4.1. Introduccin a los problemas de P.L.

4.2. Caracterizacin de los problemas de P.L.

El mtodo ms conocido y habitual para resolver problemas de P.L. es el mtodo


del Simplex debido a Dantzig 1 . Antes de desarrollar este mtodo es preciso enunciar dos
teoremas que no probaremos, aunque en parte vimos como se cumplan en algunos
anlisis grficos del captulo anterior.

1. El conjunto de posibles soluciones o conjunto factible de cualquier problema de


P.L. puede representarse mediante un poliedro convexo.

2. Si un P.L. tiene una solucin ptima y finita, sta estar en un vrtice del
poliedro convexo que representa al problema de P.L.

La expresin general de un P.L. es:

Max( z ) c1 x1  c2 x2  ...  cn xn

a11 x1  a12 x2  ...  a1n xn d b1


#
am1 x1  am 2 x2  ...  amn xn d bm

x j t 0

Siendo las matrices:

x1 c1 a11 " a1n b1


x c a "a b
x 2 c 2 A
21 2n b 2
# # # # #

xn cn am1 amn bm

De todo lo anterior se deduce que, puesto que el nmero de vrtices de cualquier


poliedro factible es finito, el nmero de posibles soluciones de un P.L. tambin es finito.
Adems, sugiere un posible algoritmo para obtener la solucin ptima. Consistira en
calcular el valor de la funcin objetivo en cada uno de los vrtices del conjunto factible

1
Vid. Dantzig (1963).
y escoger el mejor. Para ilustrar esta idea empezaremos planteando un problema de P.L.
en su forma cannica2 . A continuacin ilustramos esta idea mediante un ejemplo.

n
Max( z) c x
j 1
j j

sujeto a:
n

a x ij j d bi i ^1,..., m`
j 1

xj t 0 j ^1,..., n`

aadiendo variables de holgura a cada una de las restricciones se obtendra la


formulacin equivalente:

n
Max( z) c x
j 1
j j

sujeto a:
n

a x ij j  si bi i ^1,..., m`
j 1

xj t 0 j ^1,..., n`
si t 0 i ^1,..., m`

El nmero de vrtices del conjunto factible del problema es:

m  n m  n !
[1]
m m ! m  n  m !
La cantidad m + n refleja el nmero de variables originales (n) ms las variables
de holgura (una para cada ecuacin, en total m). Las posibles soluciones sern tantas
como combinaciones de m + n variables tomadas en bloques de m. Cada bloque de m
variables con m restricciones dar lugar a la solucin exacta de un sistema de
ecuaciones de dimensin m x m.

El ejemplo del captulo anterior nos ilustra sobre todos los vrtices del
mencionado problema. Recordemos que este problema era:

Max( z ) 100 x1  200 x2


sujeto a:
x1  x2 d 80
0,8 x1  2 x2 d 124
x1 , x2 t 0

2
La forma cannica de un problema de P.L. es aquella que consiste en una funcin objetivo de
maximizar, todas las restricciones menores o iguales que el lado derecho y todas las variables no
negativas.
EI nmero de vrtices del sistema es, de acuerdo con [1]:

2  2 4!
6
2 2!2!

que se corresponde con las seis soluciones bsicas del sistema de ecuaciones:

x1  x2  s1 80
0,8 x1  2 x2  s2 124

Obsrvese que al sistema original se le han aadido las variables de holgura s1 y


s2.

Las posibles soluciones son:

A) Haciendo s2 = 0 y x1 = 0 se obtiene:

x2  s1 80
2 x2 124

cuya solucin es x2 = 62 y s1 = 18.

B) Haciendo s1 = 0 y x1 = 0 se obtiene:

x2 80
2 x2  s2 124

cuya solucin es x2 = 80 y s2 = -36.

C) Haciendo x1 = 0 y x2 = 0 se obtiene:

s1 80
s2 124

D) Haciendo s2 = 0 y x2 = 0 se obtiene:

x1  s1 80
0,8 x1 124

cuya solucin es x1 = 155 y s1= -75.

E) Haciendo x2 = 0 y s1 = 0 se obtiene:

x1 80
0,8 x1  s2 124
cuya solucin es x1 = 80 y s2 = 60.

F) Haciendo s1 = 0 y s2 = 0 se obtiene:

x1  x2 80
0,8 x1  2 x2 124

cuya solucin es x1 = 30 y x2 = 50.

Las seis soluciones indicadas corresponden a los vrtices de la figura 4.1. De las
seis soluciones, la B y la D no son factibles, ya que tienen alguna variable con un valor
negativo. La solucin F es ptima, ya que ninguna de las otras soluciones factibles tiene
asociado un valor mejor de la funcin objetivo.

Figura 4.l. So1uciones de un sistema de m inecuaciones y n incgnitas.

Pese a que el nmero de posibles soluciones de un P.L. es finito, en la prctica


resultara excesivamente costoso comprobadas todas para encontrar el ptimo.

En problemas de tamao ms real que el ejemplo anterior (aunque no muy


grande), el nmero de vrtices se hace enormemente grande. As por ejemplo, un
problema con 50 ecuaciones y 70 variables tiene:

50  70 50  70 !
1,83617 E  34 vrtices.
50 50!* 50  70  50 !

y uno de 100 ecuaciones y 200 variables:


100  200 100  200 !
en la prctica es infinito.
100 100!* 100  200  100 !

El mtodo Simplex no recorre explcitamente todos los vrtices del conjunto


factible sino que, en cada iteracin, comprueba si existe un cambio de vrtice que
mejore la solucin actual. Si no existe ningn vrtice mejor que el actual, el proceso se
detiene puesto que se ha llegado al ptimo.

El concepto de vrtice es de naturaleza geomtrica y resulta, por tanto, poco


adecuado para construir a partir de l un algoritmo utilizable por computadoras. Por
ello, el mtodo Simplex se basa en un concepto algebraico muy similar: el de solucin
bsica factible (SBF).

De una manera ms formal, a partir del sistema de ecuaciones:

a x ij j  si bi i ^1,..., m`
j 1

xj t 0 j ^1,..., n`

Se dice que una solucin bsica es aquella que tiene al menos n-m componentes
nulos o variables no bsicas a las que llamamos xN. Las m variables restantes se
denominan variables bsicas y las denominamos xB. Formalmente, a partir del sistema:
B

Ax = b

se dice que xB es una solucin bsica del mismo si puede realizarse la particin:

A = >B | N@
x = > xB | xN @
xB
Ax = b >B | N@ =BxB +NxN =b
xN
y si xN = 0, entonces
B-1 BxB =B-1b
xB =B-1b

Existen varios tipos de solucin bsica:

a) Solucin bsica factible (SBF). Todas las variables bsicas son mayores o
iguales que cero.

b) Solucin bsica factible no degenerada. Todas las variables bsicas son


estrictamente positivas.
c) Solucin bsica factible degenerada. Alguna variable bsica toma un valor nulo.

Puede demostrarse que cada SBF representa un vrtice del conjunto factible. Sin
embargo, un vrtice puede ser representado por ms de una SBF, si la solucin es
degenerada.

4.3. El algoritmo del Simplex.

El algoritmo del Simplex busca el ptimo de un problema de P.L. recorriendo slo


algunos de los vrtices del poliedro que representa el conjunto de soluciones factibles.
En cada iteracin, al algoritmo se desplaza de un vrtice a otro de forma que el valor de
la funcin objetivo mejore con el desplazamiento, esto es, que aumente si el problema
es de maximizacin, o disminuya si el problema es de minimizacin.

La optimizacin de un P.L. puede dar lugar a cuatro posibles resultados:

a) Alcanzar un ptimo nico.

b) Alcanzar un ptimo que no es nico (soluciones alternativas o mltiples).

c) Concluir que el problema es no factible, esto es, que no existe ninguna solucin
que satisfaga simultneamente todas las restricciones del problema.

d) Concluir que el problema es no acotado, es decir, que el valor de la funcin


objetivo en el ptimo es tan grande como se desee si el problema es de
maximizacin, o tan pequeo como se quiera si el problema es de minimizacin.

El mtodo Simplex alcanza siempre uno de estos resultados en un nmero finito


de iteraciones. En cada iteracin se pasa de una solucin bsica factible a otra, de
manera que en el proceso, el valor de la funcin objetivo mejora en cada iteracin.
Cuando se determina que no existe ninguna SBF con un mejor valor de la funcin
objetivo que el actual se detiene el proceso puesto que se ha llegado al ptimo.

A continuacin se desarrolla el algoritmo del Simplex teniendo en cuenta tres


reglas para llegar al ptimo: regla de entrada en la base, regla de salida de la base y
test de optimalidad.

4.3.1. Costes reducidos y test de optimalidad.

Sea un P.L. en el que todas las restricciones han sido reducidas a igualdades
mediante las transformaciones adecuadas:

Max( z ) c7 x
sujeto a:
Ax = b
xd0

A partir de una SBF cualquiera puede realizarse la descomposicin:


z = cTB xB + cTN x N (4.1.)

BxB + NxN = b (4.2.)


Suponiendo que la matriz B admite inversa, puede despejarse xB en (4.2.) de forma que
B

se obtiene:
xB = B - 1b-B - 1 NxN (4.3.)
y sustituyendo xB en (4.1.)
B

z = cTB B - 1b - cBT B - 1 NxN + cTN xN =


= z 0 + cTN - cTB B - 1 N xN = (4.4.)
= z0 + c j - z j x j
jVN

donde:

z 0 = cTB B-1b es el valor de la funcin objetivo correspondiente a la SBF actual.

VN : Conjunto de subndices correspondientes a las variables no bsicas.

A los valores c j - z j se les denomina costes reducidos. Pueden interpretarse como


derivadas, ya que miden el efecto sobre la funcin objetivo de un aumento unitario en el
valor de cada una de las variables no bsicas (indicadas como x j en 4.4). Por tanto:

x Si una variable no bsica que tenga asociado un coste reducido positivo entrara
en la base (esto es, si tomara un valor positivo), el valor de la funci6n objetivo
aumentara en c j - z j por cada unidad de x j .

x Si una variable no bsica que tenga asociado un coste reducido negativo entrara
en la base, el valor de la funcin objetivo disminuira c j - z j por cada unidad
de x j .

x Si una variable no bsica que tenga asociado un coste reducido nulo entraran en
la base, el valor de la funcin objetivo permanecera inalterado.

Dado que el nmero de vrtices del poliedro factible es finito, puede asegurarse
que, en ausencia de degeneracin, el mtodo Simplex alcanza la conclusin de
optimalidad o la de no acotamiento en un nmero finito de iteraciones. En concreto, se
habr alcanzado un ptimo cuando no sea posible mejorar el valor de la funcin
objetivo cambiando las variables que estn en la base. Esto es, cuando en un problema
de maximizacin:
j V N : c j - z j d 0

Como ya comentamos anteriormente, la idea fundamental del mtodo Simplex es


la de ir explorando los vrtices del poliedro factible hasta llegar a una solucin ptima.
De esta forma, teniendo en cuenta que el nmero de vrtices es finito, puede asegurarse
que, tarde o temprano, se alcanzar la optimalidad. Sin embargo, si el valor de xr en la
base antigua fuera cero, se producira un pivoteo degenerado, en el que:

x xk 0 , la nueva SBF tambin es degenerada.

x xB = B-1b , no cambian los valores de las variables bsicas.

x z z 0 , no mejora el valor de la funcin objetivo. Por tanto, la nueva SBF


representa al mismo punto extremo que la antigua SBF.

Es concebible, por tanto en teora, una situacin en la que, a partir de una base
determinada, se realice una sucesin infinita de pivoteos degenerados (ciclado). Esta
situacin se puede resolver fcilmente mediante un procedimiento que, sin embargo no
desarrollaremos por estar fuera del objetivo de este libro.

4.3.2. Regla de entrada de la Base.

El mtodo Simplex emplea los costes reducidos para determinar si la solucin


actual es ptima y, en caso de que no lo sea, qu variable debe entrar en la base. El
criterio para elegir la variable que entra en la base, en el caso de maximizacin, es el de
introducir en la base una variable xk tal que 3 :

k ArgMax ^c j  z j | c j  z j ! 0`

esto es, se introduce en la base la variable que tenga el mayor coste reducido positivo o,
lo que es lo mismo, aquella que ms rpidamente mejora el valor de la funcin objetivo.
Anlogamente, el criterio de entrada en el caso de minimizacin es introducir la variable
xk tal que:

k ArgMin ^c j  z j | c j  z j  0`

4.3.3. Regla de salida de la Base.

Como la dimensin de la base es necesariamente igual al nmero de restricciones


del problema, la introduccin de una variable en la base deber acompaarse con la
salida de otra variable de la base. El criterio de salida se determina estudiando el efecto
del crecimiento de xk sobre las variables bsicas, de forma que se mantenga la
factibilidad de la solucin. Particularizando (4.3.) para valores nulos de todas las
variables no bsicas excepto la k, se obtiene:

xB = B-1b - B-1ak xk = B-1b - yk xk

3
La funcin ArgMax significa el nmero subndice que hace mxima la condicin que aparece entre {}.
siendo ak la k-sima columna de la matriz N. Esta expresin proporciona un sistema de
m ecuaciones de la forma:

i VB : xBi xBi0 - yik xk

siendo xBi0 la i-sima componente del vector xBi0 = B-1b e yik la k-sima componente
del vector yk . Esta expresin refleja el efecto sobre la variable bsica xBi del
crecimiento de xk debido a la necesidad de mantener las condiciones de factibilidad
Ax = b . En concreto:

x Si yik es negativo, para mantener la factibilidad la variable i debe crecer a la vez


que aumenta el valor de la variable k.

x Si yik es nulo, puede mantenerse el valor de la variable i sin perder factibilidad.

x Si yik es positivo, el mantener la factibilidad exige que la variable i decrezca a la


vez que aumenta el valor de la variable k.

Por tanto, a medida que xk crece, todas las variables que tengan un factor yik ,
positivo disminuirn. Llegar un momento en que alguna de estas variables valdr cero
y, por tanto, no podr aumentarse ms el valor de xk sin violar las condiciones de no
negatividad. En este momento, el crecimiento de la variable entrante quedar
bloqueado. Ahora bien, xBi 0 slo si:

xBi0
xk
yik

luego la variable que bloquea el crecimiento de xk ser xBr , siendo r el elemento de VB


tal que:

a) yrk ! 0

xBi0 x0
b) d Bi i VB | yik ! 0
yrk yik

Esto es, el crecimiento de xk es bloqueado por la primera variable bsica que


llega a valer cero. Si no existe ningn yik estrictamente positivo, el problema es no
acotado, ya que la variable xk puede crecer indefinidamente sin prdida de factibilidad,
mejorando el valor de la funcin objetivo. Una vez que el crecimiento de xk ha sido
bloqueado, la variable k se considera bsica y su valor se fija en:

0
xBr
xk
yrk
que es el mximo valor que puede tomar xk sin que ninguna variable bsica se anule.
La variable r pasa a ser no bsica y se inicia de nuevo el proceso. Estos cambios pueden
tabularse de la forma que se muestra en la tabla 4.1.

Antes de la iteracin Despus de la iteracin

z z0 z z 0  ck  zk xk

xj 0 j VN | j z k xj 0 j VN | j z k

xk 0 xk xr0 | yrk

xr xr0 xr 0

xB0 B-1b xB xB0  yk xk

VB VB0 VB VB0  ^r`  ^k`

VN VN0 VN VN0  ^r`  ^k`

Tabla 4.1. Cambios que se producen al iterar.

4.3.4. Resumen del algoritmo del Simplex.

En resumen, el mtodo Simplex opera iterativamente a travs de los siguientes


pasos:

a) Test de optimalidad. En problemas de maximizacin, el P.L. es ptimo si todos


los costes reducidos c j  z j son menores o iguales que cero. En problemas de
minimizacin cada coste reducido debe ser mayor o igual que cero.

b) Regla de entrada en la base. La variable que entra en la base debe ser aquella
que tenga el mayor coste reducido positivo en el caso de maximizacin (o mayor
coste reducido negativo, en el caso de minimizacin), ya que sta es la que
aumenta (disminuye) ms rpidamente el valor de la funcin objetivo.
Supongamos que la variable entrante es la k-sima.

c) Regla de salida de la base. Despus de decidir qu variable entra en la base, es


preciso determinar qu variable sale de la base. El criterio consiste en
seleccionar aqulla que tiene un menor cociente entre su valor y el coeficiente de
yk correspondiente a la columna k-sima, siempre y cuando este coeficiente sea
estrictamente positivo. La interpretacin de este cociente es clara: representa el
mximo valor que puede tomar la variable entrante antes de que la variable que
se est considerando viole su restriccin de no negatividad. Si todos los
coeficientes de la columna k-sima son nulos o negativos, estaramos en el caso
de solucin no acotada o ilimitada, ya que la variable entrante puede crecer
indefinidamente sin prdida de factibilidad.

En la figura 4.2 se presenta un diagrama de flujo que resume el funcionamiento


del algoritmo del Simplex.

COMI ENZO

De te rminar una SBF inicial

Exis te alguna
FIN I nfactible No SBF?

Si

De te rminar los c os te s r e ducidos de


las v . bsicas

Existe algun coste


re ducido
FIN Optimo No positiv o(M aximizacin)
o ne gati vo
(M inimi zacin)?

Si

Se le ccionar l a v ariable e ntra nte .


Calcular Y ik

Y
Existe algn ik positivo
FIN No acotado No (Maximizacin) o negativo (M inimizacin)?

Si

Introducir e n l a base la v ar iable entrante


Extrae r de la base la va riable que bloque e
e l crec imie nto de la v ariable e ntrante
Actualizar xB

Figura 4.2. Diagrama de flujo del algoritmo del Simplex.


4.4. El Mtodo del Simplex en forma de Tableau.

El mtodo Simplex se implementa en programas de ordenador (software) y resulta


transparente para el usuario, esto es, el usuario no precisa tener un conocimiento de
cmo funciona. Sin embargo, a los efectos de interpretar los resultados, resulta
conveniente tener un conocimiento ms detallado y prctico sobre su funcionamiento
que el desarrollo terico de apartados anteriores. Por estas razones, en este apartado
estudiamos la resolucin de problemas sencillos de P.L. mediante el mtodo del Simplex
en forma manual. En este caso, se utiliza el llamado formato de tableau. Esta tcnica
proporciona una forma cmoda de resolver ejercicios sencillos.

Un problema de P.L. en forma estndar o cannica puede expresarse como:


Max(z) = cT x
sujeto a:
Ax = b
xt0

Esta formulacin equivale a:

Max(z)
sujeto a:
z - cB xB - cN x N = 0 (4.4.)

xB + B -1 Nx N = B -1 b (4.5.)

xt0

sustituyendo (4.5.) en (4.4.) y despejando se obtiene:

z = cB B-1b + cN -cB B-1 N xN

-1
Por definicin, z = cB B b , luego:

c N -cB B-1 N xN = 0 (4.6.)

Las operaciones anteriores pueden ordenarse en una tabla, a la que llamaremos tableau
de la siguiente forma:
cj cB cN
B cB
xB xN

xB cB B -1b I B -1 N

zj cB cB B -1 N

cj -zj 0 cN -cB B -1 N

donde:

cN -cB B -1 N : Costes reducidos.

B -1b : Valores de las variables bsicas.

Esta tabla contiene todos los elementos necesarios para aplicar el mtodo
Simplex. Adems, forma un sistema de ecuaciones y, por consiguiente,
pueden aplicrsele una serie de transformaciones elementales, que no
cambian su solucin. Esto es:

x Intercambiar dos filas.

x Multiplicar una fila por un valor distinto de cero.

x Sustituir la fila i por la fila i ms K veces la fila j, siendo K un


escalar arbitrario.

El mtodo Simplex aplicado a problemas en formato de tableau se reduce a


aplicarle a la tabla estas operaciones de forma que:

x El nuevo tableau representa una nueva solucin bsica factible.

x Salvo en el caso de soluciones degeneradas, el valor de la funcin objetivo


mejora en cada iteracin.

Cuando se aplica este mecanismo de resolucin, a cada iteracin se la denomina


pivoteo. En cada pivoteo se lleva a cabo el paso de una SBF a otra. Si la variable xk
entra en la base y xr sale de la base, al elemento yrk se le denomina pivote. El pivoteo
sobre yrk consiste en la ejecucin sucesiva de las siguientes operaciones:

1. Dividir la fila r entre yrk .

2. Actualizar las filas i 1,..., m i z r restndoles la fila r multiplicada por


yrk .

3. Actualizar la ltima fila restndole la fila r multiplicada por (zk - ck).

Como puede verse, los pasos 1 y 2 suponen la transformacin de la columna k en


una columna de la matriz identidad, con ceros en todas las posiciones salvo la k-sima.
El paso 3 actualiza los valores de (zk - ck), lo cual nos sirve para comprobar si hemos
alcanzado el ptimo. En definitiva, se trata de un mtodo que actualiza la inversa
correspondiente a las columnas de las variables bsicas. A este mtodo se le conoce
como Gauss-Seidel.

Esta operatoria no altera el contenido del sistema, ya que se limita a aplicar a las
distintas ecuaciones una sucesin de transformaciones elementales (multiplicar una
ecuacin por un elemento y sumar o restar dos ecuaciones). A lo largo de los sucesivos
pivoteos, lo nico que se cambia es la base considerada, y este cambio se realiza de
forma que la solucin nunca empeora. En el caso no degenerado, la solucin obtenida
tras un pivoteo siempre es mejor que la solucin correspondiente a la base anterior.

A lo largo de1 proceso iterativo es posible reconocer todos los casos que pueden
darse en la resolucin de un P.L.:

a) Solucin nica. En el ltimo tableau, los costes reducidos de las variables no


bsicas son estrictamente negativos (maximizacin) o estrictamente
positivos (minimizacin).

b) Soluciones alternativas. En el ltimo tableau, alguno de los costes reducidos


de las variables no bsicas es igual a cero. Esto quiere decir que la variable
no bsica cuyo coste reducido es cero podra introducirse en la base sin
perjudicar el valor de la funcin objetivo.

c) Solucin no acotada. Si al efectuar el test de salida de la base, todos los


coeficientes de la columna correspondiente a la variable entrante son no
positivos. Esto querra decir que la variable entrante puede aumentarse hasta
el infinito sin que su crecimiento resulte bloqueado.

d) Problema infactible. Se reconoce porque alguna variable de apoyo queda en


la base en el tableau final.

e) Solucin degenerada. Alguna variable bsica vale cero.

EJEMPLO 4.1. Aplicacin del mtodo Simplex en forma de tableau

Partimos del programa lineal siguiente:


Max(z ) 100 x1  200 x2
sujeto a:
x1  x2 d 80
0,8 x1  2 x2 d 124
x1 , x2 t 0

Para convertir las inecuaciones en ecuaciones se aade una variable de holgura


por cada ecuacin, con lo que queda:

Max(z ) 100 x1  200 x2  s1  s2


sujeto a:
x1  x2  s1 80
0,8x1  2 x2  s2 124
x1 , x2 , s1 , s2 t 0

El proceso de clculo de la solucin utilizando el mtodo del Simplex en forma de


tableau es el siguiente:

PASO 1. Solucin inicial. Empezamos con la solucin bsica:

Si hacemos x1 0, x2 0, el sistema de ecuaciones es anterior es equivalente a


resolver:

s1  0s2 80
0s1  s2 124

cuya solucin es s1 80, s2 124 .

Esta solucin corresponde al vrtice sealado con un en la figura 4.3.:


Figura 4.3. SBF inicial (Iteracin 0).

A esta primera SBF inicial la podemos representar en el siguiente tableau:

cj 100 200 0 0
xB B cB B E x1 x2 s1 s2 RATIOS
s1 0 80 1 1 1 0 80
s2 0 124 0,8 2 0 1 62
zj 0 0 0 0
cj-zj 100 200 0 0

Tableau 4.1 Iteracin 0.

Obsrvese que, de acuerdo con la estructura del tableau definida en el apartado


-1
4.4., debajo de E aparece B b , esto es, los valores de xB en esta iteracin (en este caso
B

-1
de s1 y s2). Asimismo, la ltima fila contiene el vector cN -cB B N (los costes
-1
reducidos). El valor de la funcin objetivo cB B b no se calcula hasta el final del
proceso iterativo.

En trminos numricos el valor de los costes reducidos se calcula de la siguiente


forma:

z1= 0*1 + 0*0,8 = 0

z2= 0*1 + 0*2 = 0 c1 z1 = 100 0 = 100

z3=0*1 + 0*0 = 0 c2 z2 = 200 0 = 200

z4 = 0*0 + 0*1 = 0 c3 z3 = 0 0 = 0
c4 z4 = 0 0 = 0

PASO 2. Test de optimalidad. Los costes reducidos de las variables (no bsicas)
x1 y x2 son positivos. Luego no estamos en el ptimo y debe aplicarse la regla de entrada
en la base.

PASO 3. Regla de entrada. Se introduce en la base la variable con mayor coste


reducido, en este caso, la variable x2 (200).

PASO 4. Regla de salida. A continuacin debemos determinar qu variable sale


de la base. Para ello se calculan los ratios:

xB0i
yik

80 124
para todos los yik ! 0 . En la solucin inicial estos ratios son 80; 62 . El
1 2
mnimo es 62 y, por tanto, sale de la base la variable s2. La prxima Base est formada,
por lo tanto, por las variables (s1, x2). En el tableau iteracin 0 se ha marcado el pivote
( yrk 2 ) en la celda sombreada.

PASO 5. Actualizacin de la solucin. Lo que en realidad haremos ahora ser


recalcular la nueva Base. El clculo de la nueva solucin se realiza de la siguiente
manera:

1. Se divide la fila entrante por el pivote (coeficiente que est en la confluencia de


la variable entrante y saliente). Esto es:

Fila s2: E=124/2 x1 = 0,8/2 x2 = 2/2 s1 = 0/2 s2 = 1/2

2. El resto de la filas se actualizan restndoles la fila correspondiente a la nueva


variable bsica, multiplicada por yik .Obsrvese que tenemos un nico s1 restante
que corresponde a la fila s1 y que es igual a 1.

Fila s1: E=80-(62*1) = 18 x1 = 1-(0,4*1) = 0,6 x2 = 1-(1*1) = 0

s1 = 1-(0*1) = 1 s2 = 0-(1/2*1) = -1/2

Una vez que se ha actualizado el nuevo tableau, la fila correspondiente a la


variable entrante (x2 en nuestro caso) debe quedar con un 1 en la confluencia de su
fila y columna y ceros en el resto de los coeficientes de su columna.

3. Se recalcula zj y los costes reducidos (cj zj) de forma anloga a como hicimos
en la iteracin inicial.

z1= 0*0,6 + 200*0,4 = 80 z2= 0*0 + 200*1 = 200


z3= 0*1 + 200*0 = 0 c2 z2 = 200 200 = 0

z4 = 0*(-1/2) + 200*1/2 = 100 c3 z3 = 0 0 = 0

c4 z4 = 0 100 = -100

c1 z1 = 100 80 = 20
La solucin grfica correspondiente a la iteracin 1 est sealada con una cruz
en la figura 4.4. como puede verse, nos hemos desplazado del vrtice x1 = 0 ; x2
= 0 a otro adyacente cuya solucin es x2 = 62 ; x1 = 0.

Figura 4.4. Solucin correspondiente a la iteracin 1

Esto es, nos hemos desplazado al vrtice adyacente que tena mayor ganancia a
partir de la solucin inicial.

El tableau resultante es:

cj 100 200 0 0
xB cB E x1 x2 s1 s2 RATIOS
s1 0 18 0,6 0 1 -1/2 30
x2 200 62 0,4 1 0 1/2 155
zj 80 200 0 100
cj-zj 20 0 0 -100

Tableau 4.2. Iteracin 1.

PASO 6. Test de optimalidad. El coste reducido de la variable (no bsica) (x1=20)


es positivo. Luego no estamos en el ptimo y debe aplicarse la regla de entrada en la
base.

También podría gustarte