Investigacin de

Operaciones 2
Ingeniera Civil Industrial

UNAP, 2014

Programacin Lineal Entera (PLE)

Existen muchos problemas administrativos importantes que serian de
programacin lineal si no fuera por el requerimiento de que sean enteros los
valores de algunas variables de decisin, en los que no se pueden encontrar
una buena solucin mediante el uso del mtodo simplex seguido del redondeo
de los valores ptimos resultantes para las variables de decisin. Estos
problemas deben ser resueltos mediante algoritmos especialmente diseados
para resolver problemas de programacin entera.
La Programacin Lineal Entera (PLE) ha llegado a ser un rea muy
especializada de la ciencia administrativa. Se trata de formular y solucionar
problemas de programacin lineal con la particularidad de que alguna o todas
las variables asuman valores enteros. La magnitud del rendimiento y la
asignacin de recursos asociados con cada unidad del problema aconsejan
determinar la mejor solucin entera posible. Muchos problemas usan
variables enteras para indicar decisiones lgicas.

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Programacin Lineal Entera (PLE)

En los problemas de Programacin Lineal (PL) se permite a las variables tener
valores fraccionarios y conforme al principio de que todo lo que est permitido
ocurre, se deben esperar las respuestas fraccionarias. Las variables de
decisin en el mundo real a menudo deben ser enteras. Con sentido prctico,
muchas soluciones aceptables para el administrador se obtiene mediante
redondeo. Hay muchos problemas importantes en los que el redondeo hacia
los requerimientos enteros en los problemas reales simplemente no funciona.
El redondeo no siempre conduce a soluciones factibles.

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Clasificacin de PLE
La PLE es un trmino general para los modelos de programacin matemtica
que presentan condiciones de integralidad (condiciones que estipulan que
algunas o todas las variables de decisin deben tener valores enteros).
Atendiendo al tipo de variables se clasifican en:

Programas lineales enteros puros (PLE): Son aquellos en que todas las
variables de decisin nicamente pueden tomar valores enteros. Tambin se
distinguen dentro de estos los programas totalmente enteros como aquellos en
que tanto las variables como todos los coeficientes que intervienen en el
programa han de ser enteros. Por ejemplo:
Min z = 6x1 + 5x2 + 4x3
s.a. 108x1 + 92x2 + 58x3 576
7x1 + 18x2 + 22x3 83
x1, x2, x3 0 y enteros

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Clasificacin de PLE
Programas lineales enteros mixtos (PLEM): Son aquellos en el que slo se
requiere que algunas variables tengan valores enteros mientras que otras
pueden asumir cualquier nmero no negativo (es decir, cualquier valor
continuo).

Por ejemplo:
Min z = 6x1 + 5x2 + 4x3
s.a. 108x1 + 92x2 + 58x3 576
7x1 + 18x2 + 22x3 83
x1, x2, x3 0 ; x1 y x2 enteros

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Clasificacin de PLE
Programas lineales enteros binarios (PLEB): en estos se restringe el valor
de las variables a 0 y 1. Son de particular inters debido a que se pueden usar
las variables 0 1 para representar decisiones dicotmicas (si o no). Diversos
problemas de asignacin, ubicacin de plantas, planes de produccin y
elaboracin de cartera, etc. son de programacin lineal entera 0 1.
Por ejemplo:
Max z = 40x1 + 70x2 + 80x3 + 100x4
s.a. 10x1 + 30x2 + 10x3 + 20x4 50
5x1 + 20x2 + 20x3 + 10x4 45
20x1 + 10x2 + 27x3 + 40x4 70
10x1 + 10x2 + 20x3 + 20x4 40
10x2 + 10x3 + 20x4 30
xi = 0 o 1 ; i = 1, , 4
Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Interpretacin grfica de PLE

Dado el siguiente problema de PL:
Max. z = 6x1 + 7x2
s.a. x1 + 2x2 8 (1)
x1 x2 4 (2)
x1, x2 0

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Interpretacin grfica de PLE

Del problema anterior, veamos ahora cual es la regin factible para una
solucin optima considerando valores enteros, es decir:
Max. z = 6x1 + 7x2
s.a. x1 + 2x2 8 (1)
x1 x2 4 (2)
x1, x2 0; x1, x2 enteros
En este caso el conjunto de soluciones factibles no es el rea de la regin
poligonal cerrada, sino slo puntos

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Interpretacin grfica de PLE

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

Interpretacin grfica de PLE

Si consideramos los posibles valores enteros dentro de la regin factible, se
puede construir una tabla con los resultados y valores de la funcin objetivo:
X1
0
0
0
0
0
1
1
1
1
2
2
2
2
3
3
3
4
4
4
5

X2
0
1
2
3
4
0
1
2
3
0
1
2
3
0
1
2
0
1
2
0

Z = 6X1 + 7X2
0
7
14
21
28
6
13
20
27
12
19
26
33
18
25
32
24
31
38
37

Resumen de resultados ptimos

Z (PL) = 41,33
Z (PLE) = 38
Solucin ptima PLE

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

10

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
El mtodo de Branch and Bound (o Ramificacin y Acotamiento) es un
algoritmo diseado para la resolucin de modelos de programacin entera. Su
operatoria consiste en linealizar el modelo de programacin entera, es decir,
resolver ste como si fuese un modelo de programacin lineal y luego generar
cotas en caso que al menos una variable de decisin adopte un valor
fraccionario.
El mtodo lleva ese nombre dado que comienza a separar el problema
(ramificacin) y lo acota a valores enteros. En cada ramificacin, se resuelve el
programa lineal asociado. Sobre la base de esta solucin, se toma una
decisin respecto a qu nodos del rbol, si los hay, pueden eliminarse para
otras consideraciones, lo que reduce el nmero de nodos terminales que
necesitan examinarse.

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

