tc3001 12 Ramificacion

PLE: Ramificación y Acotamiento
CCIR / Depto Matemáticas
TC3001
CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 1 / 45

La compañı́a TELFA fabrica mesa y sillas. Una mesa requiere 1 hora de
trabajo y 9 pies de tabla de madera, y una silla requiere 1 hora de trabajo
y 5 pies de tabla de madera. Actualmente la compañı́a dispone de 6 horas
de trabajo y 45 pies de madera. Cada tabla contribuye con 8 dólares de
utilidad y cada silla con 5 dólares. Formule y resuelva un modelo lineal
entero (PLE ó PE) para maximizar la utilidad de TELFA.
Modelo
Variables de Decisión:
Objetivo:
Restricciones:

Modelo
x1 = número de mesas a fabricar y
x2 = número de sillas a fabricar.
Objetivo:
Restricciones:

Modelo
Objetivo: Maximizar la utilidad: Max z = 8 x1 + 5 x2
Restricciones:

Modelo
Restricciones:
x1 + x2 ≤ 6 (Horas de trabajo)

Modelo
Restricciones:
9 x1 + 5 x2 ≤ 45 (Madera)

Modelo
Restricciones:
9 x1 + 5 x2 ≤ 45 (Madera)
x1 , x2 ≥ 0

Modelo
Restricciones:
9 x1 + 5 x2 ≤ 45 (Madera)
x1 , x2 ≥ 0 y x1 , x2 enteros.

El Problema Lineal que se obtiene de omitir todas las restricciones
enteras o del tipo 0-1 para todas las variables de un modelo de
Programación Lineal Entera PLE se llama relajación PL del PLE.

Hecho 1:
La región factible de la relajación PL de un PLE contiene la región
factible del PLE. Esto se deduce por que cada restricción que se quita
(en este caso la restricción de que las variables sean enteras) hace que
la región factible en el peor caso quede igual: Quitar restricciones no
puede hacer más pequeña la región factible.

Hecho 1:
puede hacer más pequeña la región factible. Por lo tanto: Si la región
factible para la relajación PL es vacı́a, entonces la región factible para
el PLE también es vacı́a.

Hecho 1:
Hecho 2:
El valor óptimo de z para la relajación PL ≥ el valor óptimo de z para
el PLE. Esto se deduce por la contención de las regiones factibles: El
PL relajado tiene un espacio adicional de búsqueda que el PL y no
puede empeorar.

Hecho 1:
Hecho 2:
El valor óptimo de z para la relajación PL ≥ el valor óptimo de z para
el PLE. Esto se deduce por la contención de las regiones factibles: El
PL relajado tiene un espacio adicional de búsqueda que el PL y no
puede empeorar. Por lo tanto, Si el óptimo de z para la relajación PL
está en la región factible del PLE, entonces tal punto es el óptimo del
PLE.
Geometrı́a del Problema
9
8
9 x1 + 5 x2 = 45 La región en amarillo corresponde
7 a la región factible del problema
relajado.
6
Los puntos en verde corresponde a
5 la región factible del problema con
x2
4 x1 y x2 enteros.
El punto en rojo corresponde al
3
óptimo del problema relajado:
2 z = 41.25, x1 = 3.75, x2 = 2.25.
x1 + x2 = 6
1
0
0 1 2 3 4 5 6 7
x1

Problema
Nuestro problema consiste en encontrar el punto de región factible del

PLE que tenga la mejor evaluación. No uno donde aproximadamente se
obtenga el mejor. En general, este punto no se obtiene redondeando o
truncando la solución al problema relajado. El problema consistirá en hacer
una búsqueda sistemática de toda la región factible del PLE. El método de
ramificación y acotamiento consiste en dividir la región factible del PLE
utilizando como referencia divisiones a la región factible del problema
relajado.

