You are on page 1of 40

UNIVERSIDAD NACIONAL DE INGENIERIA

Facultad de Ciencias
Escuela Profesional de Matem,tlca

PROGRAMACION LINEAL ENTERA PURA

- Algoritrno Fracciona! de Gomory


-Algoritmo Totalmente Entero de Gomory

Tesis para optar el Tftulo de:


LICENCIADO EN MATEMATICAS
Presentado por:
ROLANDO RAUL PALOMINO VILDOSO

Asesor:
Mstro. HECTOR CARLOS GUIMARAY HUERTA

LIMA-PERU
1995

INDICE
PAG.

- 1 NTRODUCCION ............................................................................................ 1
- ALGORITMO FRACCIONAL DE GOAORY .................................................. 2
-Creacin del Plano de Corte ...................................................................... 2
- Eleccin del Plano de Corte ....................................................................... 9
- Filas y columnas constantes en la tabla simplex ......................................... 1 3
- Convergencia del Algoritmo Fracciona! ...................................................... 20
- Formulacin ( Algoritmo Fracciona! ) .......................................................... 24
-ALGORITMO TOTALMENTE ENTERO DE GOMORY ................................. 25
- Creacin del Plano de e orte ....................................................................... 25
- Convergencia del Algoritmo ........................................................................ 30
- Formulacin ( Algoritmo Totalmente Entero) ............................................. 35
- Comparacin de los Algoritmos con el Algoritmo de DAKIN
(Ramificacin y Acotamiento) ......................................................................... 36
-CONCLUSIONES ........................................................................................... 37
-BIBLIOGRAFIA ............................................................................................... 38
-ANEXO A .............................................. ........................................................ 39
- Implementacin del Algoritmo Fracciona! en LenguaJe C ........................... 39
-Aplicacin .................................................................................................... 5 7
-ANEXO B ....................................................................................................... 62
- Implementacin del Algoritmo Totalmente Entero en Lenguaje C .............. 62
-Aplicacin .................................................................................................... 79

IN'l'RODl}CCIO

El objetivo de la presente es implementar dos de los A,gorrtmos para


solucionar Programas Lineales Enteros Puros ambos de GOMORY. basados en
los Planos de Corte como son:
- Algoritmo Fracciona!
- Algoritmo Totalmente Entero

Respecto al Algoritmo Fraccional ste genera Planos de Corte (nueva


restriccin) con coeficientes fraccionarios si al aplicar el Mtodo Simplex la
Solucin Opma no es entera (no negativa); pues de serlo resulta ser la solucin
buscada.
El Algoritmo Totalmente Entero parte de una tabla Dual Admisible. si la
tabla no es Primal Admisible entonces se aade el Plano de Corte (nueva
restriccin) con coeficientes enteros, de lo contrario se obtiene la tabla Optima
deseada.
Adems se presenta una comparacin con otro algoritmo (Ramificacin y
Acotacin) que soluciona el mismo tipo de problema. Finalmente se presenta en
el ANEXO los dos Algorttmos escritos en Lenguaje C, con una pequea
aplicacin.
Para qu se utilizan estos algoritmos ?
Pues en muchas situaciones prcticas. los valores no enteros pueden
carecer de sentido ..A.s, por ejemplo, para una Empresa que fabnca pantalones
de los tipos A y B el saber que para maximizar la ganancia necesita fabricar
semanalmente 45.3 pantalones del tipo A y 55.7 pantalones del tipo B, aunque
constituya una solucin ptima, no resulta una solucin til. Lgicamente. la Em
presa necesitar tener una solucin expresada en nmeros enteros.

_--\..LGOR.11-vIO FRACCIONAL DE GOl\:IORY

Sean los programas:


'
.
m1n e x

L:

L:

Ax'> b
x entero

Mx o u
A u= e
u> O , entero

donde CER n . bERm y A una matriz de orden mxn.

Tabla Smplex del Programa Lineal: Primal-Dual.

XB

ua

( A s)-1 A

donde Xs = As_; bs, ue = ( As.;) 1 e, d = A


de ndices de la base.

Xs -

b , As matriz base y B conjunto

Cuya Tabla ptima correspondiente es:

-i

e xs

Lis

TN

