Solucin Grfica de Modelos

Lineales con dos Variables.

Solucin grfica de P.L.con dos variables:
trazar un eje de coordenadascartesianas.
Graficar las desigualdades dadas por el
problema, despus encontrar el rea de
Soluciones Factibles y
Proceder a graficar F.O.para conocer el
valor ptimo (maximizar o minimizar) que
ser la solucin del problema.


Problema de mezcla de
productos.

Fabricante: decidir cantidades de
produccin: mesas y sillas.
Se tiene 96 unidades de material y con 72
horas de mano de obra.
Mesa requiere: 12 unidades de material y 6
horas de mano de obra.
Silla: usan 8 unidades de material y
requieren 12 horas de mano de obra.


El margen de contribucin es el mismo para las
mesas que para las sillas: $5.00 por unidad.
El fabricante prometi construir por lo menos dos
mesas.
Paso 1: formulacin del problema.
Expresarlo en trminos matemticos en el
formato general de PL.
Cul es el objetivo? Es maximizar la
contribucin a la ganancia.


Cada unidad de mesas o sillas producidas
contribuir con $5 en la ganancia.
Maximizar Z = 5x1 + 5x2
x1 = nmero de mesas producidas
x2 = nmero de sillas producidas
Cules son las restricciones o limitaciones del
problema?
1)El material est limitado a 96 unidades. Mesa:
12 u de mat. Silla: 8 u de mat. 12x1 + 8x2 96


2) Total de horas de mano de obra. Mesa: 6
horas. Silla: 12 horas y se dispone de un
total de 72 horas.
As: 6x1 + 12x2 72
3)Fabricante prometi producir por lo
menos dos mesas. x1 2
4) Restricciones de no negatividad:
x1 0, x2 0.




Max F.O. Z = 5x1 + 5x2
Restricciones:
12x1 + 8x2 96
6x1 + 12x2 72
x1 2
x1 0, x2 0

grfica de las restricciones.
1.-no negatividad
2.- x1 2
3.-Horas de mano de obra
Combina Restricciones 2 y 3
+Restriccin de material
Obtencin de la Solucin
ptima
Obtencin de la Solucin
ptima
Z = 5(6) + 5(3) = $45
Resumen del mtodo grfico.

Exprsense los datos del problema como
una funcin objetivo y restricciones.
Grafquese cada restriccin. Localcese la
solucin ptima.



Uso del mtodo grfico para
minimizacin.


Problema de PL: Ell objetivo es minimizar
costos.
La solucin del problema de minimizacin
sigue el mismo procedimiento que la de
problemas de maximizacin.
La diferencia es que se quiere el menor
valor posible para la funcin objetivo.

Ejemplo: Problema de dieta.

Un comprador est tratando de seleccionar la
combinacin ms barata de dos alimentos.
Vitaminas: Por lo menos 40 unidades de vitamina
W, 50 de X y 49 Y.
Cada onza del alimento A: proporciona 4
unidades de vitamina W, 10 de X y 7 de Y;
cada onza del alimento B: proporciona 10
unidades de W, 5 de X y 7 de Y.
A cuesta 5 soles/kgr.y el alimento B cuesta 8
soles/kr.


Paso 1: formulacin del
problema
La meta es encontrar la manera menos
costosa para satisfacer las necesidades
vitamnicas.
Las dos alternativas disponibles son los
alimentos A y B.
Matemticamente la funcin objetivo es:
Minimizar Z = 5A + 8B


Las restricciones son los requerimientos
mnimos de las tres vitaminas.
4A + 10B 40 vitamina W
10A + 5B 50 vitamina X
7A + 7B 49 vitamina Y
A 0, B 0 no negatividad




Paso 2: grfica de las
restricciones.


La restriccin pide 40 unidades o
ms de la vitamina W.
Grafica de la restriccin para la
vitamina X. 10A + 5B 50
vitamina X

+Tercera Restriccin


Paso 3: Localizacin de la
Solucin ptima.


b es la solucin ptima.
b es la interseccin de dos lneas:
(1) 4A + 10B = 40
(2) 7A + 7B = 49
La solucin menos costosa es 5 kgr. A y 2
kgr.de B.
El costo total de esta combinacin es:Z =
5A + 8B = 5(5) + 8(2) =
25 + 16 = 41 soles.






Mtodo de Prueba y Error

