Ejercicios del algoritmo de ramificación y acotamiento:

1.- La compañí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 compañía dispone de 6 horas de trabajo
y 45 pies de madera. Cada tabla contribuye con 8 dólares de utilidad y cada silla
con 5 dólares. Formule y resuelva un modelo lineal entero (PLE ´o PE) para
maximizar la utilidad de TELFA.
Solución:
 Modelo Variables de Decisión:
x1 = número de mesas a fabricar
x2 = número de sillas a fabricar.
 Objetivo: Maximizar la utilidad: Max z = 8 x1 + 5 x2
 Restricciones:
x1 + x2 ≤ 6 (Horas de trabajo)
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 Programación Lineal Entera
PLE se llama relajación PL del PLE.
Hecho 1:
La región factible de la relajación PL de un PLE contiene la región factible del
PLE. Esto se deduce porque cada restricción que se quita (en este caso la
restricción de que las variables sean enteras) hace que la región factible en el
peor caso quede igual: Quitar restricciones no puede hacer más pequeña la
región factible. Por lo tanto: Si la región factible para la relajación PL es vacía
entonces la región factible para el PLE también es vacía.
Hecho 2:
El valor óptimo de z para la relajación PL ≥ el valor óptimo de z para el PLE. Esto
se deduce por la contención de las regiones factibles: El PL relajado tiene un
espacio adicional de búsqueda que el PL y no puede empeorar. Por lo tanto, Si
el óptimo de z para la relajación PL está en la región factible del PLE, entonces
tal punto es el ´optimo del PLE.
Primero: hallamos los puntos de la gráfica donde las intersecciones se
cruzan con los ejes facilitando el trazado de las mismas.
 Primera intersección de la primera restricción
X1+X2≤ 6 ⇒ (1)X1 + 1(0) ≤ 6 ⇒ X1=6 ⇒ (6;0)
 segunda intersección de la primera restricción
X1+X2≤ 6 ⇒ (0)X1 + (1)X2 ≤ 6 ⇒ X2=6 ⇒ (0;6)
  Primera intersección de la segunda restricción
9X1 + 5X2 ≤45 ⇒ (9)X1 + 5(0) ≤ 45 ⇒ X1=5⇒ (5;0)
 segunda intersección de la segunda restricción
9X1+5X2≤ 6 ⇒ 9(0) + (5)X2 ≤ 45 ⇒ X2=9 ⇒ (0;9)

Calculando la región factible:

 X1=6 ⇒ 5<6<7

⇒ ¿1(5) ≤ 6? ⇒5≤ 6 es verdadero Se pinta a

A(0;6)
⇒ ¿1(7) ≤ 6? ⇒7≤ 6es falso la
izquierda
 X1 =5

⇒ ¿9(5) ≤ 45? ⇒45≤ 45 es verdadero Se pinta a

la
B(15/4;9/4) ⇒ ¿9(6) ≤ 45? ⇒54≤ 45 es falso izquierda

C(5;0)

Calculando el valor del punto B: Luego:

9 x1 + 5 x2 = 45 x1 + x2 ≤=6
x1 + x2 = 6 (-5) ⇒ 15/4 +X2 = 6
4X1 =15 ⇒ X2=9/4
X1=15/4
Evaluando los puntos críticos de la función objetivo:
ZA= 8(0) +5(6) =30
ZB=8(15/4) + 5(9/4) = 41.25 es la solución inicial
ZC=8(5) +5(0) =40

Entonces:
La región en amarillo corresponde a la región factible del problema relajado.
Los puntos en verde corresponden a la región factible del problema con x1 y x2
enteros.
El punto en rojo corresponde al ´optimo del problema relajado: z = 41.25, x1 =
3.75, x2 = 2.25
Aplicamos el método de ramificación y acotamiento: El método de
ramificación y acotamiento consiste en dividir la región factible del PLE utilizando
como referencia divisiones a la región factible del problema relajado.
 seleccionamos el valor fraccionario más pequeño
9/4 ⇒ 2≤2.25≤3

A(0;6) A(0;6)

D(3;3)
B(15/4;9/4)
B(15/4;9/4)

