Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Clase4 ToPrint PDF
Clase4 ToPrint PDF
Clase4 ToPrint PDF
unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
Técnicas de Optimización
Función Unimodal, conjuntos convexos y conceptos básicos
del SIMPLEX
Departamento de Ingenierı́a
Universidad de Antioquia
Medellı́n Colombia
juanxfelipe@gmail.com
1 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
Í NDICE
2 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
3 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
I Formalmente:
para cada x(1) y x(2) que tiene un mejor valor en la función
objetivo, la dirección 4x = (x(2) − x(1) ) es una dirección de
mejora en x(1)
Función unimodal
Para maximización?
I Considere las dos siguientes funciones de maximización
I Cuál es unimodal,
Los óptimos y cuál
locales son óptimos no?
globales en las funciones unimodales
(en problemas no restringidos)
5 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
F UNCIONES L INEALES
6 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
n n
(2) (1)
X X
f (x(2) ) − f (x(1) ) = cj xj − cj xj
j=1 j=1
n
(2) (1)
X
= cj (xj − xj )
j=1
cT · .(x(2) − x(1) )
Of (x(1) ) · (x(2) − x(1) )
L ÍNEAS Y S EGMENTOS
Affine set
I Sean x1 6= x2 dos puntos en Rn ,
I Todo punto x sobre la lı́nea que va desde x1 hacia x2
line through x1, xlo2:siguiente
cumple all points
x = θx1 + (1 − θ)x2 (θ ∈ R)
θ = 1.2 x1
θ=1
θ = 0.6
x2
θ=0
θ = −0.2
affine set: contains the line through any two distinct points in the set
8 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
9 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
C ONJUNTOS C ONVEXOS
I Un conjunto C es convexo si el segmento de recta entre
Affine set
cualquier par de puntos de C está en C
I Si x1 , x2 ∈ C, y ∀θ, 0 ≤ θ ≤ 1:
line through x1, x2: all points
θx1 + (1 − θ)x2 ∈ C
x = θx1 + (1 − θ)x2 (θ ∈ R)
θ---------------
= 1.2 x1
θ=1
θ = 0.6
x2
θ=0
= −0.2
θ-----------------
10 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
11 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
I Ejemplos
24 de conjuntos convexos y no convexos
2 Convex sets
Figure 2.3 The convex hulls of two sets in R2 . Left. The convex hull of a
set of fifteen points (shown as dots) is the pentagon (shown shaded). Right.
The convex hull of the kidney shaped set in figure 2.2 is the shaded set. 12 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
13 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
14 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
15 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
16 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
17 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
Minimizar x3 + x4 + x5
Sujeto a 0,3x1 + 0,4x2 + x3 ≥ 2,0
0,4x1 − 0,2x2 + x4 ≥ 1,5
0,2x1 + 0,3x2 + x5 ≥ 0,5
x1 ≤ 9
x2 ≤ 6
x1 , x2 , x3 , x4 , x5 ≥ 0
M ODELO E JEMPLO
x2
Maximizar 12x1 + 9x2 x1≥0
Sujeto a x1 ≤ 1000 z=12x1+9x2
x2 ≤ 1500
4x1
x1≤1000
+2x
x1 + x2 ≤ 1750 2000
2
≤48
4x1 + 2x2 ≤ 4800
00
x1 , x2 ≥ 0 x2≤1500
1000
x1
+x
2 ≤1
75
0
x2≥0
1000 2000 x1
19 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
P UNTO INTERIOR
I Un punto interior es aquel en que todas las restricciones
de desigualdad son inactivas
x1≥0
z=12x1+9x2
4x1
x1≤1000
+2x
2000
2≤
0048
x2≤1500
1000
(500,500) x1
+x
2 ≤1
75
0
x2≥0
1000 2000
20 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
P UNTO FRONTERA
I Un punto frontera es aquel en que al menos una
desigualdad actua como igualdad (es activa) al evaluarse
en ese punto
x1≥0
z=12x1+9x2
4x1
x1≤1000
2000 +2x
2
≤48
00
x2≤1500
1000
x1
+x
2≤1
75
0
(1000,200)
x2≥0
1000 2000
21 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
P UNTO E XTREMO
I Un punto extremo de un conjunto convexo son los puntos que no se
encuentran en un segmento de lı́nea entre otros dos puntos del
conjunto, es decir, son los puntos que no pueden expresarse como una
conbinación convexa de otros dos puntos
x1≥0
z=12x1+9x2
4x1
x1≤1000
2000 +2x
2
≤48
00
(250,1500) x2≤1500
(0,1500)
1000 (650,1100)
x1
+x
2 ≤1
(1000,400) 75
0
(1000,0) x2≥0
(0,0) 1000 2000
22 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
O PTIMALIDAD
23 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
24 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
de la región factible
4x1
x1≤1000
+2x
está determinado
2000
2≤
48
por un conjunto de
00
x2≤1500
restricciones que son x1+x2≤1750
x2≤1500
activas
simultáneamente x1≥0
x2≤1500 4x1+2x2≤4800
sólo en ese punto x1+x2≤1750
x1
+x
2≤1
75
0 4x1+2x2≤4800
x1≤1000
x2≥0
x1≥0 x1≤1000
x2≥0 x2≥0
26 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
4x1
adyacentes si son
x1≤1000
+2x
determinados por conjuntos Arco
2000
2≤
de restricciones activas que
48
00
difieren sólo en un x2≤1500
elemento x1+x2≤1750
x2≤1500
I Dos puntos extremos
ayacentes están unidos por
un arco que x1≥0
x2≤1500
está determinado por las
restricciones activas que los
puntos adyacentes tienen en x1
+x
común 2≤1
75
0 4x1+2x2≤4800
x1≤1000
x2≥0
x1≤1000
x2≥0
27 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
28 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
4
(2)
≤6
3x
2
3 1+
-2x
≤1
+x
2
-x
1
2
1
(1)
1 2 3 4 x1
I Las soluciones x(0) , x(1) , x(2) son puntos extremos determinados por las
restricciones 3 y 4, 2 y 3, 1 y 2 respectivamente. Los puntos x(0) , x(1) son
adyacentes, ası́ como los puntos x(1) , x(2)
I Cada par de puntos adyacentes está unido por un arco. Por ejemplo x(0) , x(1)
están unidas por la lı́nea −x1 + x2 = 1 y aunque x(3) no es un punto extremo,
está unido con x(0) por la lı́nea x2 = 0
29 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
30 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
31 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
32 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
33 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
34 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
35 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
36 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
x6≥
x2 + x4 = 1500 x3≥0
2000
0
x1 + x2 + x5 = 1750
4x1 + 2x2 + x6 = 4800
x1 , x2 , x3 , x4 , x5 , x6 ≥0
x4≥0
37 / 38
F.O. unimodal y conjuntos convexos SIMPLEX: Conceptos básicos Puntos extremos y soluciones básicas
L ECTURA RECOMENDADA
38 / 38