donde Q 6 es la solucin ptima del Dual, I es la matriz identidad y T.i resultado


de haber operado en la tabla anterior.

Propiedad

es solucin ptima del Programa Lineal Cormnuo ( asociado a L )


Si
entonces x es solucin pbma del Programa Lineal Entero L.
Sean:

Prueba

S =( X

Rn

Ax > b }

R = ( X :: zn I Ax > b }

x.

Se sabe que fnf La= e


Tambin

R, luego nf L < e

x.

Por otra parte R e S, entonces

nf La
Luego, nf L = c

.,.

nf L

x.

Pero nf L < e' x . 'ti x

R. Es decir ,

x es solucin ptima de L.

Propiedad

Siendo
que

u 3 solucin bsica ptima y

u = ( us ,

UN)

Prueba

A1 u

Se sabe que:
1

(A;)- A u = (A;)-:c
ABT )_, [Asr

r] Lis l

AN

UN

J=

U5

variables del dual, se tiene

.:

De donde:

Observacin

Siendo r un nmero real, se tiene que


r = r 11 + t
fl

donde o < f r < 1 1

ti

r n representa el mximo entero de r .

Propiedad

Sean

entonces fs < F N

UN.

Prueba

Por la propiedad antenor, se sabe que:

u = us + T N uN
A

Luego reemplazando los datos:


fl

[l U S 11" -'
11

::::>

Puesto que u8

, UN

s -r uN - uN
,_ N

11

1 1 TN 11u - Fl\j Jt u
u 9 -' di
== u 6 T TN, u N _. FN, u t.

f 'S -

il!I u s :11 fB
.s:1

11

..1..

h'l TN ']I u N

i.1' u" s !'I1

son variables enteras, se deduce que fa - FN

Ahora, puesto que F N y

UN

UN

es entero.

son mayores o iguales a O, se tiene que :

Adems: fA < 1.

Por to tanto, puesto que el primer miembro de la desigualdad es entero


entonces:

Definicin

Sean:

1 r 1 +F
N

Lis = 1 Us + fs

entonces las filas de - FN

UN+

= - fs se llaman planos de corte .

Propiedad

Sean los Programas Lineales:


P:

Q:

Mx br u
Ar u = e
- FN UN

+ S = - fs
UQ
$Q

Luego, si u es solucin entera de P entonces es solucin entera de Q. Ms an,


siendo Q ptimo no entero de P se tiene que u no es admisible de Q.
Prueba

Sea u

Us

UN

solucidn entera de P , entonces se sabe que :

De donde, coderando la variable de holgura S se tiene:


- FN u N + S = - fs

(*)

Deduciendose que u es solucin entera de Q.


Por otra parte siendo O ptimo no entero se tiene que:

Luego, reemplazando en(*) ,

u N = O, se tiene que:
- fs < O

Es decir, S < O , implicando que Q no es solucin admisible de Q.

'- L . . . . . .. . . . . ... . . . . . . . . . . . .. . . .

1. . . . . .... . . . . 1.. 1. .

......

t r

ptimo continuo
.....
' ..

, , , , . , , , ,e, , ..... .......... , , , .. , ... , . L ,


1

. .......................... ... ... ... .


1

'
'
' .
....
.....
+' .' .............. -+ .... .. ' ..,.... 4 . ... .... ., ....
.
' u
..... ................ .;.......... -+-+

'

'

. \ ,, . . l . . . .. \. .

.. .. .. . ... _..... .... I ............ , ............. ,O ,

. .. . . .

...........' ................ ...............


1

,. . . . . . .. . . . . . fl'

.................
1

'

Plano de
Corte

Figura 1.

Definicin

Siendo -

FN UN+

S = - fs , consideremos los planos de corte:

-L F
n

, .. ,

s.

uN J +

lJ

= - fB1

-:_: F I( u N + s k = - tBk

J"1

asociados a las variables bsicas fraccionarias

T, = T,J + FJJ

u6 u8
,

Luego, se dice que el

plano de corte asociado a la -sima es ms fuerte que el asociado a la

k-sima si:

2)

F,J < f 1<,

"d j ( Desigualdad estricta para algn j).

Propiedad

Sean los planos de corte:

- F1q
J -1

UN

