INSTITUTO TECNOLGICO DE CHIHUAHUA

V.UNIDAD.PROGRAMACIN LINEAL ENTERA

Materia: Investigacin de operaciones. Maestra: Arturo Caballero Burgos. Alumnas: Miriam Carrasco Fernndez. Teresa Yusalen Robledo Mndez.

Fecha de entrega: 10 de diciembre de 2013

ALGORITMO DE GOMORY O FRACCIONARIO

Es un mtodo de programacin lineal entera en el cual el requisito es que todos los coeficientes y la contante del segundo miembro de cada restriccin deben ser enteros. Se logra multiplicando ambos lados de la restriccin original por el mnimo comn mltiplo. Metodologa del mtodo 1. Resolver el problema primal, si la solucin es entera, corresponde a la ptima para el problema. 2. Seleccionar las fracciones y escoger aquella que tenga la mayor parte fraccionaria tomando las ecuaciones completas. 3. Se separan la parte entera, es decir, quedarse solamente con la parte fraccionaria tomando el mnimo comn mltiplo. 4. Se elige un rengln fuente. La variable z tambin es entera y la ecuacin z puede elegir como rengln fuente. 5. Se resuelve por medio del mtodo simplex. Luego de encontrar una solucin ptima para el primal; se define una nueva ecuacin de restriccin llama de corte fraccional y despus se pasa a dual simplex, para quitarle la infactibilidad al sistema. 6. Si la nueva solucin despus de realizar el dual-simplex es entera esta ser la solucin optima, de no ser as se vuelve a agregar un corte fraccional hasta obtener una solucin entera.

Desventajas Errores de redondeo pueden proporcionar la solucin ptima entera equivocada. El tiempo empleado para encontrar la solucin optima es muy grande.

Ventajas Sirve para resolver cualquier problema PLEB y PLEG.

Ejemplo MAX Z= 8X1 + 5X2 Restricciones 1X1 + 1X2 6 9X1 + 5X2 45 X1, X2 0 Estandarizacin 1X1 + 1X2 +S1 9X1 + 5X2 Z - 8X1 - 5X2 =6 + S2 =45 =0

Se introduce a un tableado simplex. 0 Cj b 6 45 0 8 X1 1 9 -8 5 X2 1 5 -5 0 S1 1 0 0 0 S2 0 1 0

CB 0 0 0

VB S1 S2 Z

Variable que entra a la base: X1, Variable que sale de la base: S2

CB 0 8 0

VB S1 X1 Z

b 1 5 40

X1 0 1 0

X2 4/9 5/9 -5/9

S1 1 0 0

S2 -1/9 1/9 8/9

 CB 5 8 0

Variable que entra a la base: X2, Variable que sale de la base: S1 VB X2 X1 Z b 9/4 15/4 165/4 X1 0 1 0 X2 1 0 0 S1 9/4 -5/4 5/4 S2 -1/4 1/4 3/4

Solucin ptima nica para el problema primal X1 = 15/4 X2 = 9/4 S1= 0 S2 =0 Z= 165/4

Pero para el problema no nos sirve la respuesta, ya que las variables de decisin tienen valores fraccionarios. 1.-X1- 5/4 S1+ 1/4 S2= 15/4 2.-(1 + 0) X1 + ( 2 + 3/4) S1 + (0 + 1/4) S2 = (3 + 3/4) 3.-3/4 S1 + 1/4 S2 = 3/4 Nueva ecuacin 4.-3/4 S1 + 1/4S2 3/4 Nueva restriccin 5.- 3/4 S1 1/4 S2 + S3 = 3/4 Ecuacin a introducir al sistema A continuacin se aplica el dual simplex, con el objetivo de quitarle la infactibilidad al sistema. CB 5 8 0 VB X2 X1 S3 b 9/4 15/4 -3/4 X1 0 1 0 X2 1 2 0 S1 9/4 -5/4 -3/4 S2 -1/4 1/4 -1/4 S3 0 0 1

165/4

5/4

3/4

Variable que se vuelve no bsica: S3, Variable que se vuelve bsica: S2

CB 5 8 0 0

VB X2 X1 S1 Z

b 0 5 1 40

X1 0 1 0 0

X2 1 0 0 0

S1 0 0 1 0

S2 -1 2/3 1/3 1/3

S3 3 -5/3 -4/3 5/3

Solucin optima del problema

X1=5 X2=0 S1=0 S2=1 S3=0 Z=40

RAMIFICACIN Y ACOTAMIENTO
Como al resolver un modelo por mtodo Simplex, casi siempre las soluciones son no enteras, se aproximan los valores no enteros de cada variable y se vuelve a resolver hasta encontrar una solucin entera que satisfaga todas las condiciones. VENTAJA: Sirve para todos los modelos PLEB y PLEG DESVENTAJAS: Tiempo: Toma tiempo resolver un solo modelo por mtodo Simplex. Pero eso es solo en el mejor caso. En el peor caso no se puede determinar cuntos modelos se resuelven por mtodo Simplex hasta llegar a una solucin entera. Valor menor al ptimo: El valor que se obtiene por el mtodo de ramificacin y acotamiento casi siempre es menor al valor obtenido en el mtodo Simplex para el caso no entero.