9 9
8 8
9 x1 + 5 x2 = 45 9 x1 + 5 x2 = 45
7 7
6 6
5 5
x2 x2
4 4
3 3
2 2
x1 + x2 = 6 x1 + x2 = 6
1 1
0 0
0 1 2 3 4 5 6 7 0 1 2 3 4 5 6 7
x1 x1

9
8
9 x1 + 5 x2 = 45
7
6
Subproblema 2:
5
x2 Max z = 8 x1 + 5 x2
4 x1 + x2 ≤ 6
x1 = 4 9 x1 + 5 x2 ≤ 45
3
x1 , x2 ≥ 0
2 x1 ≥ 4
x1 + x2 = 6
1 Óptimo:
0 z = 41, x1 = 4, x2 = 1.8
0 1 2 3 4 5 6 7
x1

9
8
x1 + x2 = 6 9 x1 + 5 x2 = 45
7
6
5 Subproblema 3:
x2
4 Max z = 8 x1 + 5 x2
x1 = 4 x1 + x2 ≤ 6
3 9 x1 + 5 x2 ≤ 45
x1 , x2 ≥ 0
2 x2 = 2 x1 ≥ 4
1 x2 ≥ 2
0 Región Factible: Vacı́a

0 1 2 3 4 5 6 7
x1

9
8
x1 + x2 = 6 9 x1 + 5 x2 = 45
7
6 Subproblema 4:
5 Max z = 8 x1 + 5 x2
x2
4 x1 + x2 ≤ 6
x1 = 4 9 x1 + 5 x2 ≤ 45
3 x1 , x2 ≥ 0
x1 ≥ 4
2 x2 ≤ 1
1 x2 = 1
Óptimo:
0
0 1 2 3 4 5 6 7 z = 40.55, x1 = 4.44, x2 = 1
x1

9
8
x1 + x2 = 6 9 x1 + 5 x2 = 45
7
6 Subproblema 5:
5 Max z = 8 x1 + 5 x2
x2 x1 + x2 ≤ 6
4 9 x1 + 5 x2 ≤ 45
x1 = 4 x1 , x2 ≥ 0
3
x1 ≥ 4
2 x1 = 5 x2 ≤ 1
x1 ≥ 5
1 x2 = 1
Óptimo:
0
0 1 2 3 4 5 6 7
x1 z = 40, x1 = 5, x2 = 0

9
8
x1 + x2 = 6 9 x1 + 5 x2 = 45
7
6 Subproblema 6:
5 Max z = 8 x1 + 5 x2
x2 x1 + x2 ≤ 6
4 9 x1 + 5 x2 ≤ 45
x1 = 4 x1 , x2 ≥ 0
3
x1 ≥ 4
2 x2 ≤ 1
x1 ≤ 4
1 x2 = 1
Óptimo:
0
0 1 2 3 4 5 6 7
x1 z = 37, x1 = 4, x2 = 1

9
8
9 x1 + 5 x2 = 45
7
6
x1 = 3 Subproblema 7:
5
x2 Max z = 8 x1 + 5 x2
4 x1 + x2 ≤ 6
9 x1 + 5 x2 ≤ 45
3
x1 , x2 ≥ 0
2 x1 ≤ 3
x1 + x2 = 6
1 Óptimo:
0 z = 39, x1 = 3, x2 = 3
0 1 2 3 4 5 6 7
x1

Algoritmo de Ramificación y Acotamiento
1. Inicializar el criterio de mejora b y la pila P = {Ro }.

2. Mientras la pila P no esté vacı́a hacer:
2.1 Sea p = Pop(P) y sea R el conjunto de restricciones de p;
2.2 Sea s la solución al problema PL p;
2.3 Si la s tiene región factible vacı́a, entonces
continuar (Acotar);
2.4 Si s tiene una evaluación menor o igual que b, entonces
continuar (Acotar);
2.5 Si s tiene la forma de la solución buscada, entonces
cambiar el criterio de mejora y la solución a reportar y
continuar (Acotar);
2.6 Sea xi = ci la primer variable que no es entera es s
y que lo deberı́a serlo.
2.7 Añada (R ∪ {xi ≤ bci c}) a P (Ramificar);
2.8 Añada (R ∪ {xi ≥ dci e}) a P (Ramificar);
Ejemplo 2
max z = x + 2 y
sujeto a
17 x + 11 y ≤ 100 p1
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100
con x y y enteros y mayores o iguales que cero.