sk

= - fs.,_

asociados a las variables bsicas fraccionarias

u 6 u 6 donde el plano de corte


1

t.

asociado a la i-sima es ms fuerte que la asociada a la k-sirna. Luego, si se


cumple el primer plano entonces tambin se cumple el otro.
Prueba

Se tiene que

- F,J
J 1

UN
J

+ S, =

-fB,

De donde:
n

F
1
1
J-

f = S1 > O

UNi - 6
1

:::::> f61

s F;
J,

UN1

fs

Usando 2)

< F u
ki N1
- 1

Ms an, considerando 1)
n

fB < Fki u
Ni
"
-1
,

Es decir:

-fB

NOTA: Esta propiedad nos permrte obviar ciertos planos de corte.

. '
.. . . . .

......

... ...

.'

......

t.

......

-o

.. . .

O.

.. ... .

......

+.

...

...

.,.

. -' -' . -' . 4


.

.... . .

..

'

6' .

...

...

-.

...

..,


' - .,. o'

...

'
e .

. ..

..

.
. '
.

-o.

-o.

-o.

1
e.

-o.

-o.

1
o.

'</

..

--

-.

..

.. .

Q.

e .

Figura 2.

O.
1

.. ....
:ptimo continuo
.'
.. . ,
'

.'

. ....

'
.

.,.. . . '

. . ..

. . . .. -o ..
.,,.
.
1

. '

. e. . - .,. -'
t>.

..

.
'

.i k.

...'
I

Eleccin del Plano de Corte


Se considerar el Plano de Corte asociado al subndice de f8 r si se cumple:

donde u 6 r = 1 0 6 ,

.J..

1)

1
tv1ax
{ f8,

2)

Max

f6 , es la variable bsica fraccionaria.


_

Ahora el Programa queda como:


,r..x b 1 u

"A
IVld

A1 u

-F r u N + S, = -f8 ,
,. '

Observacin
El Plano de Corte asociado al sub ndice f8 r no siempre es el ms fuerte.
Ejemplo
Sea el Programa:

Mx u1

U1 -

U2

< 18

U1+11 U2

:5: 77

U1

0 ,

U2

U1,U2 E

.:

={

Consideremos la base B
Ar =

rsL

l '

-5 1
11 o 1J

f1
T -1
=> Lis = ( AB ) e= lo

3,4 } y las variables de holgura

1
=
A;

O
1

C=

U3 , U4.

18
77

0118
18
o
77
=
77
>
1J

'

:. B es admisible. Construyamos la Tabla Dual Simplex:

bB

Xs = Aa,bs =

18

Us = 177

o
o

(A

T y-1

-5

e T x8 = O '

= [-1

O)

o 1J

11

Se presenta en forma grfica para una mejor comprensin del P .L.E.

FuncinObjetivo

..... ,. . . . . . ,. . . . . . ,. . . . . . ,,. ..... ,. ..... ,. . . . . . ,. . . . . .

U1 = 8

..

:
s
s

1s
:
:
1
2
s
f

5
4

............ , ... '""'"" ...........


1

..... , ..... , ..... , ..... .... , ..... ,. ,Optimo Continuo


1

...

3
2

1
Optimo Entero

.. ....... : ..... : .... ...... : ..... '. ..... '. ..... .... 8u1+11u2 =77
1

Figura 3.

10

u,

.:;

-1

Pues: min { 18 / 6 , 77 I 8 } = 3

18

6,/

-5

77

11

Nota: ,, indica el pivot

-5/6

1/6

o
Pues:

-5/6

1/6

53

53/3,/

-8/6

11/2

11/106

5/106

11/2

11/106

5/106

- 4/53

3/53

e::>

1= 3
L 53 t 3 J

min f

53

El Optimo continuo es ( 11/2 , 3 )

Para hallar el ptimo entero, agregamos el plano de corte a la tabla smplex:


-1/2

= -11/106 U3 - 5/106 U4 + us

( Primer Plano de Corte )

11/2

o o

11/106

5/106

11/2

11/106

5/106

Pues:

o
o

3/53 ' o
1
- 4/53
. . . . . . . .. . . . . . . . . . .. . . . . . . . . . . . . . . . . . . . . . . . . .. . .. . . . . ..
o o - 11/106 - 5/106,, 1
-1/2

11

ax

{ 11 I 106

5 / 106 }

-11 I 106 -5 I 106

= -1

'
'
'
'
'
'
'
1

6/5

'

'
1 -1/5
o
o
'
. . ... . . . . ..................................
'

12/5

53/5

11/5

1 -106/5

Todava no llegamos al ptimo entero, luego agregamos el Plano de Corte:


-3/5 = -1 /5

5
5
1215

53/5
. . . . . .. . . .

U3 -

4/5

U5

-1/5
11/5

( Segundo Plano de Corte)

U5

'
'

'

'

'

6/5

-106/5

'

'

'

'

'

'
'
'
'
'

o
o

-3/5

-1 /5t"

'

-4/5
'

'

Pues:

Max

{ -1/5 -4/5}

=o

.
El ptimo entero es:

-1

-30
11
... . . . . . . ...............................................

-5

3
4

'
'
t
'
'

(5 3 )
1

Observacin

En el ejemplo analizado se tiene que el plano de corte asociado al subndice

12

f6,, el cual corresponde a Max{f8 1}, no necesariamente es ms fuerte que los


otros planos de corte. Pues, considerando:
1) fa fa
1

