Está en la página 1de 21

PROGRAMACIÓN LINEAL ENTERA.

La programación lineal entera se refiere a los problemas de programación lineal donde


se requiere que las variables tomen valores enteros.

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.

Dentro de la programación lineal entera, también se refiere al tipo de problemas donde


las variables deben tomar valores binarios, es decir valor de 0 ó 1.

Ejemplo 1 (Selección de un proyecto).

Se están evaluando 5 proyectos a lo largo de un horizonte de planeación de 3 años. La


siguiente tabla presenta los rendimientos esperados y los gastos anuales que
conllevan:

Proyecto Gastos ($ Rendimientos ($


millones)/año millones)
1 2 3
1 5 1 8 20
2 4 7 10 40
3 3 9 2 20
4 7 4 1 15
5 8 6 10 30
Fondos disponibles ($ 25 25 25
millones)

¿Cuáles proyectos deben seleccionarse a lo largo del periodo de 3 años?

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:

Max Z= 20X1 + 40X2 + 20X3 + 15X4 + 30X5


SA
5X1 + 4X2 + 3X3 + 7X4 + 8X5  25
X1 + 7X2 + 9X3 + 4X4 + 6X5  25
8X1 + 10X2 + 2X3 + X4 + 10X5  25

X1, X2, X3, X4, X5 = (0, 1)

La solución óptima entera es X1 = 1, X2 = 1, X3 = 1, X4 = 1, X5 = 0 con Z = 95 ($


millones). La solución excluye el proyecto 5 de la combinación de proyectos.

Ejemplo 2 (Instalación de teléfonos de seguridad).


Cierta zona urbana requiere de la colocación de casetas telefónicas de seguridad. Se
desea instalar una cantidad mínima de estos aparatos que presten servicio a cada una
de las calles de la zona. En el mapa se muestran las calles de la zona:

Calle A Calle B
1 2 3

Calle I Calle K

Calle G Calle F Calle C


4 5

Calle H Calle J

6 7 8
Calle E Calle D

Para maximizar la utilidad de los teléfonos se decide colocarlos en las intersecciones


de las calles, de este modo, una sola unidad puede prestar servicio al menos dos
calles.
Se define como:

1, se instala un teléfono en el lugar j. j = 1, 2, …, 8


Xj =
0, en caso contrario.

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.

La solución óptima resultante para este problema es la colocación de las casetas


telefónicas en las intersecciones 1, 2, 5 y 7.
MÉTODO DE PLANO DE CORTE (MÉTODO DE GOMORY).

Si un en problema programación lineal se requiere que sus variables sean no negativas


y enteras, lo primero que se debe hacer es resolver dicho problema mediante la
aplicación del algoritmo simplex. Si al llegar a la tabla óptima y factible nos
encontramos con que las variables no son enteras, se puede aplicar el método de
plano de corte para obtener las variables enteras que se requieren.

Considere el siguiente problema:

Max Z = 7X1+ 10X2


Sujeto a:
–X1 + 3X2 ≤ 6
7X1 + X2 ≤ 35
X1, X2 ≥ 0 y entera.

Al aplicar el método simplex llegamos a la siguiente tabla óptima y factible:

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:

X1 – (1/22)S1 + (3/22)S2 = 9/2


Para obtener el corte, primero se factorizan todos los coeficientes de la ecuación en un
valor entero y un componente fraccionario positivo. Por ejemplo:

5/2 = (2 + ½)
–7/3 = (–3 + 2/3)

La factorización de la ecuación de X1 da como resultado:

X1 + (–1 + 21/22)S1 + (0 + 3/22)S2 = 4 + ½

Si movemos todos los componentes enteros al lado izquierdo y los fraccionarios al lado
derecho, obtenemos:

X1 –S1 – 4 = ½ – (21/22)S1 – (3/22)S2

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

Al preparar esta restricción a la forma estándar tenemos:

½ – (21/22)S1 – (3/22)S2 + S3 = 0

Al pasar ½ al lado derecho de la ecuación, obtenemos el corte I que se introducirá en la


tabla óptima y factible:

– (21/22)S1 – (3/22)S2 + S3 = –½ (Corte I)

Al introducir el corte I en la tabla óptima y factible obtenemos:


