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 b c d

A = 10, B = 0 A = 5, B = 2 A = 3, B = 4 A = 0, B = 10

50 41 menor 47 80

CASOS ESPECIALES. Mltiples soluciones.

Maximizar sujeta a x1 3x1 + x1 0 Z=3x1+2x2
4 12 18 x2 0

x2 2x2

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
x1

Z=2x1x2
x2 x2 1 6

2x1 +

x1 0, x2 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 = 3x1 + 5x2, sujeta a x 1+ x3 = 4 2x2 + x4 =10 3x1+ 2x2 +x5 = 18 xj0 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 = 0 3x1 5x2 + x3 = 4 x1 + x4 = 10 2x2 + x5 = 18 3x1 + 2x2 para j = 1, 2, , 5 xj 0

La Tabla Smplex:

 Las columnas de x3, x4 y x5 (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

5 1 0

0 0 0

0 1/2 5/2

0, 0, 0,

0] 6] 30 ]

Rengln nuevo =`

[3

Rengln 3: (2) Rengln nuevo =

[3 [0 [3

2 1 0

0 0 0

0 1/2 1

1, 0, 1,

18 ] 6] 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 = 3x1 + 5x2, sujeta a x1 4 y x1 0, x2 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.