Professional Documents
Culture Documents
Facultad de Ciencias
Escuela Profesional de Matem,tlca
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
L:
L:
Ax'> b
x entero
Mx o u
A u= e
u> O , entero
XB
ua
( A s)-1 A
Xs -
-i
e xs
Lis
TN
Propiedad
Prueba
S =( X
Rn
Ax > b }
R = ( X :: zn I Ax > b }
x.
R, luego nf L < e
x.
nf La
Luego, nf L = c
.,.
nf L
x.
R. Es decir ,
x es solucin ptima de L.
Propiedad
Siendo
que
u = ( us ,
UN)
Prueba
A1 u
Se sabe que:
1
(A;)- A u = (A;)-:c
ABT )_, [Asr
r] Lis l
AN
UN
J=
U5
.:
De donde:
Observacin
ti
Propiedad
Sean
entonces fs < F N
UN.
Prueba
u = us + T N uN
A
[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
UN
UN
es entero.
Adems: fA < 1.
Definicin
Sean:
1 r 1 +F
N
Lis = 1 Us + fs
UN+
Propiedad
Q:
Mx br u
Ar u = e
- FN UN
+ S = - fs
UQ
$Q
Sea u
Us
UN
(*)
u N = O, se tiene que:
- fs < O
'- L . . . . . .. . . . . ... . . . . . . . . . . . .. . . .
1. . . . . .... . . . . 1.. 1. .
......
t r
ptimo continuo
.....
' ..
'
'
' .
....
.....
+' .' .............. -+ .... .. ' ..,.... 4 . ... .... ., ....
.
' u
..... ................ .;.......... -+-+
'
'
. \ ,, . . l . . . .. \. .
. .. . . .
,. . . . . . .. . . . . . fl'
.................
1
'
Plano de
Corte
Figura 1.
Definicin
Siendo -
FN UN+
-L F
n
, .. ,
s.
uN J +
lJ
= - fB1
-:_: F I( u N + s k = - tBk
J"1
T, = T,J + FJJ
u6 u8
,
k-sima si:
2)
Propiedad
- F1q
J -1
UN
sk
= - fs.,_
t.
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
. '
.. . . . .
......
... ...
.'
......
t.
......
-o
.. . .
O.
.. ... .
......
+.
...
...
.,.
.... . .
..
'
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
donde u 6 r = 1 0 6 ,
.J..
1)
1
tv1ax
{ f8,
2)
Max
"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
1
=
A;
O
1
C=
U3 , U4.
18
77
0118
18
o
77
=
77
>
1J
'
bB
Xs = Aa,bs =
18
Us = 177
o
o
(A
T y-1
-5
e T x8 = O '
= [-1
O)
o 1J
11
FuncinObjetivo
U1 = 8
..
:
s
s
1s
:
:
1
2
s
f
5
4
...
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
-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
= -11/106 U3 - 5/106 U4 + us
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 }
= -1
'
'
'
'
'
'
'
1
6/5
'
'
1 -1/5
o
o
'
. . ... . . . . ..................................
'
12/5
53/5
11/5
1 -106/5
5
5
1215
53/5
. . . . . .. . . .
U3 -
4/5
U5
-1/5
11/5
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
12
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)
X >Q
13
()
Lueao denotando
W= ( U
,V ) ,
= ( W1
, W2 , .... . ... , W n ) Y
= ( W n+ 1 ,W n+ 2 .
. .. . . W n+ m).
Wo
o
o
-W2 . . . . . . . . . . . . . . . . . . . . -W n
-b 1
-1
-b2
....................
.
.
W r
C1
a11
a12
-bn
o
.
Aumentando
ecuaciones
triviales
. . . . . . . . . . . . . . . . . . . -1
........... ........
a1n
.
Cm
Wn+1
am1
am2
....................
amn
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
-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
( 9/7 , 13/7 )
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
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
f3 ( a >- f3 ) , si o. - f3 >- O.
X > 0
-b
-1
Sea
K = { k I TSI< < o
T.)
20
, k
/3r
e- Mx {
Veamos:
Se sabe que:
/3r
>-
/3K
P- - -
>-
o , 'g k
/3 r
>- O
/3k
';/
K
, "d Tsk < O
..
TC': I T ':' \
T;, I T9,
>- O ,
21
"d T sk < O
>- o
, V Tsk
<
<::i
, V T sk < O
Dividiendo por T sk T sr
:,
V T sk
<
O la expresin anterior:
: v
>
Max
Tsk < O
Tsk
1
< O
)
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:
. . . . . . ...... . . . . . . . ... .
:
-,.'
'
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.
23
5)
Si la solucin otima
es entera termina. De lo contrario reoresar
a
....
'
3), omrtiendo el Plano de Corte anterior.
24
L:
L.
Mx b'u
A1u < e
"* .
u>O
z 1
-bT
-I
A'
vk = c k - T \< u 1
...................
(R)
' -
Observacin:
1 r1
25
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 \
'<.! ,
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:
;I
,
,
} ,: i< ..
.,
11-r
.,__ ji '\
11
/'I,
' -'
if11
,, e .,.,
u I -:- s k = 11 " \, 'I:,
1
'
11
Definicin:
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
, "
'' "''
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
=>
luego:
Tmr == O .
27
1
...
>
. l -I m , m In
1 :r:
>
ot
:e
es decir:
.- = 1 .
Tkr
_
_..,......,
"
_ .....
_
,,_
......
/\, e:. -
uT
-Tlq
Adems
11
il:;:4.
donde 1 =
T mr 1
T
iq , Vj I T < O
1v > -
I
=>
T1q
=>
' ->-A
T1q
- 1 <-
_,_
--
=>
<
I 1
ll -
1 ...
11
-1! /lv 1
11
=>
T.
-,
Ti
_ 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
Tr
Tmr 11
1
=> Tmr < -Tm,
,,
:.T.
Por (1)
=>
_,
-/
-<
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)
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
'
z. = z..- '
donde:
TkO < O
, ( T0r > O)
30
. z.
=>
z . . ' ';;' i
<
z > z2:::.....
.......... ->
z"
la serie es converaente.
oJ
Ejemplo:
< -9
-U1- 2U2+2U3
- U2
- U3
u'
- 1
-1
-1
-9
-1
-2
-18
-5
-4
-4
-20
-6
U5
..(
31
!:.'
/1.
. -6.
",,..X'
6
Ia -- > =
= IV
\.
=6
..
1 1 ( -
:1
U5
es:
1
!
U ) , ;l- ( - LJ ? ) , 1li---,1 1 ( -U -, )
..,
, 116 j
:,16 l
- 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
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
U4
S 2 L___0__--'-_-1_____o ____o_____.
33
Pivot ( ./)
'
- ll
, '\
- L
:::::::-,
il., = l
.I
\.
'
-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 !.
-21
-1
-1
-1
-1
-1
-5
-9
-1
o
-2
..
(Iteracin 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
35
..
ALGORITMO DE DAKIN
Programa 1
Restriccin 2
Restriccin 1
......
Programa 2
36
......
a 3
Pr_ _og_ _ram
_
_
_ ___.r
..__
CONCLUSIONES
...
37
BIBLIOGRAFU
1977
- HU TE CHIANG
lnteger Programming
Addison - Wesley
New York
1969
1977
1990
- SIMONNARD M.
Programacin Lineal
Paraninfo
Madrid
1972
- TAHA A. H,MDY
lnteger Programming
Academic Press, lnc.
New York
1975
38