PRODECIMIENTO 1) Se tiene un modelo de programacin lineal entera.

2) Escoja un criterio de seleccin del subproblema a resolver. Ese criterio ser utilizado en toda la resolucin por ramificacin y acotamiento. Se tienen dos criterios: a) Subproblema ms reciente: Escoger siempre nodo correspondiente al ltimo modelo resuelto. b) Mejor cota: Escoger el nodo con el valor mayor de la cota. Si los dos nodos empatan en la cota, escoger uno arbitrariamente. Para este caso, se escogi el criterio de mayor cota. 3) Escoja un criterio de seleccin de la variable no entera a acotar. Se tienen 3 criterios: a) Orden natural: Desde la primera hasta la ltima variable de decisin, encontrar la primera ocurrencia de valor no entero y acotarla. b) Valor con la parte decimal ms cercana a 0.5. Si 2 o ms variables empatan en tener la parte decimal ms cercana a 0.5, escoger una arbitrariamente. c) Variable que participa en la mayor cantidad de restricciones. Si 2 o ms variables empatan en participar en la mayor cantidad de restricciones, escoger una arbitrariamente. Para este caso, se escogi el criterio de Orden Natural. Se resuelve el modelo por mtodo Simplex tratndolo como si fuera un modelo de programacin lineal no entera. Para ello se deben agregar las restricciones Xi > 0 y Xi < 1 i. La solucin obtenida al modelo resultante para el caso del modelo de arriba es: X1 = 5/6, X2=1, X3=0, X4=1, Z* = 16 .

4) Se crea un nodo enumerado con un cero y al lado de l se anota: a) El ltimo valor ptimo PLEB o PLEG encontrado. Como en este caso no se ha encontrado una solucin PLEB al modelo de arriba, se coloca z* = . b) Los valores de la solucin obtenida en el modelo. En este caso, se debe anotar: x (5 / 6,1,0,1) c) El valor de z obtenido con x . En este caso es 16

d) La cota, la cul es el valor de z redondeado hacia abajo.

z* = . 0

x (5 / 6,1,0,1)
z = 16 Cota = 16

5) Si la solucin es entera, la resolucin termina aqu. Si no, se toma la variable cuyo valor sea no entero. En este caso, X1 = 5/6. Luego se dibujan 2 arcos desde el nodo 0. El peso de uno de los arcos, si el modelo es PLEG es la restriccin Xj < TRUNC (Xj) y el del otro arco es la restriccin Xj > ROUND (Xj), donde Xj es la variable que contiene el valor no entero, TRUNC redondea el valor numrico de la variable hacia abajo y ROUND redondea el valor numrico hacia arriba. En el caso de los modelos PLEB, el peso de uno de los arcos es Xj = 0 y el del otro arco es Xj = 1.

6) Luego se crean 2 nodos 1 y 2, cada uno al final de cada arco en el orden deseado. Para cada nodo se debe modificar el modelo del punto 2, agregndole a ste la restriccin del arco correspondiente y resolviendo el modelo resultante. Usted puede empezar por el nodo que usted desee.

En este caso, se cre un nodo 2 al final del arco izquierdo y se modific el modelo relajado original, agregndole la restriccin X1 = 1 y obtenindose el resultado indicado al lado del nodo 2. El mismo paso se sigui con el nodo 1, agregndose la restriccin X1 = 0. 7) Dependiendo del criterio utilizado ser el valor de la solucin definitiva a la resolucin del modelo. En este caso, si se hubiera escogido el criterio del subproblema ms reciente y se hubiese resuelto el modelo del nodo 1 al final, o si la solucin al modelo del nodo 2 fuese imposible, la resolucin terminara aqu y se dejara z* = 9. Pero como se escogi el criterio de mejor cota, estamos forzados a continuar desde el nodo 2. Ntese tambin que para el nodo 2, existen 2 valores de la solucin que empatan en ser las ms lejanas del entero. Si se hubiese escogido el criterio de la variable con el valor ms lejano del entero, estaramos forzados a escoger arbitrariamente cul acotar. Si se hubiese escogido el criterio de la variable que participa en la mayor cantidad de restricciones, hubisemos tenido que escoger a la variable X4, por estar en ms restricciones que X2. Pero como se escogi el criterio del orden natural, tendremos que acotar la variable X2.

8) Volver al paso 4 y repetir (respetando la numeracin y al padre de cada nodo) hasta encontrar la primera solucin entera que satisfaga todos los criterios escogidos.

ADVERTENCIA: En el caso de PLEG, mientras se ramifica, se puede llegar a un ciclo dependiendo de la situacin. Estos ciclos no son infinitos a menos que quien est resolviendo decida escoger nuevamente el mismo camino.