Cj→ 7 10 0 0 0
Cb X1 X2 S1 S2 S3 Bi
10 X2 0 1 7/22 1/22 0 7/2
7 X1 1 0 -1/22 3/22 0 9/2
0 S3 0 0 -21/22 -3/22 1 -1/2
Zj 7 10 63/22 31/22 0 133/2
Cj - Zj 0 0 -63/22 -31/22 0

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S3 como renglón pivote (más negativo en
columna Bi) y la columna S1 como columna de entrada (menor razón), obtenemos la
siguiente tabla:

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

Al factorizar esta ecuación tenemos:

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

Al pasar a la forma estándar esta ecuación tenemos:

1/3 – (1/3)S3 + S4 = 0

Al pasar 1/3 al lado derecho de la ecuación, obtenemos la ecuación correspondiente al


corte II:

– (1/3)S3 + S4 = –1/3 Corte II

Al introducir el corte II a la tabla obtenida tenemos:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S4 como renglón pivote (más negativo en
columna Bi) y la columna S3 como columna de entrada (único elemento negativo en el
renglón pivote), obtenemos la siguiente tabla:
Cj→ 7 10 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 Bi
10 X2 0 1 0 0 0 1 3
7 X1 1 0 0 1/7 0 –1/7 32/7
0 S1 0 0 1 1/7 0 –22/7 11/7
0 S3 0 0 0 0 1 –3 1
Zj 7 10 0 1 0 9 62
Cj - Zj 0 0 0 –1 0 –9

En esta tabla observamos que el valor de la variable X2 es entero, pero el valor de la


variable X1 sigue siendo fracción, por lo que se procede a hacer un tercer corte. Como
la variable X2 ya es entera, debemos seleccionar la ecuación de X1 asociada a la tabla
óptima para hacer el nuevo corte:

X1 + (1/7)S2 – (1/7)S4 = 32/7

Al factorizar la ecuación tenemos:

X1 + (0 + 1/7)S2 + (–1 + 6/7)S4 = 4 + 4/7

Se envían los valores enteros del lado izquierdo y las fracciones al lado derecho de la
ecuación:

X1 – S4 – 4 = 4/7 – (1/7)S2 – (6/7)S4

Eliminando los valores enteros del lado izquierdo de la ecuación y utilizando las
fracciones del lado derecho, obtenemos la restricción:

4/7 – (1/7)S2 – (6/7)S4 ≤ 0

Al pasar a la forma estándar esta ecuación tenemos:

4/7 – (1/7)S2 – (6/7)S4 + S5 = 0


Al pasar 4/7 al lado derecho de la ecuación, obtenemos la ecuación correspondiente al
corte III:

– (1/7)S2 – (6/7)S4 + S5 = –4/7 Corte III

Al introducir el corte III en la última tabla obtenida tenemos:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S5 como renglón pivote (más negativo en
columna Bi) y la columna S2 como columna de entrada (menor razón), obtenemos la
siguiente tabla:

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.

Considere el siguiente problema:

Max Z = 5X1 + 4X2


Sujeto a:
X1 + X2 ≤ 5
10X1 + 6X2 ≤ 45
X1, X2 ≥ 0 y entera.

Si resolvemos este problema por el método gráfico tendremos el siguiente resultado:


Al aplicar el método simplex llegamos a la siguiente tabla óptima y factible, que
llamamos solución 1:

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

Al analizar la rama de X1 ≤ 3, primero pasamos esta restricción a la forma estándar:

X1 + S3 = 3 con S3 ≥ 0

En la tabla correspondiente a la solución 1, seleccionamos la ecuación de X 1, con lo


que se tiene:

X1 – (3/2)S1 + (¼)S2 = 15/4

Despejando a X1 tenemos:

X1 = 15/4 + (3/2)S1 – (¼)S2

Sustituyendo en la restricción en forma estándar:

X1 + S3 = 3 → (15/4 + (3/2)S1 – (¼)S2) + S3 = 3 → (3/2)S1 – (¼)S2) + S3 = –3/4

Aumentando la nueva restricción a la tabla de la solución 1, nos proporciona la


siguiente tabla:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S3 como renglón pivote (más negativo en
columna Bi) y la columna S2 como columna de entrada (único elemento negativo en el
renglón pivote), obtenemos la siguiente tabla:

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.

Al analizar la rama de X1 ≥ 4, primero pasamos esta restricción a la forma estándar:

