30/03/2010

1
Clase 4: Equivalencias
ICS 1113 OPTIMIZACIN
seccin 3
Profesor : Mathias Alberto Klapp

Pontificia Universidad Catlica de Chile
Facultad de Ingeniera
Departamento de Ingeniera Industrial y de Sistemas
Lo que vimos la clase pasada
Definiciones Bsicas.
Existencia de solucin.
Probar si el problema tiene o no solucin.
Unicidad de Solucin.
Ver si la solucin es nica.
Solucin Grfica.
30/03/2010
2
Modelos Equivalentes
Consideremos dos modelos de optimizacin:
1
) : ( )
. .
P Min f X
s a X
2
) : ( )
. .
P Min g X
s a X
P
1
y P
2
son modelos equivalentes si ambos tienen las
mismas soluciones ptimas o bien si existe una
transformacin que permite construir la solucin de uno
de los modelos a partir de la solucin del otro.
Modelos Equivalentes
Equivalencia 1: Max/Min
~
1
) : ( )
. .
P Min f X
s a X
2
) : ( )
. .
P Max f X
s a X

X
0
es solucin ptima de P
1
, con valor ptimo V(P
1
)

X
0
es solucin ptima de P
2
, con valor ptimo V(P
2
) = -V(P
1
)

f(x)
-f(x)
x*
30/03/2010
3
Modelos Equivalentes
Equivalencia 2: Linealizacin de Objetivo
~
1
) : ( )
. .
P Min f X
s a X
( )
2
) :
. .
P Min
s a X
f X

X
0
es solucin ptima de P
1
, con valor ptimo V(P
1
)

(X
0,

0
) es solucin ptima de P
2
, con valor ptimo V(P
2
) = V(P
1
)=
0

f(x) (X
0,

0
)

e
= x

Modelos Equivalentes
Equivalencia 3: Mnimo de mximos
~
1
1,...,
) : max ( )
. .
i
i r
P Min f x
s a X
=

( )
2
) :
. .
( ) 1, .,
i
P Min
s a X
f x i r

f
1
(x)
(x*,*)

e
= x
f
2
(x)
f
3
(x)
30/03/2010
4
Modelos Equivalentes
Equivalencia 4: Suma de funciones en el objetivo
~
1
1
) : ( )
. .
r
i
i
P Min f x
s a X
=

( )
2
1
) :
. .
( ) 1, .,
r
i
i
i i
P Min
s a X
f x i r

Y, en general, con valores absolutos:

~
1
1
) : ( )
. .
r
i
i
P Min f x
s a X
=

( )
( )
2
1
) :
. .
( ) 1, .,
( ) 1, .,
r
i
i
i i
i i
P Min
s a X
f x i r
f x i r

Modelos Equivalentes
Equivalencia 5: Transformaciones Montonas
~
1
) : ( )
. .
P Min f X
s a X
( ) ( )
2
) :
. .
P Min g f X
s a X
Entonces:
( ) ( ) g estrictamente creciente sobre f
Si se tiene una funcin g tal que:
{ } ( ) / : ( ) f y x y f x = =
Con:
30/03/2010
5
Modelos Equivalentes
Ejemplo:
f(x) T1 T2 T3
EXP(2*X+1)+EXP(-X-2) LN(f(X)) f(x)^2 f(x)^(1/2)
-5 20,1 3,0 403,4 4,5
-4 7,4 2,0 54,6 2,7
-3 2,7 1,0 7,4 1,7
-2 1,0 0,0 1,1 1,0
-1 0,7 -0,3 0,5 0,9
0 2,9 1,0 8,1 1,7
1 20,1 3,0 405,4 4,5
2 148,4 5,0 22031,9 12,2
3 1096,6 7,0 1202619,1 33,1
4 8103,1 9,0 65660009,3 90,0
5 59874,1 11,0 3584912955,3 244,7
X
Observar la conservacin de la solucin ptima en las distintas transformaciones..
Modelos Equivalentes
Equivalencia 6: Recprocos
~
1
) : ( )
. .
P Min f X
s a X
( )
2
1
) :
. .
P Max
f X
s a X
Entonces:
( ) 0 f x x >
Si para la funcin objetivo se cumple siempre que:
30/03/2010
6
Modelos Equivalentes
Otras Equivalencias
Igualdades como desigualdades:
Desigualdades como igualdades:
~
( )
1
) : ( )
. . 0
P Min f X
s a g X =
( )
( )
2
) : ( )
. . 0
0
P Min f X
s a g X
g X

~
( )
1
) : ( )
. . 0
P Min f X
s a g X
( )
2
) : ( )
. . 0
0
P Min f X
s a g X Y
Y
+ =

Modelos Equivalentes
Ejemplo:
Transformar el siguiente problema a un equivalente lineal:
{ }
{ }
3
0.5
1
:
. : min 2, 1 2
i i
x x y y
i
Max e
s a x y
+
=

Usando equivalencia 5 y aplicando logaritmo (definido positivo para x > 0)

{ }
3
1
0.5
. : min 2, 1 2
i i
i
Max x x y y
s a x y
=
+ (

30/03/2010
7
Modelos Equivalentes
Ejemplo:
Usando la equivalencia 1 y la 5:
Usando equivalencia 4:
{ }
3
1
. : min 2, 1 2
i i
i
Min x x y y
s a x y
=
+ (

[ ]
{ }
3
1
:
. :
min 2, 1 2
1,.., 3
i i
i
i i
i i
Min
s a
x y
x x
i
y y

=
+

=
`


)

Modelos Equivalentes
Ejemplo:
Y por ltimo
[ ]
{ }
3
1
:
. :
min 2, 1 2
1,.., 3
i i
i
i i
i i
Min
s a
x y
x x
i
y y

=
+

=
`


)

[ ]
3
1
:
. :
2 2
y 1 2
1,.., 3
i i
i
i i
i i
i i
i i
Min
s a
x
x x
x x
i
y y
y y

=
+

=
`

30/03/2010
8
Modelos Equivalentes
Propuestos:
Demostrar que:
( ) ( )
{ }
1 1
4 2
max ; Min x y x y

(
+
(

{ }
4 2
min ; Max x y x y ( +

Es equivalente a:
{ }
2 4
3
min , 5 3
. .
4 7
Max x y x y
s a
x y
+ + +
+
PROBLEMA 1:
PROBLEMA 2:
Tiene el siguiente problema un equivalente convexo:
Objetivo de las Equivalencias
Saber que existen y considerarlas a la hora de
modelar.
Transformar problemas difciles en
problemas ms fciles.
30/03/2010
9
Clase 4: Equivalencias
ICS 1113 OPTIMIZACIN
seccin 3
Profesor : Mathias Alberto Klapp

Pontificia Universidad Catlica de Chile
Facultad de Ingeniera
Departamento de Ingeniera Industrial y de Sistemas