1 p1 = {Ro }(Problema relajado)
2
3
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
max z = x + 2 y
p2
sujeto a x ≥4
17 x + 11 y ≤ 100 p1z : 11.43

12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3
p3
1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]
2
3
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
max z = x + 2 y
p2
sujeto a x ≥4
17 x + 11 y ≤ 100 p1z : 11.43

12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3
p3
2 p2 = {Ro , X ≥ 4}
3
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81
x ≥4
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5
−8 x + 30 y ≤ 100
con x y y enteros y mayores o iguales que cero. x ≤3

p3

2 p2 = {Ro , X ≥ 4}, Simplex: Z=9.81 con X=4.00 y Y = 2.9,b = −∞,P = [p4 , p5 , p3 ]
3
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81
x ≥4
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5
−8 x + 30 y ≤ 100

p3

3 p4 = {Ro , X ≥ 4, Y ≥ 3}
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81
x ≥4
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5
−8 x + 30 y ≤ 100

p3

3 p4 = {Ro , X ≥ 4, Y ≥ 3},Simplex: Región Factible vacı́a,P = [p5 , p3 ]
4
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81
x ≥4
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5
−8 x + 30 y ≤ 100

p3

4 p5 = {Ro , X ≥ 4, Y ≤ 2}
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81 p6
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58
−8 x + 30 y ≤ 100
con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

p3 p7

4 p5 = {Ro , X ≥ 4, Y ≤ 2}, Simplex: Z=8.58 con X=4.58 y Y = 2.0,P = [p6 , p7 , p3 ]
5
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a
max z = x + 2 y y ≥3
sujeto a
p2z : 9.81 p6
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58
−8 x + 30 y ≤ 100

p3 p7

5 p6 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5}
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
max z = x + 2 y y ≥3 y ≥2
sujeto a
p2z : 9.81 p6z : 7.72
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9
−8 x + 30 y ≤ 100

p3 p7

5 p6 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5}, Simplex: Z=7.72 con X=5.0 y Y = 1.36,P = [p8 , p9 , p7 , p3 ]
6
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
max z = x + 2 y y ≥3 y ≥2
sujeto a
p2z : 9.81 p6z : 7.72
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9
−8 x + 30 y ≤ 100

p3 p7

6 p8 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≥ 2}
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a
p2z : 9.81 p6z : 7.72
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9
−8 x + 30 y ≤ 100

p3 p7

6 p8 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≥ 2}, Simplex: RF vacı́a,P = [p9 , p7 , p3 ]
7
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a
p2z : 9.81 p6z : 7.72
x ≥4 x ≥5
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9
−8 x + 30 y ≤ 100

p3 p7

7 p9 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1}
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11

7 p9 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1}, Simplex: Z=7.23, X= 5.23,Y = 1.0,P = [p10 , p11 , p7 , p3 ]
8
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11

8 p10 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≥ 6}
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11

8 p10 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≥ 6}, Simplex: RF Vacı́a,P = [p11 , p7 , p3 ]
9
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11

9 p11 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≤ 5}
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11z : 7

9 p11 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≤ 5}, Simplex: Z=7,X=5,Y=1:b = 7,P = [p7 , p3 ]
10
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7 p11z : 7

10 p7 = {Ro , X ≥ 4, Y ≤ 2, X ≤ 4}
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7z : 8 p11z : 7