X1 – S3 = 4 con S3 ≥ 0

En la tabla correspondiente a la solución 1, seleccionamos la ecuación de X 1, con lo


que se tiene:

X1 – (3/2)S1 + (¼)S2 = 15/4

Despejando a X1 tenemos:

X1 = 15/4 + (3/2)S1 – (¼)S2

Sustituyendo en la restricción en forma estándar:

X1 – S3 = 4 → (15/4 + (3/2)S1 – (¼)S2) – S3 = 4 → (3/2)S1 – (¼)S2) – S3 = ¼

La ecuación obtenida no es de utilidad por el valor negativo en S 3, por lo que se


multiplica por (–1) toda la ecuación para hacer positivo a S3 y pueda ser utilizado como
uno principal en la siguiente tabla, multiplicando por (–1) la ecuación obtenemos:

(–1) [(3/2)S1 – (¼)S2) – S3 = ¼] → – (3/2)S1 + (¼)S2 + S3 = –1/4

Aumentando la nueva restricción a la tabla de la solución 1, nos proporciona la


siguiente tabla:
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 –1/4
Zj 5 4 5/2 1/4 0 95/4
Cj - Zj 0 0 –5/2 –1/4 0

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S3 como renglón pivote (más negativo en
columna Bi) y la columna S1 como columna de entrada (único elemento negativo en el
renglón pivote), obtenemos la siguiente tabla:

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

En esta tabla, a la cual llamamos solución 3, observamos que el valor de la variable X1


es entero, pero el valor de la variable X2 sigue siendo fracción, por lo que se procede a
hacer otra ramificación considerando esta variable. Para hacer la acotación, nos
encontramos que el valor de la fracción de X2 se encuentra entre los valores enteros 0
y 1 (0 < 5/6 < 1), por lo que la ramificación sería:

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

En la tabla correspondiente a la solución 3, seleccionamos la ecuación de X2, con lo


que se tiene:

X2 + (1/6)S2 + (5/3)S3 = 5/6

Despejando a X2 tenemos:

X2 = 5/6 – (1/6)S2 – (5/3)S3

Sustituyendo en la restricción en forma estándar:

X2 – S4 = 1 → (5/6 – (1/6)S2 – (5/3)S3) – S4 = 1 → – (1/6)S2 – (5/3)S3 – S4 = 1/6

La ecuación obtenida no es de utilidad por el valor negativo en S 4, por lo que se


multiplica por (–1) toda la ecuación para hacer positivo a S4 y pueda ser utilizado como
uno principal en la siguiente tabla, multiplicando por (–1) la ecuación obtenemos:

(–1) [– (1/6)S2 – (5/3)S3 – S4 = 1/6] → (1/6)S2 + (5/3)S3 + S4 = –1/6

Aumentando la nueva restricción a la tabla de la solución 3, nos proporciona la


siguiente tabla:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S4 como renglón pivote (más negativo en
columna Bi). Para seleccionar la columna de entrada, nos encontramos que los valores
de las variables no básicas son positivas en el renglón pivote, lo que nos indica que
esta tabla no tiene solución y queda acotada esta rama.
Al analizar la rama de X2 ≤ 0, y considerando la solución 3, primero pasamos esta
restricción a la forma estándar:

X2 + S4 = 0 con S4 ≥ 0

En la tabla correspondiente a la solución 3, seleccionamos la ecuación de X 2, con lo


que se tiene:

X2 + (1/6)S2 + (5/3)S3 = 5/6

Despejando a X2 tenemos:

X2 = 5/6 – (1/6)S2 – (5/3)S3

Sustituyendo en la restricción en forma estándar:

X2 + S4 = 0 → (5/6 – (1/6)S2 – (5/3)S3) + S4 = 0 → – (1/6)S2 – (5/3)S3 + S4 = –5/6

Aumentando la nueva restricción a la tabla de la solución 3, nos proporciona la


siguiente tabla:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S4 como renglón pivote (más negativo en
columna Bi) y la columna S3 como columna de entrada (menor razón), obtenemos la
siguiente tabla:
Cj→ 5 4 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 Bi
4 X2 0 1 0 0 0 1 0
5 X1 1 0 0 1/10 0 –3/5 9/2
0 S1 0 0 1 –1/10 0 –2/5 1/2
0 S3 0 0 0 1/10 1 –3/5 1/2
Zj 5 4 0 1/2 0 1 45/2
Cj - Zj 0 0 0 –1/2 0 –1

