Professional Documents
Culture Documents
Planos Cortantes
Mtodos que
(iterativamente) refnan la
regin factible o funcin
objetivo mediante
desigualdades lineales,
denominadas cortes.
Cada desigualdad incluye
usualmente ms de una
variable (hiperplano).
Son aplicables en el
contexto de programacin
lineal entera, mixta y
tambin para problemas no
diferenciables convexos.
El algoritmo de separacin
se encarga de generar
cortes dada una solucin
fraccionaria (no entera).
Balance entre llamadas al
algoritmo de separacin y
nmero de cortes por
iteracin.
Planos cortantes
Cobertura (Cover)
Tipo knapsack, en donde la suma de un grupo
de variables binarias no puede exceder un
nmero.
Planos cortantes
Planos cortantes
Envoltura
Convexa
(Convex
Hull)
Eventualmente despus de
agregar varios planos cortantes
No.
Planos cortantes
Ejemplo
max z = 7x1 + 10x2
sujeto a:
-x1 + 3x2 6
7x1 + x2 35
x1, x2 0 y entero
El algoritmo parte de la
solucin ptima de la
relajacin y luego agrega
restricciones especialmente
construidas (cortes)
Grfcamente
x2
4
3
2
x1
Grfcamente
x2
ptimo: (4,57; 3)
e
rt
Co
II
Corte I
3
2
ptimo: (4;
3)
0
x1
Solucin
bsica
factible
x1
x2
x2
7/22
1/22
3,5
x1
-1/22
3/22
4,5
x3
x4
63/22 31/22
Solucin
66,5
A partir de SIMPLEX
x2 + (0 + 7/22) x3 + (0 +
1/22) x4 = (3 + 1/2)
1. Transformamos la ecuacin
x2 en:
Arbitrariamente elegimos la
ecuacin x2:
Solucin
bsica
factible
x1
x2
x3
x4
s1
Solucin
63/22
31/22
66,5
7/22
1/22
-7/22
-1/22
Es
Es esta
esta tabla
tabla factible?
ptima?
3,5
4,5
-1/2
NO
SI
Solucin
bsica
factible
x1
x2
x3
x4
s1
Solucin
62
x2
x1
x3
Hemos
NO
Tenemos entonces:
x1 + (0 + 1/7)x4 + (-1 +
6/7)s1 = (4 + 4/7)
Solucin
bsica
factible
x1
x2
x3
x4
s1
-1/7
x4 -6/7
s10 + s2 =
-4/7,1 s2
0
z
0
0
9
II)
x2
0
1
0
0
1
Agregamos esta nueva restriccin al
x1 Simplex:
1
0
0
1/7
-1/7
s2
0
Solucin
(Corte
62
4,57
x3
1/7
-22/7
1,57
s2
-1/7
-6/7
-4/7
Solucin
bsica
factible
x1
x2
x3
x4
s1
x2
x1
-1
x3
-4
x4
s2
Solucin
58
-7
Problema resuelto!
Normalmente un nmero
grande de planos
cortantes son necesarios.
Los cortes tienden a ser
ms dbiles a medida que
se progresa en el
algoritmo.
Ninguna solucin factible
se obtiene hasta el fnal.
Desventajas:
Ventajas:
a x b
j
jC
x C 1
jC
5 x1 5 x2 5 x3 5 x 4 3 x5 8 x6 17
Podemos identifcar
cortes de cobertura que
sean vlidos para esta
restriccin?
Ejemplo.
Algoritmo
Ramifcacin y Corte
de
Buscando
mayor
efciencia en la bsqueda
de un ptimo para una
problema de PLE, surge
una estrategia combinada
entre el algoritmo de
Ramifcacin
y
Acotamiento
y
el
algoritmo
de
Planos
Cortantes:
Ramifcacin y Corte
Ramifcacin y Corte
xj = 1, si el generador j entra
en operacin
0, e.o.c.
Ramifcacin y Corte
PL0: z = 6,125
Ramifcacin y Corte
0 + 0 + 0 + 0,4378 < 1
x1 + x2 + x3 + x4 1
Ramifcacin y Corte
PL1: z = 6,636
Ramifcacin y Corte
PL0: z = 6,125
(x1, x2, x3, x4) = (0, 0, 0, 0,4375)
x 1 + x2 + x 3 + x4 1
PL1: z = 6,636
(x1, x2, x3, x4) = (0, 0, 0,818, 0,182)
x3 = 1
x3 = 0
PL2: z = 6,75
(x1, x2, x3, x4) = (0, 0, 1, 0,125)
PL0: z = 6,125
(x1, x2, x3, x4) = (0, 0, 0, 0,4375)
x1 + x2 + x3 + x4 1
PL1: z = 6,636
(x1, x2, x3, x4) = (0, 0, 0,818, 0,182)
x3 = 0
x3 = 1
PL2: z = 6,75
PL6: z = 14
x1 + x2 + x3 + 2x4 2
PL3: z = 12
(x1, x2, x3, x4) = (0, 0, 1, 0,5)
x4 = 1
x4 = 0
PL4: z = 19
PL5: z = 12
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
PL5: z = 14,3
x1 = 0
x1 = 1
PL8: z = 12
(x1, x2, x3, x4) = (1, 0, 1, 0)
x3 = 0
PL9: INFACTIBLE
Paso 0: Inicializacin
Si la solucin activa
permanece, seleccione x(t) y
prosiga al Paso 2. De otro
modo detngase. Si existe una
cota inferior x, es ptima,
sino, el modelo es infactible.
Paso 1: Detencin
Paso 2: Relajacin
Si la solucin de la relajacin
lineal da como resultado
infactible, entonces no es
posible construir una solucin
entera a partir de este nodo.
Termine x(t) e incremente t t
+ 1. Retorne al Paso 1.
Si la solucin de la relajacin
lineal da un resultado de z que
es menor que la cota inferior
actual, el nodo actual no
puede producir un mejor
resultado. Termine x(t) e
incremente t t + 1. Retorne
al Paso 1.
Si la solucin de la relajacin
lineal da un resultado que
satisface todos las
restricciones del problema
original, entonces sta es la
mejor solucin que puede
ofrecer el nodo actual. Luego
de guardar este resultado
como la nueva cota inferior,
termine x(t) e incremente t t
+ 1. Retorne al Paso 1.
Paso 7: Ramificacin
Optimizacin de Sistemas II
Planos Cortantes