C(5;0) C(5;0)

1º RAMIFICACION:

 Max z = 8 x1 + 5 x2
 Restricciones:

x1 + x2 ≤ 6

9 x1 + 5 x2 ≤ 45

x1, x2 ≥ 0 y x1, x2 enteros.

ZB=8(15/4) + 5(9/4) =41.25

 seleccionamos el valor fraccionario más

pequeño: 9/4 ⇒ 2≤2.25≤3
 Subproducto 1 Subproducto 2
 ⇒ Max Z= 8 x1 + 5 x2  ⇒ Max Z = 8 x1 + 5 x2
 Restricciones:  Restricciones:
x1 + x2 ≤ 6 x1 + x2 ≤ 6
9 x1 + 5 x2 ≤ 45 9 x1 + 5 x2 ≤ 45
x2 ≤ 2 x2 ≥3
x1, x2 ≥ 0 y x1, x2 enteros. x1, x2 ≥ 0 y x1, x2 enteros.
Sustituimos 2 en R2 Tenemos el valor visible en la gráfica:
(3;3)
9X1 + 5(2) = 45
LUEGO Z=8(3) + 5(3) = 39
X1= 35/9

LUEGO Z=8(35/9) + 5(2) = 41.1

 seleccionamos el valor fraccionario

más pequeño; 35/9 ⇒3≤3.9≤4

Subproducto 3

 ⇒ Max Z= 8 x1 + 5 x2
 Restricciones:

x1 + x2 ≤ 6

9 x1 + 5 x2 ≤ 45 Subproducto 4
X1≤ 3  ⇒ Max Z= 8 x1 + 5 x2
x1, x2 ≥ 0 y x1, x2 enteros.  Restricciones:

x1 + x2 ≤ 6

9 x1 + 5 x2 ≤ 45

X1≥ 4

x1, x2 ≥ 0 y enteros.

Sustituimos 4 en R2

9(4) + 5X2 = 45

X2= 9/5
LUEGO Z=8(3) + 5(2) = 34 se descarta por ser menor a LUEGO Z=8(4) + 5(9/5) = 41
los demás.
 seleccionamos el valor fraccionario
más pequeño; 9/5 ⇒1≤1.8≤2
 Subproducto 6

 ⇒ Max Z= 8 x1 + 5 x2
 Restricciones:

x1 + x2 ≤ 6

9 x1 + 5 x2 ≤ 45

X1 ≤ 1

x1, x2 ≥ 0 y enteros.

Sustituimos X2 por 1 en R2

9X1+ 5(1) = 45

X2= 40/9

LUEGO Z=8(40/9) + 5(1) = 40.55

Subproducto 5 seleccionamos el valor fraccionario más

pequeño; 40/9 ⇒4≤4.4≤5
 ⇒ Max Z= 8 x1 + 5 x2
 Restricciones:

x1 + x2 ≤ 6

9 x1 + 5 x2 ≤ 45

X1 ≥ 2

x1, x2 ≥ 0 y enteros.

Se descarta por que cae en un

área previamente descartada

Al hacer el nuevo corte nos damos cuenta de que los

únicos puntos que nos quedan para evaluar son puntos que ya conocíamos
con anterioridad, por lo cual solamente comparamos las Z que habíamos
obtenido con valore3s enteros, en este caso la ZC con valores (5;0).
Ejercicio de plano de corte:

 considere el siguiente modelo de programación lineal entera pura

que resulta equivalente al modelo.

 el tablero optimo este dado por

se leer la solución optima

 el primer corte de Gomory viene dado por la restricción
 el termino de las variables originales del problema se tiene

 al introducir el corte al tablero optimo:

 se necesita aplicar el método simplex dual para recuperar la factibilidad.

 Después del aplicar el método simplex dual se obtiene:

Se puede leer la solución optima

 El segundo corte de gomory viene dado por la restricción

 En términos de las variables originales del problema se tiene

 Al introducir el corte al tablero optimo:

 Se necesita aplicar el método simplex dual parea recuperar la factibilidad

 Después de aplicar el método simplex dual se obtiene.

 Se puede leer la solución óptima lineal entera

De modo que Z=360