en la tabla (*)

se tiene :

'

Para todo j

2) Fu F kj

f62 = 3 I 5 f8 s = 2 I 5
F23 = 4/5 f33 = 1 /5

=>

(Contradiccin)

F25 = 1/5 F35 =4/5.


Es decir, para j =3 no se cumple.

FIias y columnas constantes en la tabla stmplex


AJ adicionar planos de corte se aumenta el nmero de filas y columnas en la
Tabla Smplex; sin embargo, dicha Tabla se puede presentar de manera que
el nmero de filas y columnas sea constante, debido a que se introduce la
ecuacin del plano de corte y luego se retira.
Consideremos los Programas Primal - Dual:

X >Q

Del Programa Dual se tiene:


Mx bTu
v=c-AT u
u20
v20

13

()

Lueao denotando
W= ( U

,V ) ,

= ( W1

, W2 , .... . ... , W n ) Y

= ( W n+ 1 ,W n+ 2 .

. .. . . W n+ m).

Se construye la siguiente Tabla


Siendo As una base se tiene que:

Wo

o
o

-W2 . . . . . . . . . . . . . . . . . . . . -W n

-b 1

-1

-b2

....................

.
.

W r

C1

a11

a12

-bn

o
.

Aumentando

ecuaciones

triviales

. . . . . . . . . . . . . . . . . . . -1

........... ........

a1n

.
Cm

Donde por ejemplo:

Wn+1

am1

am2

....................

amn

= c1 - a11W1 - a12W2 - ..................... - a1nWn

es una ecuacin de restriccin del Programa ()

Cuando la Tabla es ptima pero no entera, se aumenta el plano de corte

s. - -tB,

14

>O

>O

- fs1

F 11

,-

r12 . . . . . . . . . F . . . . . . . . . Fin

Columna J
Segn la Tabla al pivotear respecto a la columna j se obtiene la siguiente
Tabla:

>O

>O

. . . . . . . . . . . . . . . 1 . . . . . . . . ..

Columna J
Debido a que se obtiene una ecuacin trivial se omite, introduciendo un nuevo
plano de corte, siempre que no se obtenga una solucin ptima entera.

15

Ejemplo:
Sea el Programa:
Mx

- u1 + 3 u2
- 2 U1 + 3 U2 < 3
4 U1 + 5 U2 10
U

+ 2 U2 < 5

Se construye la Tabla sabiendo que:


As = I

-3

-1

-1

-2

3v'

-1 O

-A

-5

16

B={3 ,4 ,5}

U5

-1

-1

-2/3

1/3

-1

-5

-22/3

5/3

7/3./

min {

3
- = 9 I 7
7 /31

-2/3

<> E I Optimo continuo es:

( 9/7 , 13/7 )

Para encontrar el ptimo entero agregamos el Plano de corte:


S 1 = -6/7 - 2f7 (- us) - 117 (-u3) ( Primer plano )

30/7

3/7

5/7

9/7

3/7

-2!7

13/7

2/7

1/7

o
31/7

o
-617

-1

22!7 -3/7
-1

3 17 517
f
Max
} = -3 / 2
,