Resultados de prueba y error
Punto Coordenadas
Z
a A = 10, B = 0 50
b A = 5, B = 2 41 menor
c A = 3, B = 4 47
d A = 0, B = 10 80




CASOS ESPECIALES.
Mltiples soluciones.


Maximizar Z=3x
1
+2x
2

sujeta a
x
1
4
x
2
12
3x
1
+ 2x
2
18
x
1
0 x
2
0




Ninguna solucin factible.


Maximizar Z = 3x1 + 2x2
1/40x1 + 1/60x2 1
1/50x1 + 1/50x2 1
x1 30
x2 20
x1 0 x2 0

rea o Regin de Soluciones
Factibles no Acotada.
Maximizar Z=2x
1
x
2

x
1
x
2
1
2x
1
+ x
2
6
x
1
0, x
2
0


Mtodo Smplex.

El mtodo smplex es un algoritmo
Procedimiento iterativo de solucin es un
algoritmo.
Algoritmo:proceso en el que se repite (se itera)
un procedimiento sistemtico una y otra vez hasta
obtener el resultado deseado.
Cada vez que se lleva a cabo el procedimiento
sistemtico se realiza una iteracin.
Algoritmo: sustituye un problema difcil por una
serie de problemas fciles.




Adems de las iteraciones, los algoritmos
incluyen un procedimiento para iniciar y
un criterio para determinar cundo
detenerse.


El mtodo smplex:Procedimiento algebraico.
Cada iteracin contiene la solucin de un sistema
de ecuaciones para obtener una nueva solucin a
la que se le aplica la prueba de optimalidad.
Tambin tiene una interpretacin geomtrica.


Solucin por el mtodo grfico
Los puntos de interseccin son soluciones
en los vrtices del problema.
Los cinco puntos que se encuentran en los
vrtices de la regin factible, - (0,0), (0,6),
(2,6), (4,3), (4,0) son las soluciones
factibles en los vrtices.
Algunas de estas soluciones factibles en un
vrtice son adyacentes,
En el sentido que estn conectadas por una sola
orilla (segmento de lnea) de la frontera de la
regin factible;
(0,6) como (4,3) son adyacentes a (2,6).
Las tres propiedades soluciones factibles en los
vrtices y que forman el fundamento del mtodo
smplex se resumen como sigue:



Propiedades de las soluciones
factibles en un vrtice:


1a. Si existe una solucin ptima: debe ser una
solucin factible en un vrtice.
1b. Si existen soluciones ptimas mltiples:al
menos dos de ellas deben ser soluciones factibles
en vrtices adyacentes.
2.Existe slo un nmero finito de soluciones
factibles en los vrtices adyacentes.
3.Si una solucin en un vrtice es igual o menor
(segn el valor de Z) que todas las soluciones
factibles en los vrtices adyacentes a ella,
entonces es igual o mejor que todas las dems
soluciones en los vrtices; es decir, es ptima.


La propiedad 1:La bsqueda de la solucin
ptima se puede reducir a la consideracin de
slo las soluciones factibles en los vrtices.
Slo existe un nmero finito de soluciones que es
necesario tomar en cuenta (propiedad 2).
La propiedad 3 proporciona una prueba de
optimalidad.
El mtodo smplex explota estas tres
propiedades: examinar unas cuantas soluciones
factibles en vrtices y se detiene en cuanto una
prueba de optimalidad.
Se traslada repetidamente (en forma iterativa) de
una solucin factible en un vrtice a otra,
adyacente y mejor.
Esto se puede realizar en forma muy eficiente
hasta que la solucin actual no tiene soluciones
factibles en vrtices adyacentes que sean mejores.

Bosquejo del mtodo smplex:

1. Paso inicial: inicio en una solucin factible en
un vrtice.
2. Paso iterativo: traslado a una mejor solucin
factible en un vrtice adyacente. (Reptase este
paso las veces que sea necesario).
3. Prueba de optimalidad: la solucin factible
en un vrtice es ptima cuando ninguna de las
soluciones en vrtices adyacentes a ella sean
mejores.
Este bosquejo muestra la esencia del mtodo
smplex.

En el caso del ejemplo
1. Paso inicial: comienza en (0,0).
2a. Iteracin 1: se mueve de (0,0) a (0,6)
2b. Iteracin 2: se mueve de (0,6) a (2,6).
3. Prueba de optimalidad: ni (0,6) ni (4,3)
son mejores que (2,6), entonces se detiene,
(2,6) es ptima.




