ING 200 - Optimización

Ramificación y Acotamiento

1. La figura muestra el arbol de Branch and Bound (ramificación y acotamiento) para el siguiente problema
en un paso intermedio.

mı́n −0,2x1 − 0,3x2 − 0,5x3 − 0,1x4

0,5x1 + 1,0x2 + 1,5x3 + 0,1x4 ≤ 3,1
0,3x1 + 0,8x2 + 1,5x3 + 0,4x4 ≤ 2,5
0,2x1 + 0,2x2 + 0,3x3 + 0,1x4 ≤ 0,4
x1 , x2 , x3 , x4 ∈ {0, 1}

a) Indique el valor de la mejor solución incumbente, y el subproblema donde esta se obtuvo. Justifique
por qué.
b) Indique que subproblemas deben dejarse de ramificar (y por qué), y cuales deben continuarse rami-
ficando.

2. Considere el siguiente programa lineal cuya zona de soluciones factibles queda detallada por la figura
anexa.
 [MAX] Z = 2x + 6y
s.a. x + 3y ≥ 6
x − 3y ≤ 2
2x + 5y ≤ 22
− 2x + 3y ≤ 4
x, y enteras no negativas

(
A = 23 , 13
8 4 )
y" (
B = 2 , 16 )
3 9

A
(
C = 76 , 18
11 11 )
−2x + 3y ≤ 4 (
D = 4, 2
3 )
2x + 5y ≤ 22

B
C
x − 3y ≤ 2
D
x + 3y ≥ 6

x1"

a) Dibuje en la figura la función objetivo y indique cual es la solución del problema relajado.
b) Complete el árbol de exploración, teniendo en cuenta que se ha utilizado como regla de ramificación
dividir en subproblemas según la variable cuyo valor real sea lo más alejado de la integralidad (por
tanto, que su parte fraccional esté lo más cerca posible de valer 0.5). Indique en cada rama, la
restricción que se añade al modelo.
c) ado el estado actual del árbol de exploración ¿Cuál es la solución incumbente actual? ¿Debemos
seguir ramificando, o hemos encontrado la solución óptima? Argumente su respuesta sin realizar
cálculos adicionales.

Page 2
3. Se tiene el siguiente problema de Programación Entera:
máx Z = x1 + 2x2
s.a.
− 3x1 + 4x2 + ≤ 4
3x1 + 2x2 + ≤ 11
2x1 − x2 + ≤ 5
x1 , x2 ≥ 0, enteros

Este problema se resolvió usando el algoritmo de Branch-and-Bound y se obtuvo el siguiente árbol:

a) Plantee el problema que se resolvió en el problema P3

b) Dibuje la región factible del problema P4 y la función objetivo.
c) ¿Encontró el software la solución óptima? ¿Cuál es? Explique.

4. Se tiene el siguiente problema de Programación Entera:

máx Z = 9x + 5y
s.a.
4x + 9y ≤ 35
x≤6
x − 3y ≥ 1
3x + 2y ≤ 19
x, y ≥ 0, enteros

Un compañero está resolviendo el problema por el algoritmo Branch and Bound y le entrega el árbol que
tiene hasta el momento

Page 3
 En cada rama del dibujo anterior, agregue la restricción correspondiente al subproblema. Luego continue
ejecutando el algoritmo hasta encontrar el óptimo. Argumente su procedimiento ası́ como su finalización
5. Se tiene el siguiente problema de progamación entera:

máx z = x1 + 3x2
s.a
3x1 + 2x2 ≤ 12
x2 ≤ 2
x1 , x2 ≥ 0, enteros

Se sabe además que la solución al problema relajado es z = 8,67, x1 = 2,67, x2 = 2. Usando el siguiente
gráfico termine de resolver el problema usando el algoritmo de Branch-and-Bound. Indique claramente los
subproblemas que resuelva, el valor del incumbente y los resultados de los subproblemas.

Page 4
6. El siguiente problema se está resolviendo usando el método de ramificación y corte (branch and bound):