En esta tabla, a la cual llamamos solución 4, observamos que el valor de la variable X2


es entero, pero el valor de la variable X1 se convierte a fracción, por lo que se procede
a hacer otra ramificación considerando esta variable. Para hacer la acotación, nos
encontramos que el valor de la fracción de X1 se encuentra entre los valores enteros 4
y 5 (4 < 9/2 < 5), por lo que la ramificación sería:

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

Al analizar la rama de X1 ≥ 5, y considerando la solución 4, primero pasamos esta


restricción a la forma estándar:

X1 – S5 = 5 con S5 ≥ 0

En la tabla correspondiente a la solución 4, seleccionamos la ecuación de X 1, con lo


que se tiene:
X1 + (1/10)S2 – (3/5)S4 = 9/2

Despejando a X1 tenemos:

X1 = 9/2 – (1/10)S2 + (3/5)S4

Sustituyendo en la restricción en forma estándar:

X1 – S5 = 5 → [9/2 – (1/10)S2 + (3/5)S4] – S5 = 5 → – (1/10)S2 + (3/5)S4 – S5 = 1/2

La ecuación obtenida no es de utilidad por el valor negativo en S 5, por lo que se


multiplica por (–1) toda la ecuación para hacer positivo a S5 y pueda ser utilizado como
uno principal en la siguiente tabla, multiplicando por (–1) la ecuación obtenemos:

(–1) [– (1/10)S2 + (3/5)S4 – S5 = 1/2] → (1/10)S2 – (3/5)S4 + S5 = –1/2

Aumentando la nueva restricción a la tabla de la solución 4, nos proporciona la


siguiente tabla:

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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S5 como renglón pivote (más negativo en
columna Bi) y la columna S4 como columna de entrada (único elemento negativo en el
renglón pivote), obtenemos la siguiente tabla:
Cj→ 5 4 0 0 0 0 0
Cb X1 X2 S1 S2 S3 S4 S5 Bi
4 X2 0 1 0 1/6 0 0 5/3 –5/6
5 X1 1 0 0 0 0 0 –1 5
0 S1 0 0 1 –1/6 0 0 –2/3 5/6
0 S3 0 0 0 0 1 0 –1 1
0 S4 0 0 0 –1/6 0 1 –5/3 5/6
Zj 5 4 0 2/3 0 0 5/3 65/3
Cj - Zj 0 0 0 –2/3 0 0 –5/3

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de X2 como renglón pivote (más negativo en
columna Bi). Para seleccionar la columna de entrada, nos encontramos que los valores
de las variables no básicas son positivas en el renglón pivote, lo que nos indica que
esta tabla no tiene solución y queda acotada esta rama.

Al analizar la rama de X1 ≤ 4, y considerando la solución 4, primero pasamos esta


restricción a la forma estándar:

X1 + S5 = 4 con S5 ≥ 0

En la tabla correspondiente a la solución 4, seleccionamos la ecuación de X1, con lo


que se tiene:

X1 + (1/10)S2 – (3/5)S4 = 9/2

Despejando a X1 tenemos:

X1 = 9/2 – (1/10)S2 + (3/5)S4

Sustituyendo en la restricción en forma estándar:

X1 + S5 = 4 → [9/2 – (1/10)S2 + (3/5)S4] + S5 = 4 → – (1/10)S2 + (3/5)S4 + S5 = –1/2

Aumentando la nueva restricción a la tabla de la solución 4, nos proporciona la


siguiente tabla:
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

La tabla obtenida es infactible, por lo que aplicamos el método dual-simplex para


hacerla factible. Seleccionamos el renglón de S5 como renglón pivote (más negativo en
columna Bi) y la columna S2 como columna de entrada (único elemento negativo en el
renglón pivote), obtenemos la siguiente tabla:

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.

Al cotejar las soluciones en la ramificación, se observa que la solución óptima se


encuentra en la tabla correspondiente a la solución 2 (Z = 23), esto se debe a que si
comparamos el resultado obtenido con la tabla de la solución 6 (Z = 20), que son las
dos únicas que cumplen con la no negatividad y que las variables sean enteras.

Los resultados se observan en la siguiente ramificación:


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 (ó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

También podría gustarte