11

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Consideremos el siguiente ejemplo:
Maximizar
Sujeto a:

X1 + 5X2
11X1 + 6X2 66
5X1 + 50X2 225
X1, X2 0 enteros

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

12

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
En la figura podemos ver el conjunto factible de dicha aproximacin. Los
puntos negros son los que satisfacen la condicin de enteros. (hay 27 de
dichos puntos).
La solucin es X1* = 3.750; X2* = 4.125; Z= 24.375
Como estos valores no son enteros no se ha resuelto (P1). Si tomamos la
solucin ptima de PL y redondeamos a X1 = 3, X2 = 4 obtendremos una
solucin factible del problema (P1). Si evaluamos ahora la funcin objetivo
para este punto (o para cualquier otro punto factible), tendremos una cota
inferior del valor ptimo del problema (P1). En este caso puntual, si evaluamos
en X1 = 3, X2 = 4 , obtenemos un valor Z= 23. No podemos asegurar que este
es el valor ptimo entero del problema.

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

13

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
La informacin relativa a la resolucin bifurcacin y acotamiento se sintetiza en
su forma tpica en un diagrama de rbol. El primer nodo es

X1* = 3.75
X2* = 4.125
Z = 24,37
P1

Num. Del Nodo

Tenemos que descubrir si se puede hallar una solucin mejor. Para hacerlo
bifurquemos. Procedemos a dividir el problema (P1) en dos ms cortos. En
este caso, bifurquemos X1. sta es una eleccin arbitraria. El proceso de
bifurcacin aprovecha la circunstancia de que en la solucin optima del
problema (P1), o bien X1 3 o bien X1 4. En trminos generales se bifurca en
Xi a y Xi a+1

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

14

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Luego, el planteamiento queda como sigue:
Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1, X2 0 enteros
P1
Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1
3
X1, X2 0 enteros

X1 3

X1 4

P2

Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1
4
X1, X2 0 enteros
P3

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

15

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Una vez establecida la bifurcacin, se procede a realizar los clculos
correspondientes considerando los valores de las bifurcaciones.
Paso 1: En este caso, en la ramificacin P2, se evala en cada restriccin
considerando que X1 = 3. De esta forma, obtenemos las siguientes soluciones:
11X1 + 6X2 66, X2 33/6
5X1 + 50X2 225, X2 210/50
X1
3
Luego, el mayor valor que puede obtenerse de la interseccin de ambos
resultados, es X2 4,2. Evaluando en Z con los valores X1 = 3, y X2 4,2
obtenemos Z= 24. Solucin no ptima dado que X2 no es entero
Paso 2: Se vuelve a bifurcar agregando las restricciones correspondientes a la
rama.
Investigacin de Operaciones 2 - Alvaro Jerez Barrera

16

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Una vez establecida la bifurcacin, se procede a realizar los clculos
correspondientes considerando los valores de las bifurcaciones.
Paso 1: En este caso, en la ramificacin P2, se evala en cada restriccin
considerando que X1 = 3. De esta forma, obtenemos las siguientes soluciones:
11X1 + 6X2 66, X2 33/6
5X1 + 50X2 225, X2 210/50
X1
3
Luego, el mayor valor que puede obtenerse de la interseccin de ambos
resultados, es X2 4,2. Evaluando en Z con los valores X1 = 3, y X2 4,2
obtenemos Z= 24. Solucin no ptima dado que X2 no es entero
Paso 2: Se vuelve a bifurcar agregando las restricciones correspondientes a la
rama.
Investigacin de Operaciones 2 - Alvaro Jerez Barrera

17

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Luego, el planteamiento queda como sigue:
Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1, X2 0 enteros
P2
Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1
3
X2
4
X1, X2 0 enteros

X2 4

X2 5

P4

Maximizar X1 + 5X2
s.a.11X1 + 6X2 66
5X1 + 50X2 225
X1
4
X2
5
X1, X2 0 enteros
P5

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

18

Mtodo de Ramificacin y Acotamiento

(Branch and Bound)
Aplicando el Paso 1 al nodo 4 y 5 obtenemos los siguientes resultados:
P4: X1 = 3 , X2 = 4 , Z= 23
P5: Infactible

Paso 3: Resolver todos los nodos o ramificaciones existentes y escoger el

mayor valor Z con soluciones enteras.
Las bifurcaciones se terminan ya sea alcanzo una solucin entera o por
infactibilidad.

Investigacin de Operaciones 2 - Alvaro Jerez Barrera

19

Ejercicios: Resuelva mediante el mtodo de

bifurcacin y acotamiento
Max Z= 4x1 + 6x2
s.a. 2x1 + 4x2 12
4x1 + 3x2 16
X1,x2 enteros.

Max Z= 8x1 + 5x2

s.a.
X1 + x2 6
9x1 + 5x2 45

Max Z = 5x1 + 4x2

s.a. x1 + x2 5
10x1 + 6x2 45
X1,x2 enteros.

Max Z = 3x1 + 4x2

s.a. 2 x1 + x2 6
2x1 + 3x2 9

Max Z = 120x1 + 80x2

s.a. 2x1 + x2 6
7x1 + 8x2 28
X1,x2 enteros.
Investigacin de Operaciones 2 - Alvaro Jerez Barrera

20