mı́n Z = x1 + 3x2 + 2x3 + 7x4

s.a. Ax = b
x enteras no negativas

Donde Ax = b es un set de restricciones lineales. Hasta ahora el método de ramificación y corte se muestra
en la figura de abajo.

Page 5
 En el gráfico se muestra la solución al problema de programación lineal relajado i donde x son los valores
obtenidos para cada problema y Z el valor óptimo para cada problema. Note también que cada problema
se identifica como un nodo Pi, ası́ el primer nodo P0 corresponde al primer problema relajado.
a) Si se inició con un incumbente igual a ∞, en este momento ¿cuál es el valor del incumbente?
b) ¿Hay nodos que se deben ramificar? Si los hubiera escriba los problemas que deberı́an resolverse (no
los resuelva, solo plantéelos)
7. El dueño de una empresa ha decidido expandir su operación. Para ello puede comprar dos máquinas. La
máquina A ocupa un espacio de 15 m2 y la máquina B un espacio de 30 m2 . El precio de la máquina A
es de 8.000 dólares y el de la B es de 4.000 dólares. La máquina A le reportarı́a una ganancia neta de 100
dolares por dı́a y la B una ganancia de 150 dólares por dı́a. El empresario cuenta con 40.000 dólares para
invertir y con un espacio de 200 m2 . De acuerdo a esto, ha planteado el siguiente modelo de programación
entera, donde x1 es la cantidad de máquinas del tipo A y x2 el número de máquinas del tipo B que deberı́a
comprar.

máx Z = 100x1 + 150x2

s.a. 8000x1 + 4000x2 ≤ 40000
15x1 + 30x2 ≤ 200
x1 , x2 ≥ 0, enteros

Adicionalmente ha usado un software que le ha reportado el siguiente árbol de Branch-and-Bound:

Page 6
 ¿Encontró el software la solución óptima? Si la encontró, reporte la solución óptima y valor óptimo hallados.
Si no la encontró, continúe con el algoritmo y halle la solución óptima y valor óptimo del problema.
Nota: Debe presentar el subproblema que resolvió (modelo) y justificar como lo resolvió.
8. El siguiente problema se resolvió usando el algoritmo Branch-and-Bound (Ramificación y Acotamiento),
obteniéndose el árbol que se muestra a continuación:

máx Z =13x1 + 8x2

s.a. x1 + 2x2 ≤ 10
5x1 + 2x2 ≤ 20
x1 , x2 ≥ 0, enteros

P0: x1 = 2,5; x2 = 3,75; Z = 59,5

x1 ≥ 3 x1 ≤ 2

P1: x1 = 3; x2 = 2,5; Z = 59 P2: x1 = 2; x2 = 4; Z = 58

9. Frente a presiones de diferentes sectores, el gobierno de Elbonia necesita definir la nueva base de generación
eléctrica del paı́s, respetando las restricciones medioambientales y maximizando la cantidad de energı́a
producida. Para ello, el paı́s cuenta con un presupuesto total de 3400 M e. El paı́s debe cumplir con
un mı́nimo de 75000 [GWh] generadas (anualmente) y respetar las cotas máximas de emisión de CO2 y
otros contaminantes de 20 [MT] y 250 (unidades equivalentes). Adicionalmente, por requerimientos de los
ambientalistas, existe una cota máxima sobre la cantidad de plantas de cada tipo. En base a una serie de
estudios, se encontró la información sobre las diferentes tecnologı́as disponibles presentada en la siguiente
tabla.
Usted está supervisando el trabajo de un analista encargado de resolver este problema. El analista le

Page 7
 nuclear carbón gas eólica solar
costo [M e] 248 206,375 102,9375 62,2125 18,045
energı́a [GWh] 7750 3250 2250 1050 90
emisión CO2 [MT] 0 2,6 0,7875 0 0
emisión otro 5,8125 30,0625 9,5625 0,525 0,045
número máximo 6 20 20 30 100