l-2/7 -1/7

-2!7./ -1rl

17

3/2

1/2

3/2

-1/2

-1

-5

11

-2.t'

U5

-7/2

1/2

s,

-1

1
U,1

7/4

17/4 1/4

5/4

-5/4

Max

{1;} =

-1 / 4

-1/4

5/2

-11 /2 -1 /2

-1

7/4

-3/4

1/4

-1

Sale

18

Agregamos el plano de corte: S2 = -3/4 -1/4 (-S1) -1/4 (-

U5

U5

7/4

17/4 1/4

5/4

-5/4

-1/4

5/2

-11/2 -1/2

7/4

-3/4

1/4

-3/4

-1/4

-1/4

-1

-1

-5

-2

-4

-1

-1

..

U4)

M ax 17 / 4 , 1/ 4 --1
{ -1 / 4 -1 } - ,
/4

-1

El ptimo entero es ( 2 , 1 )

19

Convergencia del algorttrno fracctonal


Definicin

Se dice que un vector a es lexicogrficamente positivo (a>- O), si su primer


elemento diferente de cero es positivo. Un vector f3 es lexicogrficamente
negativo si - f3 >- O .
Ms an, a es lexicogrficamente mayor que

f3 ( a >- f3 ) , si o. - f3 >- O.

Considerando el Programa Primal:

X > 0

se nene la respectiva Tabla Dual:

-b
-1

Sea

xs la variabie que sale de la base As = ( TK ) adems se dene:


1

K = { k I TSI< < o

T.)

20

, k

Para el caso de maximizacin, siendo:

/3r

e- Mx {

/3 k I k E K} se tiene que Xr entra a la base .


.
-

Veamos:
Se sabe que:
/3r

>-

/3K

P- - -

>-

o , 'g k

/3 r

>- O

/3k

';/

K
, "d Tsk < O

..
TC': I T ':' \

T;, I T9,

( Tc'k I Ts. '


T,k I T9k

>- O ,

21

"d T sk < O

TOr / Tsr - T Ok / Tsk


T1r /Tsr -T,k /Tsk 1

>- o

, V Tsk

T"' I T" Tnk I Tsk)

(j) TOr I Tsr - T Ole I T sk

<

<::i

, V T sk < O

Tor I Tsr - T Ok I T sk > O

Multiplicando por T s T sk > O la parte @ se obtiene:


e:> Tor Tsk - To Tsr > O , \:/ Ts < O
0

T ar T s1< > T Ok Tsr

Dividiendo por T sk T sr

:,

V T sk

<

O la expresin anterior:

: v

>

Max

Tsk < O

Tsk

1
< O
)

Por lo tanto Xr entra a la base.


Ahora veamos que el vector solucin es decreciente.

22

<

To
Considerando la iteracin k, sea:

'

T r q Columna Pivot

Po q

Primeros s-elementos de T 0

Primeros s-elementos de T r

Pr

s Tso
. .. .

'

Po

....

To q Columna solucin

'

. ; . . . . . . . . . . .
1

. . . .. . . .

'
'

'

TO

'
1

.. . . . . . . . . .... . ..
1

Tsr:
. . . . . . ...... . . . . . . . ... .
:

Despus del pivotaje se ene:

-,.'

'

q Columna solucin

Tr q Columna Pivot
p0 q

Primeros s-elementos de T0

,..

Pr q Primeros s-elementos de Tr

Se tiene que:
puesto que:

,.

Po
.,..

Pr

-- Po
-

Pr

!Tsrl

y Tso < O
O

...:

ti. \.

. . . . . . . . . . . . . . . . . . . . . . ,. ..... ,. .............

p,

1 r'
sQ

gr1

>- o

( pues P;

entonces

"

Po

>- O )

decrece.

es decreciente.

Es decir no ocurre el ciclo en las sucesivas iteraciones.

23

Formulacin ( Algoitmo Fracciona! )


1) Solucionar el Programa Lineal Continuo asociado por el Mtodo
Simplex.
2)

Si la solucin ptima es entera termina. De lo contrario ir a 3).

