Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Estos problemas pueden definirse como programa entero puro cuando todas las
variables son enteras y programa entero mixto que implica una combinación de
variables enteras y continuas.
El problema se reduce a una decisión “si-no” para cada proyecto, definida la variable
binaria Xj como:
1, si se selecciona el proyecto j.
Xj =
0, si no se selecciona el proyecto j.
El modelo de programación entera sería:
Calle A Calle B
1 2 3
Calle I Calle K
Calle H Calle J
6 7 8
Calle E Calle D
Las restricciones del problema requieren que se instale al menos un teléfono en cada
una de las 11 calles (A a K). Por lo tanto el modelo es:
Min Z= X1 + X2 + X3 + X4 + X5 + X6 + X7 + X8
SA
X1 + X2 ≥1 Calle A
X2 + X3 ≥1 Calle B
X4 + X5 ≥1 Calle C
X7 + X8 ≥ 1 Calle D
X6 + X7 ≥1 Calle E
X2 + X6 ≥1 Calle F
X1 + X6 ≥1 Calle G
X4 + X7 ≥1 Calle H
X2 +X4 ≥1 Calle I
X5 + X8 ≥ 1 Calle J
X3 + X5 ≥1 Calle K
Xj = (0, 1), j = 1, 2, …, 8.
Cj→ 7 10 0 0
Cb X1 X2 S1 S2 Bi
10 X2 0 1 7/22 1/22 7/2
7 X1 1 0 -1/22 3/22 9/2
Zj 7 10 63/22 31/22 133/2
Cj - Zj 0 0 -63/22 -31/22
Los valores de las variables obtenidos en esta tabla son no negativos, pero no se
cumple con la condición de que sean enteros, dado que X1 = 9/2 y X2 = 7/2.
En este caso, se puede aplicar el método de plano de corte, que inicia en la solución
óptima continua, para obtener variables enteras, esto se logra al agregar restricciones
especiales llamadas cortes. Como los valores obtenidos tanto en X1 como en X2 son
fracciones se puede seleccionar cualquiera de las dos para obtener el primer corte. Si
seleccionamos la ecuación de X1 asociada a la tabla óptima y factible tenemos:
5/2 = (2 + ½)
–7/3 = (–3 + 2/3)
Si movemos todos los componentes enteros al lado izquierdo y los fraccionarios al lado
derecho, obtenemos:
El método nos indica que podemos eliminar los elementos enteros del lado izquierdo de
la ecuación y con los elementos fraccionarios del lado derecho convertirlos en una
resticción ≤ 0.
½ – (21/22)S1 – (3/22)S2 ≤ 0
½ – (21/22)S1 – (3/22)S2 + S3 = 0
Cj→ 7 10 0 0 0
Cb X1 X2 S1 S2 S3 Bi
10 X2 0 1 0 0 1/3 10/3
7 X1 1 0 0 1/7 -1/21 95/21
0 S1 0 0 1 1/7 -22/21 11/21
Zj 7 10 0 1 3 65
Cj - Zj 0 0 0 –1 –3
En esta tabla observamos que los valores de las variables X1 y X2 siguen siendo
fracciones, por lo que se procede a hacer un segundo corte. Si seleccionamos la
ecuación de X2 asociada a la tabla óptima tenemos:
X2 + (1/3)S3 = 10/3
X2 + (0 + 1/3)S3 = 3 + 1/3
Se envían los valores enteros del lado izquierdo y las fracciones al lado derecho de la
ecuación:
X2 – 3 = 1/3 – (1/3)S3
Eliminando los valores enteros del lado izquierdo de la ecuación y utilizando las
fracciones del lado derecho, obtenemos la restricción:
1/3 – (1/3)S3 ≤ 0
1/3 – (1/3)S3 + S4 = 0
Cj→ 7 10 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 Bi
10 X2 0 1 0 0 1/3 0 10/3
7 X1 1 0 0 1/7 -1/21 0 95/21
0 S1 0 0 1 1/7 -22/21 0 11/21
0 S4 0 0 0 0 –1/3 1 –1/3
Zj 7 10 0 1 3 0 65
Cj - Zj 0 0 0 –1 –3 0
Se envían los valores enteros del lado izquierdo y las fracciones al lado derecho de la
ecuación:
Eliminando los valores enteros del lado izquierdo de la ecuación y utilizando las
fracciones del lado derecho, obtenemos la restricción:
Cj→ 7 10 0 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 S5 Bi
10 X2 0 1 0 0 0 1 0 3
7 X1 1 0 0 1/7 0 –1/7 0 32/7
0 S1 0 0 1 1/7 0 –22/7 0 11/7
0 S3 0 0 0 0 1 –3 0 1
0 S5 0 0 0 –1/7 0 –6/7 1 –4/7
Zj 7 10 0 1 0 9 0 62
Cj - Zj 0 0 0 –1 0 –9 0
Cj→ 7 10 0 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 S5 Bi
10 X2 0 1 0 0 0 1 0 3
7 X1 1 0 0 0 0 –1 1 4
0 S1 0 0 1 0 0 –4 1 1
0 S3 0 0 0 0 1 –3 0 1
0 S2 0 0 0 1 0 6 –7 4
Zj 7 10 0 0 0 3 7 58
Cj - Zj 0 0 0 0 0 –3 –7
Finalmente en esta tabla se cumplen con las condiciones establecidas al inicio para las
variables, son no negativas y enteras.
METODO DE RAMIFICAR Y ACOTAR.
Un método que se puede utilizar cuando se requiera convertir el valor continuo de una
variable a valor entero, es el método de ramificar y acotar. Este método consiste en
hacer ramificaciones al agregar nuevas restricciones a la solución óptima continua
alcanzada, de tal manera que se apliquen acotaciones al problema para obtener
valores enteros en las variables.
Cj→ 5 4 0 0
Cb X1 X2 S1 S2 Bi
4 X2 0 1 5/2 –1/4 5/4
5 X1 1 0 –3/2 1/4 15/4
Zj 5 4 5/2 1/4 95/4
Cj - Zj 0 0 –5/2 –1/4
Los valores de las variables obtenidos en esta tabla son no negativos, pero no se
cumple con la condición de que sean enteros, dado que X1 =15/4 y X2 = 5/4. En este
caso, se puede aplicar el método de ramificar y acotar, que inicia en la solución óptima
continua, para obtener variables enteras, esto se logra al agregar restricciones que
acoten el problema. Como los valores obtenidos tanto en X1 como en X2 son fracciones
se puede seleccionar cualquiera de las dos para obtener la primera ramificación. Si
seleccionamos la variable X1 para hacer la acotación, nos encontramos que el valor de
su fracción se encuentra entre los valores enteros 3 y 4 (3 < 15/4 < 4), si hacemos esta
acotación en la solución gráfica se obtiene:
En esta gráfica se puede visualizar que X1 toma el valor de 3 o menor de 3, así como el
valor de 4 o mayor de 4, dado que el valor debe ser entero, no son útiles los valores
fraccionarios entre 3 y 4. De aquí se puede conformar la primera ramificación:
1
X1 = 15/4, X2 = 5/4, Z = 95/4
X1 ≤ 3 X1 ≥ 4
X1 + S3 = 3 con S3 ≥ 0
Despejando a X1 tenemos:
Cj→ 5 4 0 0 0
Cb X1 X2 S1 S2 S3 Bi
4 X2 0 1 5/2 –1/4 0 5/4
5 X1 1 0 –3/2 1/4 0 15/4
0 S3 0 0 3/2 –1/4 1 –3/4
Zj 5 4 5/2 1/4 0 95/4
Cj - Zj 0 0 –5/2 –1/4 0
Cj→ 5 4 0 0 0
Cb X1 X2 S1 S2 S3 Bi
4 X2 0 1 1 0 –1 2
5 X1 1 0 0 0 1 3
0 S2 0 0 –6 1 –4 3
Zj 5 4 4 0 1 23
Cj - Zj 0 0 –4 0 –1
En esta tabla se cumplen con las condiciones establecidas al inicio para las variables,
son no negativas y enteras. A esta tabla le llamamos solución 2. A continuación, se
analiza la rama correspondiente a X1 ≥ 4.
X1 – S3 = 4 con S3 ≥ 0
Despejando a X1 tenemos:
Cj→ 5 4 0 0 0
Cb X1 X2 S1 S2 S3 Bi
4 X2 0 1 0 1/6 5/3 5/6
5 X1 1 0 0 0 –1 4
0 S1 0 0 1 –1/6 –2/3 1/6
Zj 5 4 0 2/3 5/3 70/3
Cj - Zj 0 0 0 –2/3 –5/3
1
X1 = 15/4, X2 = 5/4, Z = 95/4
X1 ≤ 3 X1 ≥ 4
2 3
X1 = 3, X2 = 2, Z = 23 X1 = 4, X2 = 5/6, Z = 70/3
Cota inferior
X2 ≤ 0 X2 ≥ 1
Al analizar la rama de X2 ≥ 1, y considerando la solución 3, primero pasamos esta
restricción a la forma estándar:
X2 – S4 = 1 con S4 ≥ 0
Despejando a X2 tenemos:
Cj→ 5 4 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 Bi
4 X2 0 1 0 1/6 5/3 0 5/6
5 X1 1 0 0 0 –1 0 4
0 S1 0 0 1 –1/6 –2/3 0 1/6
0 S4 0 0 0 1/6 5/3 1 –1/6
Zj 5 4 0 2/3 5/3 0 70/3
Cj - Zj 0 0 0 –2/3 –5/3 0
X2 + S4 = 0 con S4 ≥ 0
Despejando a X2 tenemos:
Cj→ 5 4 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 Bi
4 X2 0 1 0 1/6 5/3 0 5/6
5 X1 1 0 0 0 –1 0 4
0 S1 0 0 1 –1/6 –2/3 0 1/6
0 S4 0 0 0 –1/6 –5/3 1 –5/6
Zj 5 4 0 2/3 5/3 0 70/3
Cj - Zj 0 0 0 –2/3 –5/3 0
1
X1 = 15/4, X2 = 5/4, Z = 95/4
X1 ≤ 3 X1 ≥ 4
2 3
X1 = 3, X2 = 2, Z = 23 X1 = 4, X2 = 5/6, Z = 70/3
Cota inferior
X2 ≤ 0 X2 ≥ 1
5
4
X1 = 9/2, X2 = 0, Z = 45/2 Ninguna solución
factible
X1 ≤ 4 X1 ≥ 5
X1 – S5 = 5 con S5 ≥ 0
Despejando a X1 tenemos:
Cj→ 5 4 0 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 S5 Bi
4 X2 0 1 0 0 0 1 0 0
5 X1 1 0 0 1/10 0 –3/5 0 9/2
0 S1 0 0 1 –1/10 0 –2/5 0 1/2
0 S3 0 0 0 1/10 1 –3/5 0 1/2
0 S5 0 0 0 1/10 0 –3/5 1 –1/2
Zj 5 4 0 1/2 0 1 0 45/2
Cj - Zj 0 0 0 –1/2 0 –1 0
X1 + S5 = 4 con S5 ≥ 0
Despejando a X1 tenemos:
Cj→ 5 4 0 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 S5 Bi
4 X2 0 1 0 0 0 1 0 0
5 X1 1 0 0 0 0 0 1 4
0 S1 0 0 1 0 0 –1 –1 1
0 S3 0 0 0 0 1 0 1 0
0 S2 0 0 0 1 0 –6 –10 5
Zj 5 4 0 0 0 4 5 20
Cj - Zj 0 0 0 0 0 –4 –5
En esta tabla se cumplen con las condiciones establecidas al inicio para las variables,
son no negativas y enteras. A esta tabla le llamamos solución 6. Al acotar esta rama,
queda terminado el análisis debido a que no quedan ramas para revisar.
X1 ≤ 3 X1 ≥ 4
2 3
X1 = 3, X2 = 2, Z = 23 X1 = 4, X2 = 5/6, Z = 70/3
Cota inferior (óptima)
X2 ≤ 0 X2 ≥ 1
5
4
X1 = 9/2, X2 = 0, Z = 45/2 Ninguna solución
factible
X1 ≤ 4 X1 ≥ 5
6 7
X1 = 4, X2 = 0, Z = 20 Ninguna solución
Cota inferior factible