Algoritmo Fraccional de

Gomory
Un mtodo para resolver problemas de Programacin Lineal
Entera Mixta y Pura es el procedimiento del Plano Cortante de
Gomory.
Este procedimiento que produce la mejor solucin cuando las
variables deben ser expresadas en nmeros enteros; inicia
resolviendo el problema por el mtodo Simplex sin considerar el
requerimiento de enteros.
Despus de que la solucin ptima no entera es obtenida a travs
del Simplex, una nueva restriccin Lineal es desarrollada para
satisfacer los requerimientos de enteros.
La nueva ecuacin restrictiva es aadida a la tabla del Simplex y
una nueva variable entra en solucin. Cuando la nueva variable
entra en solucin, causa que al menos una de las variables
bsicas tome un valor entero. El proceso continuo hasta que
todas las variables bsicas sean enteras.

Algoritmo Fraccional de
Gomory
Paso 1 Obtenga la solucin optima usando el metodo simplex
Paso 2 si son todas las variables bsicas enteras? Pase al ltimo
paso, lo contrario contine con el paso 3.
Paso 3 Seleccione la restriccin con la mayor parte fraccional en
su solucin
Paso 4 De tal seleccin se separan la parte entera, es decir,
quedarse solamente con la parte fraccionaria.
Paso 5 Y de ello tendremos nicamente a las variables de holgura
sin multiplicar por (-1) (como sucedi en el caso anterior), siendo
esta ecuacin menor igual a 0.(ecuacin 1)
Paso
6
Se toman las restricciones al inicio del problema
estandarizadas, a continuacin deber de despejar las variables no
bsicas, con el objetivo de tener ecuaciones en funcin a las
variables bsicas.

Algoritmo Fraccional de
Gomory
Paso 7 Deber de reemplazar estas variables en la ecuacin
anterior (ecuacin 1), teniendo una nueva restriccin en funcin
a las variables bsicas.
Paso 8
Ahora se tendr un nuevo problema agregando la
nueva restriccin, aplicando el mtodo simplex.
Paso 9 Si son todas las variables bsicas enteras, vaya al ltimo
paso, caso contrario, vaya al paso 3.
Paso 10 Se ha obtenido la solucin ptima entera

Algoritmo Fraccional de Gomory

Ejemplo:
Ejemplo:
Maximizar
Maximizar Z
Z == x1
x1 ++ 9x2+x3
9x2+x3
Sujeto
Sujeto a:
a:
x1
x1 ++ 2x2+3x3
2x2+3x3 99
3x1
3x1 ++ 2x2+2x3
2x2+2x3 15
15
x1,
x1, x2
x2 00 yy entero
entero
Estandarizando:
Estandarizando:
Maximizar
Maximizar Z
Z =x1
=x1 ++ 9x2+x3+0x4+0x5
9x2+x3+0x4+0x5
Sujeto
Sujeto a:
a:

x1
== 99
x1 ++ 2x2+3x3+x4
2x2+3x3+x4
3x1
3x1 ++ 2x2+2x3+
2x2+2x3+ x5
x5 == 15
15

x1,
x1, x2,
x2, x3,
x3, x4
x4 00 yy entero
entero

Algoritmo Fraccional de Gomory

PRIMERA
PRIMERA TABLA
TABLA SIMPLEX
SIMPLEX

Ck
0
0

X4
X5

Zj

Cj

Bi

X1

X2

X3

X4

X5

9
15

1
3

2
2

3
2

1
0

0
1

4,
5
7,
5

-1

-9

-1

Zj- Cj
Cj

Ck

Xk

bi

X1

X2

X3

X4

X5

9
0

X2
X5

9/2
6

1/2
2

1
0

3/2
-1

1/2
-1

0
1

81/2 9/2

27/2 9/2

7/2

25/2 9/2

Zj
Zj- Cj

Algoritmo Fraccional de
Gomory
La solucin ptima es:
X1 = 0
X2 = 9/2
X3 = 0
X4 = 0
X5=6
Z = 81/2

Informacin de la tabla Simplex ptima

Ecuacin X2:
Ecuacin X5:

1/2X1 + X2+ 3/2X3 +1/2X4 = 9/2

2X1-X3-X4+X5 = 6

En la primera iteracin del algoritmo del plano de corte se puede usar

cualquiera de los cortes .
Clculo de la nueva restriccin, a partir de la Ecuacin 1
1/2X1 + X2+ 3/2X3 +1/2X4 = 9/2
Remplazamos cada coeficiente de la ecuacin, por la suma de un nmero
entero de cualquier signo y una fraccin no negativa menor que uno (1).
(0+1/2)X1 + (0+1)X2+ (1+1/2)X3 +(0+1/2)X4 = 4+1/2
Trasladamos los trminos con coeficiente entero, al lado izquierdo.
4-X2-X3=1/2X1+1/2X3+1/2X4-1/2
Entera

Fraccionaria

Tomamos la parte fraccional, en la cual tiene q ser (<=0)

1/2X1+3/2X3+1/2X4-1/2<= 0
Adicionando una variable de holgura (s1)
1/2X1+1/2X3+1/2X4 + s1= 1/2CORTE I
Esta restriccin se aade como una restriccin secundaria a la tabla
simplex ptima.
Cj

Ck

Xk

bi

X1

X2

X3

X4

X5

S1

9
0
0

X2
X5
s1

9/2
6
-1/2

1/2
2
-1/2

1
0
0

3/2
-1
-1/2

1/2
-1
-1/2

0
1
0

0
0
1

81/2

9/2

27/2

9/2

7/2

25/2

9/2

Zj
Zj- Cj

La tabla smplex es ptima, pero no factible. Aplicamos el mtodo simplex dual para
recuperar la factibilidad, lo que nos da:

TABLA SIMPLEX DUAL

Ck

Xk

9
0
0
Zj
Zj- Cj

Cj

Bi

X1

X2

X3

X4

X5

S1

4
4
1

0
0
1

1
0
0

1
-3
1

O
-3
1

0
1
0

1
4
-2

37

Algoritmo Fraccional de Gomory

La Solucin Optima Entera es Cuando:

X2= 4
X1=1
X3=0
X4=0
x5=0

S1=0
S2=0

Z=37

Solucion factible, ptima y ENTERA

a
h
c
u
M

s
a
i
c
a
r
g
s