Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
X1 + X2 200
X1 + 2X2 300
X1 , X2 positivas
El modelo en la forma estndar tiene 4 variables ( n=4) y dos restricciones (m=2) . Cabe
recordar que no se cuentan las restricciones de signo y s las variables de holgura o
exceso. Por lo tanto, las soluciones bsicas deben tener 2 variables no bsicas (n-m).
Las soluciones bsicas que se pueden identificar son:
Nmero
solucin
1
2
3
4
5
6
de X1
0
200
100
0
300
0
X2
S1
S2
0
0
100
150
0
200
200
0
0
50
-100
0
300
100
0
0
0
-100
Valor de la
F.O.
0
600
800
750
INFACTIBLE
INFACTIBLE
Ntese que se pueden encontrar 6 soluciones bsicas haciendo cero las variables de
dos en dos.
El nmero de soluciones bsicas se puede calcular :
n
= n! / (n-m)!m!
m
Al comparar todas las soluciones bsicas halladas es posible identificar la mejor, pero,
evidentemente en problemas de la vida real, con gran nmero de restricciones y
variables no resulta adecuado evaluar cada una de las soluciones bsicas para
encontrar la mejor.
Observando la soluciones bsicas del cuadro anterior, la soluciones No. 5 y No.6 son
no factibles porque determinan valores negativos para algunas de las variables por
tanto tampoco podran ser ptimas. Del resto de las soluciones bsicas halladas, la
mejor es la No. 3 por que determina el mejor valor para la funcin objetivo, que es de
maximizacin. Cada una de las soluciones bsicas factibles corresponde a un vrtice
de la regin factible y puede notarse que las soluciones No.1 y No.2 tienen una variable
no bsica en comn, al igual que las soluciones No.2 y No.3 y las soluciones No. 3 y
No.4, se dice entonces que se trata de soluciones adyacentes.
Si se construyera grficamente el espacio de soluciones factibles, las soluciones 1, 2,3
y 4 corresponderan cada una a un vrtice de la regin factible. Con el mtodo grfico
se utilizara una recta de la familia de rectas de la funcin objetivo para identificar el
punto extremos que determina su valor ptimo, pero tambin podra aplicarse el
siguiente razonamiento:
a)
b)
c)
Primera Iteracin:
b) Identificar si existe una solucin adyacente que pudiera ser mejor.
Cabe recordar que las soluciones adyacentes se obtienen a partir de un solo
cambio en la base, es decir, que el conjunto de variables bsicas de una
solucin difiere del de la solucin adyacente en solo una variable.
Grficamente, se tratara de dos vrtices formados por una restriccin no
comn.
Para evaluar si existe una solucin mejor, debe aplicarse el concepto de
costo reducido. El costo reducido es un indicador asociado a las
variables no bsicas, el cual seala el efecto que producira cambiar su
condicin de no bsicas, es decir, asignarles valor y convertirlas en
bsicas. Este costo reducido se puede observar en la funcin objetivo
despus de cada iteracin para cada una de las variables no bsicas.
Este indicador resume el efecto neto de dos aspectos:
a) El aporte de la variable al valor de la funcin objetivo (su
coeficiente en la funcin objetivo)
b) El efecto sobre las otras variables bsicas. Cul es este
efecto? Si la variable no bsica observada ingresa a la base, esto
podra modificar el valor de las variables bsicas y con ello
reducir sus aportes a la funcin objetivo, con lo cual dicha funcin
desmejorara.
Si el aporte de la propia variable compensa el efecto sobre las dems,
entonces el cambio en la condicin de la variable es favorable, caso
contrario, no ser conveniente cambiar su condicin.
En esta primera vez, el costo reducido es nicamente el coeficiente de la
variable en la funcin objetivo original, es decir, no existe el efecto que se
seala en (b). Por qu?
Porque, si bien es cierto que si X1 o X2 se volvieran bsicas, las
variables S1 y S2 modificaran sus actuales valores, estas modificaciones
no tienen efecto en la funcin objetivo ya que estas variables no
aparecen en la funcin objetivo.
Entonces, resultara adecuado que la variable X2 dejara de ser no bsica
pues es la que mejor efecto tendra sobre la funcin objetivo, (tiene el
coeficiente mayor, en este caso de maximizacin).
En la nueva solucin bsica debe entrar la variable X2 que se llamar
variable no bsica entrante.
La existencia de una variable que mejore el valor de la funcin objetivo
constituye una prueba de que la solucin actual no es ptima: esto es lo
que se llama la prueba de optimidad.
Si la variable X2 es la variable no bsica entrante, debe haber una variable
bsica que abandone la base actual (variable bsica saliente).
Segunda Iteracin
Aplicaremos la prueba de optimidad, es decir, evaluaremos los nuevos costos reducidos
en la funcin objetivo, para evaluar si existe la posibilidad de mejorar la solucin actual:
Max X1 5/2 S2 + 750
Si S2 tomara valor, es decir, si fuera esta la variable no bsica entrante, el valor de la
funcin objetivo se reducir en 5/2 por cada unidad de valor de S2. (Ntese que el
coeficiente de S2 tiene signo negativo)
Si X1 tomara valor, es decir, si fuera esta la variable no bsica entrante, el valor de la
funcin objetivo aumentara en por cada unidad de valor de X1, por lo tanto dado
que se busca maximizar el valor de la funcin objetivo, sta mejorara si hiciramos
bsica a X1. Por lo tanto la solucin actual no es ptima, puede mejorar.
Cabe en este momento volver a explicar el concepto de costo reducido. Obsrvese el
costo reducido que X1, que es igual a ,
Cmo se explica este costo?
Se entiende que cuando X1 ingrese a la base, por cada unidad de valor de X1 la
funcin objetivo aumenta en $3 pero, observando las restricciones, se nota que
si X1 tomara valor, reducira el valor de X2 y de S1
X1 + X2 +1/2 S2=150
X1 -1/2S2 + S1= 50
Por cada unidad de X1, se reduce en el valor de X2, con lo cual la funcin objetivo
se reducira en * 5, es decir 2,5.
Por cada unidad de X1 se reduce en el valor de S1, pero como S1 no afecta a la
funcin objetivo, sto no reduce su valor.
El efecto neto es : +3 2.5 = 0.5 que es lo que seala el respectivo costo reducido.
En esta segunda iteracin, ya ha quedado establecido que la variable no bsica
entrante ser X1. La variable bsica saliente, debe determinarse observando la
restriccin que determina el mximo valor posible de X1:
X1 + X2 +1/2 S2=150.. X1 podra tomar el valor mximo de 300
X1 -1/2S2 + S1= 50. X1 podra tomar el valor mximo de 100
Comparando ambas cotas, 100 es el valor que puede tomar X1, debe tenerse en
cuenta que si en alguna restriccin, no apareciera la variable no bsica entrante o su
coeficiente fuera negativo, dicha restriccin de deber ser considerada al determinar
las cotas al valor de la variable no bsica entrante que determinarn la variable bsica
saliente.
En esta iteracin, dado que la cota la establece la segunda restriccin, es la variable S1
la que ser la variable bsica saliente.
Por lo tanto, si el valor de X2 ha quedado acotado por la siguiente restriccin,
X1 -1/2S2 + S1= 50
puede establecerse que:
X1 S2 + 2 S1 =100 (ntese que S1 y S2 son no bsicas)
Con esta expresin: X1 = 100 2S1 + S2, reemplazaremos a X1 en la primera
restriccin y en la funcin objetivo:
En la primera restriccin:
(100 2 S1 + S2) + X2 +1/2 S2=150
50 - S1 + S2 + X2 + S2 =150
X2 - S1 + S2 = 100 (ntese que S1 y S2 son no bsicas)
En la funcin objetivo:
Max (100 2 S1 + S2) 5/2 S2 + 750
Max 50 S1 + S2 5/2 S2 + 750
Max 800 S1 - 2 S2
La nueva solucin es
X1 = 100
X2 = 100
S1=S2=0
El valor de la funcin objetivo: 800
Si observamos la funcin objetivo, las variables no bsicas tienen ambas coeficientes
negativos. Cabe sealar que cuando se trata de las variables de holgura o exceso,
estos coeficientes finales en la funcin objetivo representan los precios sombra, que
sealan el valor relativo de los recursos que corresponden a las respectivas
restricciones.
Cmo se explica esto? , si se observan las restricciones, puede notarse que si alguna
de las variables S1 o S2 toman valor, es decir, se deja de utilizar alguna unidad de los
recursos respectivos, se afecta el valor de las variables bsicas, con lo cual, con
seguridad, cambiar el valor de la funcin objetivo. Dicho cambio reflejara el impacto
A1 = 3
4x1+3x2 - S1 + A2 6
X1+2x2 +
S2 4
Con estas variables intentaremos conseguir una solucin bsica factible inicial que
satisfaga las condiciones necesarias. El modelo tiene 6 variables y 3 restricciones, por
lo tanto corresponden 3 variables no bsicas y 3 variables bsicas. Entonces, las
variables bsicas inicialmente sern A1, A2 y S2 que tendrn valores 3, 6 y 4.
Teniendo en cuenta que las variables A1 y A2 son artificiales, es decir, no tienen
significado en el modelo y han sido introducidas solo para conseguir una solucin
inicial conveniente, la solucin que se consigue de esta forma es en realidad no factible,
no podemos considerarla vlida. Debe llegarse a una solucin bsica factible inicial en
la que se pueda prescindir de tales variables artificiales. Para ello desarrollaremos el
algoritmo smplex en DOS FASES, la primera hasta encontrar una solucin bsica
factible inicial en la que no existen A1 y A2 y luego a partir de los resultados de esta
primera fase, intentar la bsqueda de la solucin ptima
Primera fase:
Para eliminar las variables A1 y A2, se propone una funcin objetivo que ser siempre
de minimizacin de las variables artificiales, ya que el objetivo en el fondo es eliminarlas
del modelo. Las restricciones sern las mismas del modelo original para asegurar que
la solucin inicial que se encuentre sea factible.
Min A1 + A2
3x1+ x2 +
A1 = 3
4x1+3x2 - S1 + A2 6
X1+2x2 +
S2 4
Dado que la base est formada por A1, A2 y S2, estas variables no deben aparecer en
la funcin objetivo, as que procederemos a reemplazarlas por las siguientes
expresiones que se obtienen a partir de la primera y segunda restriccin:
A1= 3 - 3X1 - X2
A2= 6 + S1- 3X2 4X1
La funcin objetivo quedar expresada de la siguiente forma:
Min 3 -3X1 X2 + 6 +S1 3X2 4X1
MIn 9 7X1 4X2 +S1
Entonces el modelo que debe resolverse en la primera fase ser:
MIn 9 7X1 4X2 +S1
3x1+ x2 +
A1 = 3
4x1+3x2 - S1 + A2 6
X1+2x2 +
S2 4
3x1+ x2 +
Min
2 5/3 X2 + 7/3 A1 + S1
Puede observarse que la funcin objetivo tiene un valor menor que el anterior, 2, y que
se ha hecho cero la variable artificial A1 ya que ha pasado a ser no bsica. Sin
embargo, evaluando los coeficientes de las variables no bsicas en la funcin objetivo,
el coeficiente de X2 indica que esta solucin puede mejorar si esta variable entra a la
base, por lo cual debe realizarse una segunda iteracin. Si la funcin objetivo ya no
pudiera mejorar y todava es bsica una variable artificial estaramos frente a un
modelo sin solucin factible. Esto no sucede en este caso.
Segunda iteracin
Entra a la base X2.
Cul es la variable bsica saliente?
X1 + 1/3 X2 + 1/3 A1 = 1 Cota que determina para X2: 3
menor cota
De la primera restriccin:
X1 + 1/3(6/5 + 4/5 A1+ 3/5 S1-3/5 A2) + 1/3 A1 =1
X1 + 3/5 A1 + 1/5 S1 1/5 A2 = 3/5
De la segunda restriccin:
X2 4/5 A1 3/5 S1 3/5 A2 =6/5
De la tercera restriccin:
A1 + S1 A2 + S2 = 1
El valor de la funcin objetivo ser:
Min 2- 5/3 (6/5 + 4/5 A1 + 3/5 S1 3/5 A2 ) + 7/3 A1 + S1
Min 2 2 - 4/3 A1 S1 + A2 + 7/3 A1 + S1
Min A1 + A2
Con esta solucin en la que son no bsicas las variables A1 y A2, hemos conseguido
una solucin bsica factible inicial para el modelo original.
En esta ltima iteracin se verifica que se ha llegado a la solucin ptima del modelo
planteado para esta fase, toda vez que el valor ptimo de la funcin objetivo no puede
mejorar. La solucin hallada en esta primera fase, es solucin inicial para la segunda.
Si se hubiera verificado la prueba de optimidad y todava permanecieran en la base
variables artificiales, se podra afirmar que el modelo original carece de una solucin
factible.
Segunda fase :
En esta segunda fase la funcin objetivo que se optimiza, ser la del modelo original, y
retiraremos del modelo las variables artificiales que han quedado reducidas a cero:
Min 4X1 + X2
X1 + 1/5 S1 = 3/5
X2 3/5 S1 = 6/5
S1
S2 = 1
En el modelo, ahora se tienen 4 variables y tres restricciones por lo que debemos tener
una variable no bsica y tres bsicas. De los resultados de la fase anterior, las variables
bsicas son X1, X2 y S2 y la que qued como no bsica es la variable S1.
Siendo que X1 y X2 son bsicas, no deberan aparecer en la funcin objetivo por lo que
habr que reemplazarlas por las expresiones que las definen a partir de la primera y
segunda restriccin:
X1 = 3/5 - 1/5 S1
X2 = 6/5 + 3/5 S1
En la funcin objetivo:
Min 4(3/5 1/5S1) + (6/5 + 3/5 S1)
Min
Min
18/5 1/5 S1
Aplicando la prueba de optimidad se establece que esta solucin inicial puede mejorar
(reducirse ya que es de minimizacin) si S1 entra a la base.
Primera iteracin
S1 entra a la base
Cul es la variable bsica saliente?
X1 + 1/5 S1 = 3/5 cota que se determinara para S1: 3
X2 3/5 S1 = 6/5 cota que se determinara para S1 : 2
menor cota
S2
= 3/5
17/5 + S2