Preparacin para el mtodo
smplex.


Procedimiento algebraico: mejor manejar
ecuaciones que desigualdades.
Primer paso:convertir las restricciones
funcionales de desigualdad en restricciones
equivalentes.
Las restricciones de no negatividad se pueden
dejar como desigualdades porque el algoritmo las
usa slo indirectamente.
Esta conversin se hace mediante la introduccin
de variables de holgura.


Considrese la primera restriccin funcional del
ejemplo:x1 4
La variable de holgura para esta restriccin es x3.
x1 + x3 = 4
La restriccin original x1 4 se cumple siempre
que x3 0.
Por tanto, x1 4 es equivalente al conjunto de
restricciones
x1 + x3 = 4 y x3 0.





El modelo de P.L.original se
puede sustituir por el modelo
equivalente
Maximizar Z = 3x
1
+ 5x
2
,
sujeta a
x
1
+ x
3
= 4
2x
2
+ x
4
=10
3x
1
+ 2x
2
+x
5
= 18
x
j
0 para j = 1, 2, , 5




Solucin aumentada: variables de holgura.
Solucin (3,2): Solucin aumentada
(3,2,1,8,5), valores de las variables de
holgura son x3 = 1, x4 = 8, x5 = 5.
Solucin bsica: Solucin en un vrtice
aumentada.


Solucin no factible en el vrtice (4,6):
solucin bsica (4,6,0,0,6).
Una solucin bsica factible es una
solucin factible en un vrtice aumentada.
Solucin factible, Vrtice (0,6): solucin
bsica factible (0,6,4,0,6).

El sistema de restricciones tiene dos grados de
libertad: cinco variables y tres ecuaciones.
Se pueden elegir dos variables cualesquiera y
hacerlas iguales a cualquier valor arbitrario.
El mtodo smplex usa cero para este valor
arbitrario.
Las variables que por el momento se hacen
iguales a cero se llaman variables no bsicas;
todas las dems se llaman variables bsicas.
La solucin que resulta es una solucin bsica.
Si todas las variables bsicas son no negativas,
entonces se tiene una solucin bsica factible.
Para cualquier solucin bsica, la solucin en el
vrtice correspondiente se obtiene simplemente al
quitar las variables de holgura.
Dos soluciones bsicas son adyacentes si todas
menos una de sus variables son las mismas; la
misma aseveracin se cumple para las variables
bsicas.
Entonces, trasladarse de una solucin bsica
factible a una adyacente significa cambiar el
estado de una variable de no bsica a bsica y
viceversa para otra variable.



Nmero de variables no bsicas: de una
solucin bsica siempre es igual a los grados de
libertad del sistema de ecuaciones
Nmero de variables bsicas: siempre es igual
al nmero de restricciones funcionales.

Maximizar Z,
sujeta a
Z
3x
1
5x
2

= 0
x
1

+
x
3

= 4
2x
2

+
x
4

= 10
3x
1

+
2x
2

+
x
5

= 18
x
j

0 para j = 1, 2, , 5

La Tabla Smplex:

Las columnas de x
3
, x
4
y x
5
(igual que
de Z): contiene un +1 en el rengln
que corresponde a esa variable bsica
y todos los dems coeficientes en esa
columna son cero.
Cada ecuacin contiene exactamente
una variable bsica con coeficiente
distinto de cero, en donde este
coeficiente es +1.

cada variable bsica es igual a la constante del
lado derecho de su ecuacin.
Las variables no bsicas son iguales a cero.
La tabla smplex inicial quedar automticamente
en esta forma apropiada.
El mtodo smplex construye una tabla smplex
para cada solucin bsica factible que se obtiene,
hasta alcanzar la solucin ptima.

PASO INICIAL
Introducir variables de holgura.
Variables originales: Variables no bsicas
iniciales (se igualan a cero) y
Variables de holgura: variables bsicas.
Esta seleccin lleva a la tabla smplex inicial
anterior.
De inmediato se obtiene la solucin bsica
factible inicial (0,0,4,10,18).
Ahora debe realizarse la prueba de optimalidad
para determinar si la solucin es optima.