Cuadro 1: Parámetros de las tecnologı́as

entregó el siguiente modelo:

máx Z = 7750x1 + 3250x2 + 2250x3 + 1050x4 + 90x5

s.a. 7750x1 + 3250x2 + 2250x3 + 1050x4 + 90x5 ≥ 75000
248x1 + 206,375x2 + 102,9375x3 + 62,2125x4 + 18,045x5 ≤ 3400
2,6x2 + 0,7875x3 ≤ 20
5,8125x1 + 30,0625x2 + 9,5625x3 + 0,525x4 + 0,045x5 ≤ 250
x1 ≤ 6
x2 ≤ 20
x3 ≤ 20
x4 ≤ 30
x5 ≤ 100

Árbol de ramificación y acotamiento Las etiquetas de los arcos corresponden a las restricciones agregadas
en el proceso de ramificación.

Page 8
 Z = 88292, 350
x1 = 6; x3 = 18, 574
x2 = x4 = x5 = 0
P1

x3 ≤ 18 x3 ≥ 19

Z = 87997, 890 Z = 87880, 859

x1 = 6; x3 = 18 x1 = 5, 823; x3 = 19
x4 = 0, 95; x2 = x5 = 0 x2 = x4 = x5 = 0
P2 P3

x4 ≤ 0 x4 ≥ 1 x1 ≤ 5 x1 ≥ 6

Z = 87931, 102 Z = 87982, 514 Z = 85458, 861 Infactible

x1 = 6; x2 = 0, 286 x1 = 6; x3 = 17, 97 x1 = 5; x3 = 20 P7
x3 = 18; x4 = x5 = 0 x4 = 1; x2 = x5 = 0 x4 = 1, 627; x2 = x5 = 0
P4 P5 P6

x2 ≤ 0 x2 ≥ 1 x3 ≤ 17 x3 ≥ 18

Z = 87294, 888 Z = 87031, 421 Z = 87485, 232 Z = 87953, 516

x1 = 6; x3 = 18 x1 = 6; x2 = 1 x1 = 6; x3 = 17 x1 = 5, 988; x3 = 18
x5 = 3, 277; x2 = x4 = 0 x3 = 16, 570; x4 = x5 = 0 x4 = 2, 605; x2 = x5 = 0 x4 = 1; x2 = x5 = 0
P8 P9 P10 P11

x5 ≤ 3 x5 ≤ 4

Z = 87270 Z = 87074, 645

x1 = 6; x3 = 18 x1 = 6; x3 = 17, 873
x5 = 3; x2 = x4 = 0 x5 = 4; x2 = x4 = 0
P12 P13

El analista además, le entregó un árbol de ramificación y acotamiento (”branch and bound”) presentado
en la figura de la siguiente página. En base a este árbol:
a) Indique el valor de la mejor solución incumbente, y el sub-problema dónde esta se obtuvo. Justifique
por qué.
b) Indique que sub-problemas deben dejarse de ramificar y cuales deben continuarse ramificando. ¿Es
óptima la solución hallada hasta ahora? Justifique cada respuesta en base a los criterios del algoritmo
de ramificación y acotamiento.
10. Para el siguiente problema:

máx Z = 8x + 10y
s.a. 4x + 6y ≤ 24
8x + 3y ≤ 24
x, y ≥ 0, enteros

Un estudiante obtuvo el siguiente árbol tras aplicar el algoritmo de Branch-and-Bound.

Page 9
 P1: Z = 42,67
x=2
y = 2,67

P2: Z = 38 P3: Z = 42
x = 2,25 x = 1,5
y=2 y=3

P4: Z = 41,33
x=1 P5: infactible
y = 3,33

a) Indique las restricciones que se añadieron a cada rama del árbol. Asimismo indique el valor actual
del incumbente (asuma que el estudiante partió asumiendo un incumbente igual a −∞.)
b) ¿Se obtuvo la solución óptima al problema? Si no es ası́, añada la(s) rama(s) y nodo(s) que sean
necesarios y halle la solución óptima siguiendo los criterios del algoritmo de Branch-and-Bound.