3) Generar el Plano de Corte y aadir a la tabla ptima.


4)

Resolver la nueva tabla por el Mtodo Simplex.

5)

Si la solucin otima
es entera termina. De lo contrario reoresar
a
....
'
3), omrtiendo el Plano de Corte anterior.

24

ALGORITMO TOTALMENTE ENTERO DE GOMORY


Sean los programas:

L:

L.

Mx b'u
A1u < e

"* .

u>O

donde e E Rm , b E R n y A: una matriz de orden mxn.


Considerando el Programa Dual se tiene su respectiva Tabla Dual:
-u

z 1

-bT

-I

A'

Donde para cada iteracin k se tendr:

vk = c k - T \< u 1

...................

(R)

' -

Dividiendo la expresin anterior (R) por un nmero real /1,.:;.:: O se tiene:

Observacin:

Siendo r un nmero real : se tiene que:

donde O < fr < 1 ,

1 r1

representa el mximo entero de r .

25

Luego tendremos que:


,r
1 :

11

, t ,,
\ 11 A I
1

I' ,, U

n / :1 T
e .,;. )
1 u f Y = -'
k.J ,!
,i
., , "
,

1 -' ..,..

1r

!I .. 1: .

, ,
1

1 ..,..

; .. 1 \ ti ,.., ''.

t..

,L.....J \

'<.! ,

Entonces obviando la parte fraccionaria se deduce lo siguiente:

1 il
, ! T1c 11 u, ::::::,,, e.
!!1rV
k , )
.l......,
11 "
: ! /\,

/\, 1

/"' 1

"'\

/\,

Como todas las variables v il. y u1 , deben ser enteras; se tiene que el primer
miembro de la desigualdad debe ser entero. en consecuencia; tomando mximo
entero miembro a miembro se obtiene:
11
'.lH
Vk

IT !

+ "" 1c u, :5:
ll A! . "' 1 '

Multiplicando
la expresin (R) por
.

1 11
A,

C"i.;

1 11

'11 .. . . .. . . . . . . . . . . ( S)

11
1 A11

se tiene:

Restando de (S) la expresin (T) se tiene:

Considerando ,, > 1 entonces : = O , e introduciendo la variable de holgura


S1< se tiene la siguiente expresin:

;I
,
,

} ,: i< ..
.,

11-r

.,__ ji '\
11

/'I,

' -'

if11

,, e .,.,
u I -:- s k = 11 " \, 'I:,
1

'

11

Definicin:

Consideremos el programa dual, cuya iteracin k es:


n

v k. = e l( - I:T kJ u 1
J -1

l 'T
u.
,'
"'-' , " I
J.....
t! 11,,
r

luego:

.l.

Sk =

l'c i

, "

se llama Plano de Corte.

'' "''

Propiedad:

'1
,IT il'I
/T,,,<0 donde . - '1l mi',1, , T-r =

-T

A= Max

Sea

.,

'

1
)

Luego: 1v > 1

__

,,

11

IT, '1
1

-.1-.
1 - "
1(1'

H .., :1,,

T,

m1n
':
1

..

''

T.

U T mr ji1 .

!!

il T1c1 , ..
1
l-:il I' 1

/Trq <0
,,

Prueba:

i <j <n

/T'tq <0 donde


,,1

=>

A > - , en particular para J = r.


u.
1

luego:

Tmr == O .

27
1
...

>

. l -I m , m In
1 :r:

>

ot

:e

es decir:

.- = 1 .

Tkr

_
_..,......,

"

_ .....
_
,,_

A > 1. en nuestro caso \ > 1 pues. para ;.. = 1 sera tnvial.

......

/\, e:. -

> 1 ; pues T kJ < o y entero.

uT

-Tlq

Adems

11

il:;:4.

donde 1 =
T mr 1

T
iq , Vj I T < O
1v > -
I

=>

T1q

=>

' ->-A

T1q
- 1 <-

Tomando mximo entero a ambos miembros se obtiene:

_,_
--

=>

<

I 1
ll -

1 ...

11

-1! /lv 1

, 'lij / TIQ < O

11

=>

T.

-,

Ti

--- , donde Tr =t-min{T, Vj/Tki <0} ............. (1)

_ ll
!1 11.

28

Sea T .,.. el pnmer elemento positivo del vector T, ( columna p:vot ), ten:endo en
cuenta que:

Puede ocurrir:

a) Por una prte _que exista q tal que 1 < q < m -1, de forma que T OJ > O .
. . =