PRUEBA DE OPTIMALIDAD
La solucin bsica factible actual es ptima:
Todos los coeficientes de la ecuacin de la
funcin objetivo (rengln de Z) son no negativos
( 0 ).
Si es as, el proceso termina; de otra manera, se
lleva a cabo otra iteracin para obtener la nueva
solucin bsica factible,
Lo que significa el cambio de una variable no
bsica por una bsica (parte 1) y viceversa (parte
2), y despus despejar las variables de la nueva
solucin (parte 3).

PASO ITERATIVO-Parte 1
Se determina la variable bsica entrante:
Eleccin de la variable con el coeficiente
negativo que tiene el mayor valor absoluto en la
ecuacin de Z.
Se enmarca la columna correspondiente a este
coeficiente;
esta columna recibe el nombre de columna
pivote.
Ejemplo, el coeficiente negativo ms grande (en
trminos de valor absoluto) es 5 para x2 (5>3),
por lo que x2 debe convertirse en variable bsica.

PASO ITERATIVO- Parte 2.
Determinar la variable bsica que sale;
a) se toma cada coeficiente estrictamente positivo
(>0) de la columna enmarcada,
b) se divide el lado derecho de cada rengln entre
estos coeficientes,
c) se identifica la ecuacin con el menor
coeficiente y
d) se selecciona la variable bsica para esta
ecuacin.

Esta variable bsica es la que llega a cero
primero cuando se incrementa la variable
bsica entrante.
Se enmarca el rengln de esta ecuacin en
la tabla smplex sin incluir la columna Z y
Se le da el nombre de rengln pivote.
El nmero que est en la interseccin de
los dos recuadros se llama pivote.



PASO ITERATIVO-Parte 3.

Se determina la nueva solucin bsica factible
Construir una nueva tabla smplex .
Las primeras dos columnas no cambian, excepto
que la variable bsica entrante sustituye a la
variable bsica que sale en la columna de
Variable Bsica.
Cambiar el coeficiente de la nueva variable
bsica en el rengln pivote a +1,
Dividir todo el rengln pivote entre el nmero
pivote:Rengln pivote nuevo = Rengln pivote
antiguo / pivote


Obtener un coeficiente 0 para la nueva variable
bsica en las otras ecuaciones,
Cada rengln [inclusive el de la ecuacin de Z]
excepto el rengln pivote, se cambia por la nueva
tabla smplex usando la siguiente frmula:
Rengln nuevo = rengln antiguo
(coeficiente en la columna pivote
rengln pivote nuevo)