10 p7 = {Ro , X ≥ 4, Y ≤ 2, X ≤ 4}, Simplex: Z=8 con X=4 y Y =2:b = 8,P = [p3 ]
11
12
13

Ejemplo 2
p4
Vacı́a p8
Vacı́a
max z = x + 2 y y ≥3 y ≥2
sujeto a p2z : 9.81 p6z : 7.72 p10

Vacı́a
x ≥4 x ≥5 x ≥6
17 x + 11 y ≤ 100
y ≤2 y ≤1
12 x + 2y ≤ 100
p1z : 11.43 p5z : 8.58 p9z : 7.23
−8 x + 30 y ≤ 100
x ≤3 x ≤4 x ≤5
p3 p7z : 8 p11z : 7

11 p3 = {Ro , X ≤ 3}
12
13

Ejemplo 2 p4
Vacı́a p8
Vacı́a
y ≥3 y ≥2
max z = x + 2 y
p2z : 9.81 p6z : 7.72 p10
Vacı́a
sujeto a x ≥4 x ≥5 x ≥6
y ≤2 y ≤1
17 x + 11 y ≤ 100 p1z : 11.43 p5z : 8.58 p9z : 7.23
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3 x ≤4 x ≤5
p3z : 11.26 p7z : 8 p11z : 7
con x y y enteros y mayores o iguales que cero. y ≥5
y ≤4
p12 p13

11 p3 = {Ro , X ≤ 3}, Simplex: Z=11.26, X=3.00, Y=4.13,P = [p12 , p13 ]
12
13

Ejemplo 2 p4
Vacı́a p8
Vacı́a
y ≥3 y ≥2
max z = x + 2 y
p2z : 9.81 p6z : 7.72 p10
Vacı́a
y ≤2 y ≤1
17 x + 11 y ≤ 100 p1z : 11.43 p5z : 8.58 p9z : 7.23
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3 x ≤4 x ≤5
p3z : 11.26 p7z : 8 p11z : 7
y ≤4
p12 p13

12 p12 = {Ro , X ≤ 3, Y ≥ 5}
13

Ejemplo 2 p4
Vacı́a p8
Vacı́a
y ≥3 y ≥2
max z = x + 2 y
p2z : 9.81 p6z : 7.72 p10
Vacı́a
y ≤2 y ≤1
17 x + 11 y ≤ 100 p1z : 11.43 p5z : 8.58 p9z : 7.23
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3 x ≤4 x ≤5
p3z : 11.26 p7z : 8 p11z : 7
y ≤4
p12
Vacı́a p13

12 p12 = {Ro , X ≤ 3, Y ≥ 5}, Simplex: RF Vacı́a,#(P) = [p13 ]
13

Ejemplo 2 p4
Vacı́a p8
Vacı́a
y ≥3 y ≥2
max z = x + 2 y
p2z : 9.81 p6z : 7.72 p10
Vacı́a
y ≤2 y ≤1
17 x + 11 y ≤ 100 p1z : 11.43 p5z : 8.58 p9z : 7.23
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3 x ≤4 x ≤5
p3z : 11.26 p7z : 8 p11z : 7
y ≤4
p12
Vacı́a p13

13 p13 = {Ro , X ≤ 3, Y ≤ 4}

Ejemplo 2 p4
Vacı́a p8
Vacı́a
y ≥3 y ≥2
max z = x + 2 y
p2z : 9.81 p6z : 7.72 p10
Vacı́a
y ≤2 y ≤1
17 x + 11 y ≤ 100 p1z : 11.43 p5z : 8.58 p9z : 7.23
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 x ≤3 x ≤4 x ≤5
p3z : 11.26 p7z : 8 p11z : 7
y ≤4
p12
Vacı́a p13z : 11

13 p13 = {Ro , X ≤ 3, Y ≤ 4}, Simplex: Z=11, X=3, Y=4:b = 11,P = []

