Aula dia 12/11/13

O MTODO PRIMAL-DUAL BARREIRA LOGARTMICA

Os mtodos de barreira transformam o rob!ema restrito em "m rob!ema irrestrito
e introd"#em as restri$%es na f"n$&o ob'eti(o atra(s de "m ar)metro de barreira* +"e
imede a aro,ima$&o de "m onto fa-t.(e! / fronteira da re0i&o fa-t.(e!1 Traba!2ando no
interior dessa re0i&o* tais ar)metros 0eram barreiras +"e imedem as (ari3(eis de (io!arem
se"s !imites1 Lo0o* arte-se de "m onto fa-t.(e! e 0eram-se no(os ontos fa-t.(eis1 Uma
das (anta0ens desse mtodo a obten$&o de* e!o menos* "ma so!"$&o fa-t.(e!* -aso o-orra
"ma arada remat"ra do mesmo* ois esse mtodo traba!2a somente -om rob!emas de
desi0"a!dade -"'o interior n&o-(a#io1 Assim* ass"me-se o rob!ema 45167 somente -om
restri$%es de desi0"a!dade* da se0"inte forma8
*111* 9 * 6 ' : 7 , 4 2 a s"'eito
7 , 4 f Minimi#ar
'
=
451657
sendo ,
n
R 1
Com o ob'eti(o de 0arantir a erman;n-ia no interior da re0i&o fa-t.(e!* ode-se
0erar o se0"inte rob!ema de barreira8
Minimi#ar < f4,7 =>B4,78 24,7 ? :@* 4516A7
,
sendo
:
denominado ar)metro de barreira* e B4,7 "ma f"n$&o barreira n&o-
ne0ati(a e -ont.n"a no interior da re0i&o fa-t.(e! <,B24,7?:@ e tende ao infinito / medida
+"e a so!"$&o se aro,ima da fronteira* a artir do interior1 Define-se* ent&o8
B4,7 C
[ ]

6 '
'
7 , 4 2
* 4516D7
sendo

"ma f"n$&o de "ma (ari3(e! E* -ont.n"a sobre <EB E ? : @* e satisfa#

= >
+

7 E 4 !im e : E se : 7 E 4
: E
1
4516F7
A f"n$&o f4,7 =

B4,7 denominada f"n$&o a",i!iarB a f"n$&o barreira ode

ass"mir (3rias formas* -omo8
B4,7 C
=

6 '
'
7 , 4 2
6
B 4516G7
B4,7 C
[ ]

6 '
'
7 , 4 2 !n
1
4516H7
A f"n$&o 4516G7 denominada barreira -!3ssi-a o" in(ersa e foi est"dada or Carro!
46IF67 e 4516H7 denominada f"n$&o barreira !o0ar.tmi-a e foi est"dada or Jris-2 46IDD71
K"ando
:
e B4,7

* tem-se +"e
7 , 4 B
se aro,ima da f"n$&o barreira
idea!* des-rita anteriormente em 4516A7* e a so!"$&o do rob!ema de barreira -on(er0e ara a
so!"$&o do rob!ema 4516571
Obser(a-se +"e 4516A7 "m rob!ema restrito e ode ser t&o -om!e,o +"anto
451657* ois e,i0ida "ma so!"$&o ini-ia! interior / re0i&o fa-t.(e!1 O mtodo traba!2a -om
ontos interiores a essa re0i&o* ao onderar os ontos +"e se aro,imam da fronteira
imede +"e estes saiam da re0i&o fa-t.(e! e a restri$&o ode ser i0norada1 Tem-se*
rea!mente* "m rob!ema irrestrito* ara o +"a! oder3 ser "ti!i#ada "ma t-ni-a de
otimi#a$&o irrestrita1
A se0"ir aresenta-se o mtodo rima!-d"a! barreira-!o0ar.tmi-a 4PDBL71 A
f"ndamenta$&o teLri-a ara mtodos de ontos interiores -onsiste na -onstr"$&o de tr;s
b!o-os -r"-iais8 o mtodo de MeNton ara reso!(er e+"a$%es n&o-!ineares e
-onse+Oentemente ara a otimi#a$&o irrestrita* o mtodo dos m"!ti!i-adores de La0ran0e
ara tratar as restri$%es de i0"a!dade* o mtodo de barreira de Jia--o e M-Cormi-P 46IFH7
ara tratar as restri$%es de desi0"a!dade1 Entre as (ariantes de mtodos de ontos interiores*
o mtodo PDBL o mais "ti!i#ado de(ido a s"a efi-i;n-ia e fa-i!idade de im!ementa$&o1
A reso!"$&o do rob!ema 45167 e!o mtodo PDBL e,i0e +"e as restri$%es de
desi0"a!dades se'am transformadas em i0"a!dades or meio da introd"$&o de (ari3(eis de
fo!0a o" e,-esso ositi(as1 Portanto* o rob!ema 45167 modifi-ado ode ser aresentado
-omo8
: s
* * 6 ' * : s 7 , 4 2
m * * 6 i * : 7 , 4 0 a s"'eito
7 , 4 f Minimi#ar
'
' '
i

= =
= =

4516I7
sendo

R s 1
Adi-iona-se "ma f"n$&o barreira !o0ar.tmi-a / f"n$&o ob'eti(o -omo forma de
0arantir a n&o ne0ati(idade dessa (ari3(e! de e,-esso8
* * 6 ' * : s 7 , 4 2
m * * 6 i * : 7 , 4 0 a s"'eito
7 s !n4 7 , 4 f Minimi#ar
' '
i

6 '
'

= =
= =


=
4519:7
A (ari3(e! de e,-esso* s'* 'C6*111* * estritamente ositi(a e o ar)metro de barreira
"m nQmero ositi(o +"e tende a #ero1 K"ando isso a-onte-e* a so!"$&o do s"brob!ema
aresentado em 4519:7* ,47 aro,ima-se de ,R* a so!"$&o do rob!ema 451671 A f"n$&o
La0ran0iana asso-iada ao s"brob!ema 4519:7 8

= = =

6 '
' ' '
m
6 i
i i

6 '
'
S s 4,7 T2 7 , 4 0 7 !n4s 7 , 4 f C L
451967
sendo8
i* iC6*111* m e '* 'C6*111* * s&o os (etores dos m"!ti!i-adores de La0ran0e* denominados de
(ari3(eis d"ais1
As -ondi$%es ne-ess3rias de rimeira-ordem s&o a!i-adas em 451967* 0erando8
: L
d
=
451997
sendo8
T
7 * * s * , 4 d = 1
A e+"a$&o 451997 reresenta "m sistema de e+"a$%es n&o-!ineares* o +"a!
reso!(ido e!o mtodo de MeNton* +"e 0era "m sistema do tio
L d U
d
=
B em +"e U
a matri# Vessiana da f"n$&o La0ran0ianaB
L
d

o (etor 0radiente e as dire$%es de

b"s-a
T
7 * * s * , 4 d = s&o "ti!i#ados ara at"a!i#ar as (ari3(eis
* s * ,
e

-omo se0"e8
+ =
+ =
+ =
+ =
+
+
+
+


s s s
, , ,
P 6 P
P 6 P
P 6 P
P 6 P
451957
6
:
k k k
s s s
+
= + >
*
:
k
s >
I 4asso" na !o"sa7
s
s

>

* : s <
sendo o taman2o de asso
S 6 * : 4
es-o!2ido ara reser(ar a ositi(idade do (etor s e
o sina! do (etor

1 Isto se trad"# or8

<

= : s 8
s
s
min
ma,

<

= : 8 min
ma,
d
sendo o es-a!ar
7 6 * : 4
"m (a!or determinado emiri-amente* dado or
IIID * : =
* o"
de a-ordo -om Uri02t 46IID7* ode ser -a!-"!ado da fLrm"!a ( ) # I 6 6 * onde # o
nQmero de restri$%es de desi0"a!dade do rob!ema1
Uma etaa m"ito imortante no a!0oritmo rima!-d"a! barreira !o0ar.tmi-a a
es-o!2a ini-ia! do ar)metro de barreira1 A -ondi$&o
: L
d
=
s"0ere +"e ode ser
red"#ido -om base no gap da -om!ementaridade 4TORREW e KUIMTAMA* 6IIH71
51A16- ALGORITMO
1) Dado o rob!ema 45167* -onstr"a a f"n$&o La0ran0iana 451967B
2) Ja$a PC: e d; "ma estimati(a ini-ia! ara
P
e
T P P P P P
7 * * s * , 4 d = +"e satisfa$a
as -ondi$%es roostasB
3) Obten2a o sistema
L d U
d
=
e reso!(a-oB
4) Ca!-"!e os assos rimais e d"ais e at"a!i#e d
P
"ti!i#ando 451957B
5) We a norma do 0radiente for menor +"e "ma re-is&o (3 ara o asso 61 Caso
-ontr3rio (o!te ara o asso 3B
6) We as -ondi$%es de XXT s&o satisfeitas ent&o pare1 Caso -ontr3rio (3 ara o asso
7B
7) At"a!i#e "ti!i#ando "ma 2e"r.sti-a1 Ja$a PCP=6 e retorne ao asso 31
Um onto ini-ia! estritamente fa-t.(e! n&o obri0atLrio* mas as -ondi$%es
: e : s > >
de(em ser satisfeitas em todos os ontos1 O ro-esso de otimi#a$&o termina
+"ando as -ondi$%es de XXT s&o satisfeitas1
51A19- DIJICULDADEW COMPUTACIOMAIW
Uma das difi-"!dades en-ontradas no mtodo PDBL a se!e$&o de "m onto ini-ia!
fa-t.(e!1 Em m"itos rob!emas* isso ode ser traba!2oso1 Tambm* em (irt"de da estr"t"ra
da f"n$&o barreira* ara (a!ores e+"enos de * o mtodo PDBL ode ter srios rob!emas
de ma! -ondi-ionamento e erros de arredondamento* +"ando o Ltimo se aro,ima1 As
es-o!2as do ar)metro de barreira e do fator de barreira odem -omrometer o ro-esso de
otimi#a$&o1
51D- MTODO DE BARREIRA MODIJICADA
Barreira norma! Y n&o atin0e a so!"$&o1
Em determinado onto do 0r3fi-o (o" -2e0ar em !n: e n&o (ai ser oss.(e! reso!(er1
A ideia en-ontrar "ma re0i&o re!a,ada no 0r3fi-o* ois assim n&o a-onte-e de arar no
!n:1
Exemplo no caderno
Po!EaP* em 6II9* desen(o!(e" "ma teoria de mtodos da f"n$&o barreira modifi-ada
4JBM71 Estes mtodos -ombinam a f"n$&o La0ran0iana -!3ssi-a e a f"n$&o barreira
-!3ssi-a 4JBC7 b"s-ando e,!orar as me!2ores roriedades de -ada "ma dessas f"n$%es1 A
JBM ode ser -onsiderada -omo "ma f"n$&o La0ran0iana a"mentada interior e "ti!i#ada
na reso!"$&o de rob!emas restritos1 O mtodo de barreira modifi-ada transforma o
rob!ema restrito em "m irrestrito e+"i(a!ente* e reso!(e "ma se+O;n-ia de rob!emas
irrestritos at atin0ir o Ltimo1 Para "m me!2or entendimento do mtodo e de s"as
roriedades des-re(e-se "m mtodo de barreira modifi-ada 0enri-o ara o rob!ema
451657* se0"ndo Mas2 et a!1 46IIA71 A -ada itera$&o rin-ia! do mtodo de barreira
modifi-ada o rob!ema irrestrito8
Minimi#ar M4,* "* 7
,
reso!(ido onde
=

+ =

6 '
6
'
7* 6 7 , 4 2 4 " 7 , 4 f 7 * " * , 4 M
e a so!"$&o ,
P
"sada ara at"a!i#ar "'* 'C6*111* * (ia
71 6 7 , 4 2 4 Z " "
P
'
6
'
P
'
+ =


Os ar)metros "'* 'C6*111* * s&o estimati(as dos m"!ti!i-adores de La0ran0e na
so!"$&o ,
R
1 A f"n$&o

"ma f"n$&o monot[ni-a* estritamente -[n-a(a e de -!asse C9

definida no inter(a!o 4:* =7B "ma oss.(e! es-o!2a
!n417* 417 =
"ma o"tra a f"n$&o
in(ersa
!n4171 \ 6 417 =

We* or e,em!o*
!n417 417 =
a re0i&o fa-t.(e! do rob!ema 451657 e+"i(a!ente ao
-on'"nto
{ } * * 6 ' * : 7 6 7 , 4 2 4 8 ,
'
6
= +

1
Desta forma* a f"n$&o barreira modifi-ada a La0ran0iana -!3ssi-a ara o rob!ema
451657 -om as restri$%es e,ressas de forma e+"i(a!ente1 O "so do termo de barreira
7 6 7 , 4 2 4
'
6
+

-orresonde a re!a,a$&o das restri$%es de modo +"e ten2am a forma 2'4,7
-1
Esta re!a,a$&o reresenta "ma e,ans&o da re0i&o fa-t.(e!1 Conse+Oentemente a
]re0i&o fa-t.(e!^ im!.-ita ara o s"brob!ema de barreira modifi-ada (aria -om o
ar)metro de barreira 1

Diferente da f"n$&o barreira !o0ar.tmi-a -!3ssi-a* a f"n$&o barreira modifi-ada e
s"as deri(adas e,istem na so!"$&o ,
R
ara +"a!+"er ar)metro de barreira* * ositi(o1 Em
arti-"!ar* se "
R
o (etor dos m"!ti!i-adores de La0ran0e -orresondente a ,
R
* e se
!n417* 417 =
ent&o a f"n$&o barreira modifi-ada tem as se0"intes roriedades ara
+"a!+"er ? :8

P61 7 , 4 f 7 * " * , 4 M
R R R
=
P91
: 7 , 4 2 " 7 , 4 f 7 * " * , 4 M

6 '
R
'
R R R R
,
= =

=
P51
T R 9 R R 6

6 '
R
'
9 R
'
R 9 R R 9
,
7 , 4 2 7 " 4 dia0 7 , 4 2 7 , 4 2 " 7 , 4 f 7 * " * , 4 M + =

=

K"ando o rob!ema de ro0rama$&o -on(e,a* se0"e de P9 +"e
PA1 { } 7 * " * , 4 M min ar0 ,
R R
= ara +"a!+"er ? :1
Isso si0nifi-a +"e se os m"!ti!i-adores de La0ran0e Ltimos s&o -on2e-idos* ode-se
reso!(er o rob!ema restrito 451657 "sando "m Qni-o rob!ema de otimi#a$&o irrestrito
indeendente do (a!or do ar)metro de barreira1 Po!EaP 46II97 mostro" +"e se os
m"!ti!i-adores de La0ran0e ini-iais s&o ositi(os* e os ar)metros de barreira s&o menores
+"e "m (a!or !imite
*
o mtodo -on(er0e1
Messe mesmo traba!2o* Po!EaP aresenta tr;s tios de f"n$%es barreira modifi-adas8
"ma ara a f"n$&o barreira de Carro!* o"tra ara a f"n$&o barreira de Jris-2 e a f"n$&o
barreira Shifted1 As f"n$%es introd"#idas or Jris-2* (istas em 4516H7* e Carro!* en-ontradas
em 4516G7* s&o as f"n$%es barreira mais -on2e-idas1 Mo entanto* essas f"n$%es t;m srias
des(anta0ens or+"e e!as* bem -omo s"as deri(adas* n&o e,istem em ,
R
e essas f"n$%es (&o
ara infinito +"ando 1 , ,
R
Considerando isto* Po!EaP defini" as f"n$%es barreira de
Jris-2 e Carro! modifi-adas* estas f"n$%es asso-iadas ao rob!ema 451657 ser&o mostradas a
se0"ir1
J"n$&o barreira de Jris-2 modifi-ada* J4,*"*78

( )

=

+

int , se * 6 7 , 4 2 !n " 7 , 4 f

6 '
'
6
'
= 7 * " * , 4 J
4519A7
*
* int , se


J"n$&o barreira de Carro! modifi-ada* C4,*"*78

( ) [ ]

=

+ +

int , se * 6 6 7 , 4 2 " 7 , 4 f

6 '
6
'
6
'


= 7 * " * , 4 C

4519D7
*
* int , se



sendo8 int a arte inteira do -on'"nto e

o -on'"nto re!a,ado dado or8

{ } * * 6 ' * : 6 7 , 4 2 8 ,
'
6
= + =

1
Com a adi$&o de "m fator de des!o-amento 4de (a!or 67 dentro do termo !o0ar.tmi-o
das f"n$%es barreira modifi-adas 4519A7 e 4519D7* a -on(er0;n-ia finita nos mtodos do tio
barreira foi a!-an$ada* tais f"n$%es tornam e,!.-ito o "so do m"!ti!i-ador de La0ran0e* "'1
O es+"ema de at"a!i#a$&o desses m"!ti!i-adores de -om!e,idade -om"ta-iona! m"ito
bai,a1 O a!0oritmo da f"n$&o barreira modifi-ada oss"i "ma roriedade de -on(er0;n-ia
finita ao in(s de assintLti-a -omo no mtodo da f"n$&o barreira -!3ssi-a1 Isto si0nifi-a +"e
a so!"$&o Ltima en-ontrada no mtodo da JBM ode* de fato* estar na fronteira da re0i&o
fa-t.(e!* o +"e n&o a-onte-e -om a JBC* onde a so!"$&o somente ode estar rL,ima /
fronteira* mas n"n-a a!-an$3-!a1 Conse+Oentemente* as restri$%es tratadas e!a JBM odem
ser n"!as* diferente da JBC1 O"tra roriedade do mtodo da JBM +"e o ar)metro de
barreira* * n&o re-isa estar m"ito rL,imo de #ero ara a!-an$ar a so!"$&o* desde +"e* os
m"!ti!i-adores de La0ran0e -orretos* "'* se'am obtidos1 Assim* o -ondi-ionamento da
Vessiana fortemente me!2orado1
Meste traba!2o "ti!i#a-se a f"n$&o barreira Jris-2 modifi-ada 4519A7* isto * a
!o0ar.tmi-a1 Os assos do mtodo de barreira modifi-ada "ti!i#ando essa f"n$&o a!i-ada ao
rob!ema 4519A7* -onforme Po!EaP 46II97 s&o8
Minimi#a-se 4519D7 -om re!a$&o a , e satisfa#-se a -ondi$&o8

=

=
+

6 '
'
'
6
'
: 7 , 4 2
6 7 , 4 2
"
7 , 4 f
4519F7
A!i-a-se o mtodo de MeNton ara so!"-ionar a e+"a$&o n&o-!inear 4519F71 Dessa
forma* tem-se a se0"inte e+"a$&o8
( )
: 7 , 4 2 7 , 4 2
6 7 , 4 2
"
2
6 7 , 4 2
"
7 , 4 f
'

6 '

6 '
' 9
'
6
'
'
9
'
6
' 9
=
+

+


= =

4519G7
Rees-re(endo a e+"a$&o 4519G7 de forma sim!ifi-ada* tem-se o se0"inte sistema8
7 * " * , 4 J , 7 * " * , 4 J
,
9
,,
=
4519H7
em +"e , o (etor de -orre$&o1
At"a!i#a-se o (etor , or8
, , ,
P 6 P
+ =
+
4519I7
sendo ? : o taman2o do asso o +"a! en-ontrado atra(s da re0ra de Go!dstein-Armi'o
-onforme Mo-eda! e Uri02t 46III71
A e+"a$&o 4519F7 s"0ere a se0"inte re0ra ara at"a!i#a$&o do (etor das estimati(as
dos m"!ti!i-adores de La0ran0e8
6 7 , 4 2
"
"
7 6 P 4
'
6
7 6 P 4
P
' 6 P
'
+
=
+

+
+
* 'C6*111*1 4515:7
51D16- ALGORITMO
1) Dado o rob!ema 451657* -onstr"a a f"n$&o barreira modifi-ada 4519A7B
2) Ja$a PC:*
:
" C46*11*67 e d; "ma estimati(a ini-ia! ara ,
:
* e
:
? :B
3) Constr"a o sistema 4519H7 e reso!(a-oB
4) At"a!i#e ,
P
"ti!i#ando 4519I7 e se ,
P
satisfa# as -ondi$%es de Go!dstein-Armi'o* (3
ara o asso D1 Caso -ontr3rio* retorne ao asso 3B
5) We a norma do (etor 0radiente for menor +"e "ma re-is&o (3 ara o asso 61 Caso
-ontr3rio (o!te ara o asso 3B
6) We ,
P=6
satisfa# XXT* pare1 Caso -ontr3rio* (3 ara o asso 7B
7) At"a!i#e o (etor das estimati(as dos m"!ti!i-adores de La0ran0e* "* "sando 4515:7 e
"ti!i#ando "ma 2e"r.sti-a1 Ja$a PCP=6 e retorne ao asso 31
Obser(a-se +"e "m onto ini-ia! fa-t.(e! n&o obri0atLrio* mas a -ondi$&o ini-ia!
> 7 , 4 2
:
'
de(e ser satisfeita1
51D19- DIJICULDADEW COMPUTACIOMAIW
Uma das difi-"!dades en-ontradas no mtodo de barreira modifi-ada o -3!-"!o do
taman2o do asso ara at"a!i#a$&o das (ari3(eis* ois -aso isso se'a feito sem "m -ritrio
de arada bem f"ndamentado o ro-esso -om"ta-iona! ode -ons"mir temo e ode
-om!i-ar-se1 A es-o!2a do ar)metro de barreira ini-ia! e a s"a forma de at"a!i#a$&o
odem interferir no ro-esso de otimi#a$&o1