00.

en cuyo caso:

Tr -<

_2_ T,'
u.

'i 1 > O .

b) Por otra parte que el primer elemento estrictamente mayor que cero
del vector Ti sea T mi , de donde:
; Tmi
' = !I1
:

Tm,

lj s
I

'/j I Ti.:"'. < O

Tr

Tmr 11

1
=> Tmr < -Tm,
,,

:.T.

Por (1)

=>

_,
-/

-<

'v'j / T'<l < O

1
-T,
I

1
Tr -< ___;,_
"T '

_,_1i

Tr

- [-1]

'..

11

'<;

tv

-<

T
1

-1

Tk

"-!

....1
..
.
"
---c-m1n
11 T H

'<r 1

/ T < O con

<

- !!
'l, ).., ,11

1
1

Definicin:

Sea

w=(u

'V) ,

donde u = (

U,

U2 , ........ , Un)

V = ( V . V2 , ......... Vm)

Convergencia del Algoritmo

Hemos supuesto que el valor de la funcin a maximizar, es decir el valor de z


esta acotado interiormente en el Conjunto de Programas por una cantidad z,
conocida apriori.
Una vez introducido un Plano de Corte ( Iteracin <<i>>) asociado a la variable w,<
se tiene:
'

z, = z,_1 -

1
1

1\

li T

se sabe que:

T kO \
f. 1 '
T-L"'
1

!ITVJ

11 1
ll "

11

!! = -1
1

'

'

'I ,..,, h

1U
I!

luego

'

luego reemplazando se tiene:

z. = z..- '

donde:

TkO < O

, ( T0r > O)

30

. z.
=>

Se forma una sene montona no creciente, acotada interiormente:


Zo
'

z . . ' ';;' i

<

z > z2:::.....

.......... ->

z"

la serie es converaente.
oJ

Ejemplo:

Resolver el siguiente Programa:

< -9

-U1- 2U2+2U3

-5u,- 4u2 -4u3 < -18


-6U1+ U2 + U3 < -20
u,> O enteras, j = 1 , ... ,3
La tabla Dual Factible inicial para el problema planteado es:
- U1

- U2

- U3

u'

- 1

-1

-1

-9

-1

-2

-18

-5

-4

-4

-20

-6

U5

..(

31

!:.'

/1.

. -6.

",,..X'
6
Ia -- > =
= IV
\.

=6
..

El Plano de Corte asociado a la vanable

1 1 ( -

'.l1 -20!!. ;j-6!!


s = j1 s 11 T s ,
1
11 ;
t
1

:1

U5

es:

1
!

U ) , ;l- ( - LJ ? ) , 1li---,1 1 ( -U -, )
..,
, 116 j
:,16 l

Aadiendo esta restriccin se tiene:


- U2

- U3

-1

-1

U3

-1

U.1

-9

-2

-5

--4

-4

-20

-6

-4

- 1 ..

11

U1

U5

- 8

Ue

_.....,
_.,

- u.-.;;

::,

-1

-1

-1

-5

-2

-5

-4

-4

U5

-t)

S1

-1

z
U

U5

1 )

(Iteracin 1)

- U1