Ejemplo 2: Desde el punto de vista de las zonas
max z = x + 2 y
sujeto a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100
1 p1 = {Ro }(Problema relajado)

2
3
4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
(3.17, 4, 18)
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

2
3
4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

2 p2 = {Ro , X ≥ 4}
3
4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100 (4, 2.9)
−8 x + 30 y ≤ 100

3
4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

3 p4 = {Ro , X ≥ 4, Y ≥ 3}
4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

4
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

4 p5 = {Ro , X ≥ 4, Y ≤ 2}
5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 (4.58, 2)

5
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

5 p6 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5}
6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100
(5, 1.36)

6
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100

6 p8 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≥ 2}
7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

7
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

7 p9 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1}
8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a
(5.23, 1)

8
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

8 p10 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≥ 6}
9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a
con x y y enteros y mayores o iguales que cero. Vacı́a

9
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

9 p11 = {Ro , X ≥ 4, Y ≤ 2, X ≥ 5, Y ≤ 1, X ≤ 5}
10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

10
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

10 p7 = {Ro , X ≥ 4, Y ≤ 2, X ≤ 4}
11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

11
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

11 p3 = {Ro , X ≤ 3}
12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

12
13

max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

12 p12 = {Ro , X ≤ 3, Y ≥ 5}
13

Vacı́a
max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

13

Vacı́a
max z = x + 2 y
sujeto a
Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

13 p13 = {Ro , X ≤ 3, Y ≤ 4}

Vacı́a
max z = x + 2 y
sujeto a
(3, 4) Vacı́a
17 x + 11 y ≤ 100
12 x + 2y ≤ 100
−8 x + 30 y ≤ 100 Vacı́a

13 p13 = {Ro , X ≤ 3, Y ≤ 4}, Simplex: Z=11, X=3, Y=4:b = 11,P = []

Ejemplo 3
Suponga que la empresa ABS produce 3 tipos de productos: El producto

X se vende en forma unitaria y produce una utilidad de 50 dólares la pieza;
el producto Y se vende en forma unitaria y produce una utilidad de 60
dólares la pieza; y el producto Z se vende a granel produce una utilidad de
20 dólares el kilogramo. Los tres productos requieren un mismo tipo de
materia prima y horas de mano de obra. Se disponen de 30 kilogramos de
materia prima y 40 horas de mano de obra a la semana. Determine el plan
de producción óptimo que permita maximizar las utilidades. Los
requerimiendos de materia prima y mano de obra se dan en la siguiente
tabla:
Recurso 1 pieza X 1 pieza Y 1 kg Z
Materia Prima 1.9 kg 2.2 kg 1 kg
Mano obra 2.4 horas 2.8 horas 1 hora

Ejemplo 3: Árbol de búsqueda de Ramificación y
Acotamiento

tc3001 12 Ramificacion

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

tc3001 12 Ramificacion

Uploaded by

Copyright:

Available Formats

PLE: Ramificación y Acotamiento

CCIR / Depto Matemáticas

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 1 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 2 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 3 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 3 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 3 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 3 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 4 / 45

Nuestro problema consiste en encontrar el punto de región factible del

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 5 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 6 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 7 / 45

0 Región Factible: Vacı́a

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 8 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 9 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 10 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 11 / 45

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 12 / 45

1. Inicializar el criterio de mejora b y la pila P = {Ro }.

con x y y enteros y mayores o iguales que cero.

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

17 x + 11 y ≤ 100 p1z : 11.43

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

17 x + 11 y ≤ 100 p1z : 11.43

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

con x y y enteros y mayores o iguales que cero. x ≤3 x ≤4

1 p1 = {Ro }(Problema relajado),Simplex: Z=11.43 con X=3.17 y Y = 4.18,b = −∞,P = [p2 , p3 ]

CCIR / Depto Matemáticas PLE: Ramificación y Acotamiento TC3001 42 / 45

sujeto a p2z : 9.81 p6z : 7.72 p10