Professional Documents
Culture Documents
Ramificacin y Acotamiento
Conjunto de Soluciones
Un problema de PLE pura,
donde el conjunto
Ax b es acotado, tiene un
conjunto finito o infinito de
soluciones?
Finito por qu?
Al ser un conjunto finito de
soluciones, ser fcil de
resolver?
Estrategia de Solucin
Consideremos dosRelajacin
problemas de
optimizacin:
P1: min {z(x): x S}
P2: min {z(x): x S}
Se dice que P2 es una relajacin de
P1 si S S.
En otras palabras, las soluciones
posibles para x en P2 incluyen las
soluciones de x en P1 y otras
soluciones que no estn incluidas en
P1 .
Relajacin (2)
Relajar es eliminar restricciones (con o sin
penalizacin).
En un PLE se habla de la solucin de PLE
relajada asociada cuando se han eliminado
las restricciones enteras.
El valor ptimo de la solucin relajada es
siempre igual o mejor que el valor ptimo
del problema original
Relajacin (3)
max z =
8x1 + 5x2 x2
sujeto a:
x1 + x 2 6
9x1 + 5x2 45
x1, x2 0
x1, x2, enteros
PLE
(Original)
PL relajado
x1
Relajacin y Optimalidad
Aproximar? Grficamente
x2
Z=
Z1
ZOOM
7
6,8
6
Z=
2
ZZ=
Z3
3,6 4
Z=
Z0
x1
Aproximar? Grficamente
Tenemos 4
candidatos
Podramos
reducir el anlisis
a los puntos
enteros
adyacentes de la
solucin del PL?
Cuntos
puntos
adyacentes
habran si
hubieran 3
variables?...
y 4?
Por qu no aproximar?
Cul es la solucin correcta?
Solucin entera: (4, 6)
Aproximar la solucin relajada nos puede llevar a
un superptimo (mejor que el ptimo pero no
factible)
Por qu no aproximar?
Enumeracin
Enumeracin
Enumeracin Exhaustiva
Mtodo Grfico
Heursticas/Metaheursticas
Algoritmos Exactos
Enumeracin Exhaustiva
i.
ii.
iii.
4 mil siglos
i.
Mtodo Grfico
Vecino
ms cercano (Nearest
Heurstica/Metaheursticas
Neighbour)
Insercin ms barata
(Cheapest-Insertion)
Recocido Simulado
(Simmulated Annealing)
Algoritmos Exactos
Algoritmo ramificacin y
acotamiento (branch-and
-bound)
Algoritmo de generacin de
columnas (column
generation / branch-andprice)
Ramificacin y Acotamiento
8
7
6
5
ptimo
relajado
x1 = 3,75
x2 = 1,25
z = 23,75
Z = Z0
PL0
3
2
1
x1
x1
Eliminamos la parte de la regin factible que ya no pueda contener la
solucin ptima. Para esto agregamos nuevas restricciones.
x1 3
x1 4
Con esto reemplazamos el PL0 por dos nuevos problemas, PL1 y PL2
Espacio PL1 = espacio PL0 + (x1 3)
Espacio PL2 = espacio PL0 + (x1 4)
x1 3
5
PL1
PL2
0
x1
Debemos nuevamente
resolver estos problemas y
estudiar su solucin
Podemos usar SIMPLEX en
cada PL
PL0
x1 =3,75; x2 = 1,25; z =
23,75
x1 3
PL1
x1 3
5
ptimo PL1
x1 = 3
x2 = 2
z = 23
PL1
x1
PL0
x1 =3,75, x2 = 1,25, z =
23,75
x1 3
PL1
x1 =3, x2 = 2, z =
23 (ptimo)
Cota inferior
x1 4
PL2
3
1
x1 3
x1 4
PL1
7
PL2
2
x1 =3; x2 = 2; z =
23 (ptimo)
Cota inferior
x1 = 4; x2 = 0,83; z = 23,33
x2 0
x2 1
PL3
PL4
x1 = 4,5; x2 = 0; z =
22,5
x1 4
x1 5
PL6
6
x1 = 4; x2 = 0; z = 20
Cota inferior
PL5
5
Sin solucin
Sin solucin
4
14
1600
Modelo de PB:
xj = 1, si el generador j entra en
operacin
0, e.o.c.
min 7x1 + 12x2 + 5x3 + 14x4
sujeto a:
300x1 + 600x2 + 500x3 +
1600x4 700
x1, x2, x3, x4 {0, 1}
PL0: z = 6,125
(x1, x2, x3, x4) = (0, 0, 0,
0,4375)
x4 = 1
x4 = 0
PL1: z = 14
PL2: z = 9
x3 = 1
x2 = 0
PL3: z = 13
PL6: z = 9,7
x3 = 0
PL4: z = 17
PL5: z = 14,3
x1 = 0
x1 = 1
PL10: INFACTIBLE
PL7: z = 11
(x1, x2, x3, x4) = (1, 0, 0,8, 0)
x3 = 1
PL8: z = 12
(x1, x2, x3, x4) = (1, 0, 1, 0)
x3 = 0
PL9: INFACTIBLE
x10 = 0
Redondeo: z = 660
Redondeo: z = 510
x14 = 1
x3 = 1
x14 = 0
PL2: z =
545
x9 = 1
PL9: INFACTIBLE
x3 = 0
PL8: z = 780 x9 =
0,6
PL4: z = 791,25 x9 =
0,25
Redondeo: z =
660
x9 = 0
Redondeo: z = 540
PL10: z = 713,5
x9 = 0
x9 = 1
PL14: z = 714
PL11: z =
704
x4 = 1
PL12: z = 757 x5 =
0,4
PL7: z = 700,167
Redondeo: z = 725
x2 = 0
x5 = 1
PL13: z = 732
PL18: INFACTIBLE
x7 = 0
PL16: z = 766,6 x12 =
0,2
Redondeo: z = 765
x12 = 1
PL19: z = 174,667
x5 = 0
x12 = 0
PL17: z = 765
Resultado
del PL
Solucin del PL
Valor
redondeado
Accin
826,25
(1, 0, 0, 0, 0, 0, 0, 1, 0, 0,875, 0, 0, 1, 1)
695
798,75
(1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0,75)
660
Ramificar en x14
545
793,171
510
Ramificar en x3
791,250
540
Ramificar en x9
787
725
770,5
755
700,167
780
Infactible
10
713,5
11
(1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 1)
--
-660
--
--
--
704
--
12
757
13
732
--
14
714
--
15
766,909
16
766,6
17
765
18
19
725
Ramificar en x5
765
(1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0,2, 1, 1)
765
Ramificar en x12
(1, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1)
--
Infactible
--
--
174,667
(0,33, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0)
--
Valor cota
inferior
Mejor nodo
activo
Luego del
nodo
Valor cota
inferior
Mejor nodo
activo
695
826,25
10
755
791,25
695
826,25
11
755
780
695
826,25
12
755
780
695
798,75
13
755
780
695
798,75
14
755
770,5
725
798,75
15
765
766,909
755
798,75
16
765
766,909
755
798,75
17
765
766,909
755
793,171
18
765
765
755
793,171
x10 = 0
Redondeo: z = 660
Redondeo: z = 510
x14 = 1
x3 = 1
x14 = 0
x3 = 0
PL4: z = 791,25 x9 =
0,25
PL2: z =
545
Redondeo: z = 540
x9 = 0
x9 = 1
PL5: z = 787 x4 = 0,60
x4 = 1
PL6: z = 770,5 x
Cul es la solucin encontrada?
z = 755
= 0,5
Optimizacin de Sistemas II
Ramificacin y Acotamiento
ANEXOS
Solucin Grfica de PLs en Lmina:
Ramificacin y Acotamiento (11)
x2
PL2
x1 4
5
x1
x2
PL3
x1 4
5
2
x2 1
1
x1
x2
PL4
x1 4
5
1
x2 0
0
x1
x2
PL5
x1 4
5
x1 5
4
1
x2 0
0
x1
x2
PL6
x1 4
x1 4
1
x2 0
0
x1
x2
PL1
x1 3
5
x1