= - 4 - (-LJ

32

Pivot ( v"')

"

, -1 -2 )
= Max --::-,-- = 2
1
1
...
1

El Plano de Corte asociado a la variable


"
1

S .,- =11
,1
lf

'I1 -1 1 1
+:- ,11
2 , 1 1 2 :111

-:,

'.I
01

11

'

(-

lf

es:

11
-2 ::,1 (
)
11 2 ' ,
, 3)
:1,I ,-u'l ) = - - -- ) - ( -u,, ) -r,-u
1
11
1
_
-u
-11 - ,11
-.
2
3 (
1'I 2 11"
11 2 'I
!I

S1)

tf

(Iteracin 2)

- S;

-12

-1

-1

-1

-1

-2

U2

- U
3

UA

-5

Uc.

-5

-4

-4

-6

-3

-1 ,/

-1

- S2

- U2

- U
3

-1

-1

-1

-1

-2

-1

-1

17

-5

-9

22

-6

-5

=>
z
U

-21

1
1

Aadiendo esta restriccin se tiene:

U4

S 2 L___0__--'-_-1_____o ____o_____.
33

Pivot ( ./)

'

- ll

, '\

- L

"- = M ax" - - - - > = 1


: 1 ' 1

:::::::-,

il., = l

.I

\.

El Plano de Corte asociado a la variable u.1 es:

'

-1 11
i

1
S '\ = - 1 + 1- ![ ( - s )
2
;1 1 !I
1 !.
;l - 2 1

:1

11

!1

;
11
1
I'
- !: ( -U 2 ) -t-\11-1 p.l,l
1 1,
l. 1 !.

Aadiendo esta restriccin se tiene:

-21

-1

-1

-1

-1

-1

-5

-9

-1

o
-2

..

(Iteracin 3)

( -U 3 ) =-2 - (-- ) -,. -u.,1


\ + ( -U 3 )

U5

17

U5

22

-6

-5

-2

-1

- 1 ./

-25

-2

-1

-1

-1

-1

U5

15

-6

-8

Ue

-13

-1

1
Prvot ( ./)

=>

34

1
Solucin Optima Entera
(5,2,0)

Fomiulacln

( Algoiitmo Totalmente Entero )

1) Iniciar con una tabla Dual Admisible.


2) Si la tabla es Primal Admisible entonces termina.
De lo contrano ir a 3).
3) Se aade el Plano de Corte a la tabla. con p1vot -1.
4) Se resuelve la nueva tabla por el "1todo Simplex.
5) Si la nueva tabla es Primal Admisible termina.
De lo contrario regresar a 3), omitiendo el Plano de Corte anterior.

35
..

Comparacin de los Algorib nos con el Algorltrtto de DAKIN

Los Algoritmos de Fracciona! y Totalmente Entero de GOMORY basados

en los Planos de Corte. permiten obtener la solucin ptima de manera directa,


es decir aadiendo una nueva restriccin a la tabla solamente a diferencia del

Algoritmo de DAKIN ( Ramificacin y Acotamiento ) en donde se subdivide !os

dominios de los p_rggram?s ; ms an hacindose necesario hallar las cotas aue

dan un criterio acerca de la bsqueda de la solucin ptima.

ALGORITMO DE DAKIN

Programa 1

Restriccin 2

Restriccin 1

......

Programa 2

36

......
a 3
Pr_ _og_ _ram
_
_
_ ___.r
..__

CONCLUSIONES

- Ei Algoritmo Fracciona! produce errores de redondeo computac1onales,


pues se opera con nmeros reales.
- Por los errores de redondeo tal vez nunca se llegara al ptimo entero,
por lo tanto se debe imponer un margen de error ( < 0.0001. > 0.9999).
- Con el Aigoritmo Totalmente Entero se evita los errores de redondeo. ya
que se opera con nmeros enteros, pues la construccin de los planos
de corte tienen como pivot a -1.
- El anterior Algaritrr,o inicia con una base dual admisible, por esta razn
solamente puede ser aplicado para un determinado tipo de problemas.
- Comparando estos dos algoritmos tratados con el algoritmo de O,A.KIN
se puede concluir que los de GOMORY son ms adecuados porque
permrten llegar a una solucin ptima entera de manera directa.

...

37

BIBLIOGRAFU

- GOLDSTEIN E. G., YUDIN D. B.


Programacin Lineal ( Problemas y Aplicaciones )
Paraninfo
Madrid

1977

- HU TE CHIANG
lnteger Programming
Addison - Wesley
New York

1969

- KAUFMANN ARNOLD , ARNAUD HENRY - LABORDERE


lnteger and Mxed Programming Theory and Applcations
Academic Press. lnc.
New York

1977

- PARDO LLORENTE LEANDRO


Programacin Lineal Entera
Ediciones Diaz de Santos s . A .
Madrid

1990

- SIMONNARD M.
Programacin Lineal
Paraninfo
Madrid

1972

- TAHA A. H,MDY
lnteger Programming
Academic Press, lnc.
New York

1975

38