Page 10
Soluciones:
1. a) Como el problema es de minimización, la mejor solución incumbente es (0,0,1,1) con objetivo -0.6 en
el problema P4 porque tiene la mejor función objetivo y sus valores son binarios.
b) Los problemas P4 y P6 se podan por ser soluciones enteras. El problema P5 se poda pues su objetivo
es mayor que el incumbente.
101
2. a) El óptimo se alcanza en el punto A, con una función objetivo de z = 4 .

x=#23/8 = 2.875
y=#13/4 = 3.25
#z=#101/4 = 25.25
________________#
y≤3 ________________#
y≥4

x=#7/2=3.5 x=#
y=#3 y=#
#z=#25 #z=#
INFACTIBLE
x≤3
________________# x________________#
≥4

x=3# x=4#
y=3# y=2,8#
#z=24# #z=24,8#
b)
c) La solución incumbente es x = 3, y = 3 con un valor objetivo de z = 24. Hay dos respuestas posibles,
donde su correctitud depende del argumento:
1) NO, ya que hay un nodo no ramificado con función objetivo mayor que 24.
2) SI, ya que como los coeficientes del objetivo son enteros, la mejor solución que podrı́a obtener
en la rama que falta explorar tendrá valor igual a 24.
3. a)

máx Z = x1 + 2x2
s.t. − 3x1 + 4x2 ≤ 4
3x1 + 2x2 ≤ 11
2x1 − x2 ≤ 5
x2 ≤ 2
x1 ≤ 2
x1 , x2 ≥ 0

Page 11
 b)
(La región factible es solo el punto (x1 , x2 ) = (3, 1))
c) Si. La solución es (x1 , x2 ) = (2, 2) con Z = 6. Es la mejor solución entera.
4. El árbol final es el siguiente

Al resolver el subproblema (P2) formado con y <= 0 (P2), tenemos la primera solución entera. Obvia-
mente, no es necesario ramificar P2. No es necesario seguir ramificando subproblema formado con y >= 1
y x <= 5, ya que el valor de z=51.666.. es menor al z=54 del incumbente. Se debe saber qué pasa con
subproblema (P3), formado con y >= 1 y x >= 6, ya que a priori es posible que ahı́ se encuentre el ópti-
mo. Como ese subproblema es infactible, luego no es necesario ramificar y podemos parar el algoritmo. El
óptimo es el incumbente, es decir x=6, y=0 con z=54.
5. El problema se empieza con un incumbente zu = −∞.
Se agregan dos ramas como se muestra en la figura siguiente y se resuelve usando el método gráfico.
El nodo 1 se deja de ramificar porque se alcanza solución entera, y se actualiza el incumbente zu = 8
El valor de z del subproblema 2 se compara con el incumbente actual y se concluye que no se ramifica
porque z = 7,5 < zu = 8
Por tanto el algoritmo termina y la solución es x1 =, x2 = 2, z = 8

Page 12
6. a) El valor actual del incumbente es el mejor valor entero encontrado hasta el momento. En este casi es
Zu = 38.
b) Existen dos subproblemas que se deben ramificar porque el Z ≤ Zu . Estos son los subproblemas P3
y P6. Los subproblemas que se deben crear son
P7:
mı́n Z = x1 + 3x2 + 2x3 + 7x4
s.a. Ax = b
x1 ≥ 3
x2 ≥ 3
x1 ≤ 1
x≥0

P8:
mı́n Z = x1 + 3x2 + 2x3 + 7x4
s.a. Ax = b
x1 ≥ 3
x2 ≥ 3
x1 ≥ 2
x≥0

Page 13
 P9:
mı́n Z = x1 + 3x2 + 2x3 + 7x4
s.a. Ax = b
x1 ≤ 2
x2 ≤ 2
x3 ≤ 0
x≥0

