METODO DE GOMORY

Gomory fue el primer creador del algoritmo para resolver mtodos de

programacin entera, el algoritmo de gomory consiste en resolver el problema
sin considerar las restricciones del carcter entero de las variables y si la
solucin no es entera aade restricciones que reduce el conjunto de soluciones
del problema lineal continuo asociado, sin excluir ninguna solucin entera
En matemtica, y ms en concreto en optimizacin, el mtodo de los planos de
corte es un procedimiento para encontrar soluciones enteras de un problema
lineal. Fue introducido por Gomory.
Funciona resolviendo un programa lineal no entero, despus comprobando si
la optimizacin encontrada es tambin una solucin entera. Si no es as, es
aadida una nueva restriccin que corta la solucin no entera pero no corta
ningn otro punto de la regin factible. Esto se repite hasta que se encuentra la
solucin entera ptima.
Interpretacin geomtrica, una restriccin es equivalente a un hiperplano,
permitiendo solo soluciones en uno de los lados del plano.

Mtodo fraccional de Gomory

Este mtodo solo resuelve modelos enteros puros y consta de los siguientes
pasos:
1.- Resolver el modelo relajado, es decir, que las variables sean continuas.
2.- Si el resultado es entero, entonces ya se tiene la solucin optima, si no
seguir con el mtodo.
3.- Seleccionar el max ( XBi [XBi] ) incluyendo al renglon Zj - Cj , fraccionario
y generar un nuevo corte o nueva restriccin:
(aij [aij])xj (xBi [xBi])
aadir este corte como una nueva restriccin y resolver utilizando el mtodo
Dual Simplex; ir al paso 2.

Nota: Z es entero si y solo si los coeficientes de la funcin objetivo son enteros

y asi utilizar al renglon Zj - Cj en la tabla simplex.

MTODO PURO DE GOMORY

El algoritmo puro de Gomory es una variacin del mtodo fraccional de

Gomory, al igual que este mtodo la matriz A debe ser entera. Adems debe
cumplir las condiciones para aplicar el mtodo dual simplex (optimalidad inicial
y al menos un negativo en la solucin):
Condicin de optimalidad

Valor de variable bsica < 0.

Definicin: Un vector es lexicogrficamente positivo si el primer componente

diferente de cero es positivo. Cuando un vector X es lexicogrficamente
positivo se escribe X}0.

Ejemplo:
X= (0. 3, -2, 9) X = 0
X = (0,0,-3,12) X no es 0
Definicin: un vector X es lexicogrficamente mayor que otro vector Y si X -
Y =0

Ejemplo:
X = (0, 3, -2)
Y = (1, 2, 2)
X Y = (-1, 1, -4)
X no es lexicogrficamente mayor que Y
X - Y = 0, por tanto Y es lexicogrficamente mayor que X.
Y X = (1, -1, 4)
Los pasos del mtodo son:
1) Elige la XBi ms negativa. Se designa a esa fila con r. Si el mtodo dual
simplex genera un pivote -1, aplicar el mtodo dual simplex. Si no continuar
con el mtodo.
2) Elige aquella columna no-bsica con arj<0 que sea lexicogrficamente la
menor. Se designa una columna por k. Al primer elemento distinto de cero
de dicha columna se le designa por apk(>0) siendo su fila correspondiente
la p.
3) Para la columna arj<0 se calcula el ndice uij = [akj/apk] si es que apj es
el primer elemento diferente de cero en la columna j. De otra manera uj=.
4) Se calcula =max [ !arj! / uj ]para arj<0 y uj.
5) Se deriva el corte:
6) Se anexa este a la tabla junto con su variable de holgura correspondiente
y se aplica el mtodo dual simplex sobre el entero. Si el resultado es XB0
entonces se tiene la solucin ptima, si no ir al paso 1.