Rengln de Z: [3 5 0 0 0, 0]
(5) [ 0 1 0 1/2 0, 6]
Rengln nuevo =` [3 0 0 5/2 0, 30]
Rengln 3: [3 2 0 0 1, 18]
(2) [0 1 0 1/2 0, 6]
Rengln nuevo = [3 0 0 1 1, 6]
Prueba de optimalidad: Z todava tiene
coeficientes negativos (3 para x1).
Regreso al paso iterativo
El paso iterativo comienza de nuevo en la tabla
smplex actual para encontrar la nueva solucin.
x1 es la variable bsica entrante y x5 la variable
bsica que sale, como se muestra en la siguiente
tabla:


En las siguientes tablas se muestra el conjunto
completo de las tablas del mtodo smplex para
este ejemplo. La nueva solucin bsica factible es
(2, 6, 2, 0, 0), con Z = 36.
Prueba de optimalidad:solucin es ptima( no
hay coeficientes negativos en la ecuacinde Z).
La solucin ptima(sin tomar en cuenta las
variables de holgura) es x1 = 2, x2 = 6.


Empate para la variable bsica
entrante


Paso 1: elegir la variable bsica con el coeficiente
negativo con el mayor valor absoluto en la
ecuacin de Z actual como la variable bsica
entrante.
Supone: dos o ms variables no bsicas tienen el
coeficiente negativo ms grande (en valor
absoluto),
Hay empate entre ellas:ej
Z-3x1-3x2 = 0. Cmo romper este empate



La eleccin se puede hacer de manera arbitraria.
Se llega a la solucin ptima, sin importar cul
de las variables empatadas se haya escogido,
No existe un mtodo conveniente para predecir
cul va ms rpidamente al optimo.
En el ejemplo: si se escoge x1 como variable
entrante, el mtodo smplex alcanza la solucin
ptima (2, 6) en tres iteraciones y
si se elige x2, llega en dos.


Empate para la variable bsica
que sale - degeneracin
Empate:entre dos o ms variables bsicas al
elegir la variable que sale en el paso 2 de una
iteracin.
Importa cul se escoge? En teora s,
1)Todas las variables empatadas se hacen cero al
mismo tiempo cuando aumenta el valor de la
variable entrante.
Las que no se eligen como variable bsica
saliente, tambin tendrn un valor de cero en la
nueva solucin bsica factible.
Las V.B. cero se llaman degeneradas y la
solucin bsica factible tambin.
2) Si una de estas V.B.degeneradas sigue con
valor cero hasta que se le selecciona como
saliente
La V.B. entrante queda con valor de cero (ya que
no puede crecer sin que la variable bsica que
sale se vuelva negativa).
Entonces: el valor de Z permanecer sin cambio.
3) Si Z permanece igual en lugar de mejorar en
cada iteracin, se caeria en un ciclo.

Se repite la misma secuencia de soluciones
peridicamente, sin aumentar para llegar a la
solucin ptima.
En teora es posible que haya ciclos perpetuos,
pero es raro encontrarlos en problemas reales.
De un ciclo se puede salir: cambiando la
eleccin de la variable bsica que sale.
Se recomienda romper los empates
arbitrariamente: seguir el proceso sin preocuparse
de las variables que puedan resultar.



Cuando no hay variable bsica
que sale - Z no acotada.


Cuando en el paso 2: Ninguna variable califica
como variable bsica que sale.
Esta situacin puede ocurrir si la variable bsica
entrante puede crecer indefinidamente sin que
ninguna de las variables bsicas actuales adquiera
valores negativos.
En la tabla: Todos los coeficientes en la columna
pivote (se excluye el rengln de Z) son negativos
o cero.



Ejemplo
Maximizar Z = 3x
1
+ 5x
2
,
sujeta a x
1
4
y x
1
0, x
2
0


Interpretacin: las restricciones no impiden el
crecimiento indefinido de la funcin objetivo Z,
El mtodo smplex se detiene con el mensaje de
que Z es no acotada.
Mensaje real en problemas prcticos es: Se ha
cometido un error! modelo mal formulado,
omisin de una restriccin relevante, o haberla
establecido incorrectamente.



Soluciones ptimas mltiples.

Si cambiamos la F.O.a
Z = 3x1 + 2x2
Todos los puntos sobre el segmento de
recta (2,6)- (4,3) son soluciones ptimas.
Todas las soluciones son un promedio
ponderado de estas dos soluciones factibles
en los vrtices ptimas:
(x1, x2) = w1(2, 6) + w2(4, 3),


Figura: mtodo grfico
Los pesos w1 yw2 son nmeros que satisfacen
las relaciones:
w1 + w2 = 1 y
w1 0, w2 0
Por ejemplo, w1 = 1/3 y w2 = 2/3
(x1, x2) = 1/3(2, 6) + 2/3(4, 3) =
(2/3+8/3, 6/3+6/3) = (10/3, 4)
solucin ptima:(10/3, 4)





Combinacin Convexa: cualquier promedio
ponderado de dos o ms soluciones (vectores)
donde los pesos son no negativos y suman 1
Toda Solucin ptima en el ejemplo es una
combinacin convexa de (2, 6) y (4, 3).
Este ejemplo es representativo de problemas con
soluciones ptimas mltiples.


Definiciones
Cualquier problema de P.L. con soluciones
ptimas mltiples (y una regin factible acotada)
tiene al menos dos soluciones factibles en los
vrtices que son ptimas.
Toda solucin ptima es una combinacin lineal
de estas soluciones factibles en los vrtices
ptimas. Entones,
Toda solucin ptima es una combinacin
convexa de las soluciones bsicas factibles
ptimas.



El mtodo smplex se detiene al encontrar una
solucin bsica factible ptima.
Puede ser necesario identificar las otras
soluciones ptimas.
Entonces, toda solucin ptima es una
combinacin convexa de las soluciones bsicas
factibles ptimas.



Siempre que se tiene ms de una solucin bsica
factible ptima:
Al menos una VNB tiene coeficiente cero en la
ecuacin de Z final, si aumenta su valor, el valor
de la funcin Z no cambia.
Las otras SBFO se pueden identificar: con
iteraciones adicionales, se elige una VNB con
coeficiente cero como variable bsica entrante.
Si alguna iteracin no tiene una variable bsica
que sale, indica regin factible no acotada y la
V.B. entrante puede crecer indefinidamente sin
cambiar el valor de Z.