P10:
mı́n Z = x1 + 3x2 + 2x3 + 7x4
s.a. Ax = b
x1 ≤ 2
x2 ≤ 2
x3 ≥ 1
x≥0

7.
La solución encontrada no es óptima. Se debe ramificar P3 primero, con P5 y P6.

Page 14
Problema P5:

máx Z =100x1 + 150x2

s.a. 8000x1 + 4000x2 ≤ 40000
15x1 + 30x2 ≤ 200
x2 ≥ 6
x1 ≤ 1
x2 ≤ 6
x1 , x2 ≥ 0

Al resolver P5, se encuentra una solución entera con x1 = 1 y x2 = 6 con Z = 1000, por tanto el
incumbente Zu = 1000. Para esto se puede usar el método gráfico y observar que la región se restringe
a la lı́nea J-K y que el punto óptimo es K, es decir x1 = 1 y x2 = 6

Problema P6:

máx Z =100x1 + 150x2

s.a. 8000x1 + 4000x2 ≤ 40000
15x1 + 30x2 ≤ 200
x2 ≥ 6
x1 ≤ 1
x2 ≥ 7
x1 , x2 ≥ 0

Al resolver P6,se puede observar que la región es infactible.

Page 15
 Conclusión: Dado que el valor de Z en P1 = 1000 ≤ ZP 5 = 1000 se puede dejar de ramificar y la
solución óptima serı́a x1 = 1, x2 = 6, Z∗ = 1000.
8. a) La solución incumbente es la solución del sub-problema P 2 con x1 = 2, x2 = 4, y el valor de la
función objetivo de 58.
b) El árbol no presenta la solución óptima, ya que el sub-problema P 1 presenta una cota superior mayor
al valor de la función objetivo de la solución incumbente.
c) Hay que ramificar el sub-problema P 1, agregando restricciones x2 ≤ 2 y x2 ≥ 3 para sub-problemas
P 3 y P 4, respectivamente.

P 3, óptimo en x1 = 3, 2, x2 = 2 y Z = 57, 6. P 4 infactible.

máx Z =13x1 + 8x2 máx Z =13x1 + 8x2
x1 + 2x2 ≤ 10 x1 + 2x2 ≤ 10
5x1 + 2x2 ≤ 20 5x1 + 2x2 ≤ 20
x1 ≥ 3 x1 ≥ 3
x2 ≤ 2 x2 ≥ 3
x1 , x2 ≥ 0 x1 , x2 ≥ 0

El sub-problema P 3 no se sigue ramificando por tener la solución óptima peor que la solución incum-
bente.
d ) La solución del sub-problema P 2 se confirma como la óptima.

9. a) La mejor solución se obtuvo en el problema P12, y da como valor Zu = Z = 87270, x1 = 6, x2 =

0, x3 = 18, x4 = 0, x5 = 3
b) Los problemas que se deben dejar de ramificar son:
P13, porque Z13 ≤ Zu
P9, porque Z9 ≤ Zu
P6, porque Z6 ≤ Zu
P7, porque es infactible
Los problemas que se deben de ramificar son:

Page 16
 P10 porque Z10 ≥ Zu
P11 porque Z11 ≥ Zu
Como hay problemas que se deben de seguir ramificando, entonces no sabemos si es óptima.
10. a) A P2 se añadió y ≤ 2, a P3 se añadió y ≥ 3, a P4 se añadió x ≤ 1, a P5 se añadió x ≥ 2. Como no
hay solución con variables enteras hasta el momento, el incumbente sigue siendo Zu = −∞.
b) La solución no es óptima por lo que se debe ramificar el P4 que tiene el mayor Z. El P4 se parte en
P6 y P7. Para P6 se añade y ≤ 3 y se obtiene x = 1, y = 3, Z = 38. Para P7, se añade la restricción
y ≥ 4 al problema P4 y se encuentra que x = 0, y = 4, Z = 40. P7 da la solución óptima al problema
(x = 0, y = 4, Z = 40). P2 no se debe ramificar.

Page 17