RAMIFICACIÓN Y ACOTAMIENTO

IDEA: Como al resolver un modelo por método Simplex, casi siempre las soluciones
son no enteras, se aproximan los valores no enteros de cada variable y se vuelve a
resolver hasta encontrar una solución entera que satisfaga todas las condiciones.

VENTAJA: Sirve para todos los modelos PLEB y PLEG

DESVENTAJAS:

Tiempo: Toma tiempo resolver un solo modelo por método Simplex. Pero eso es solo en
el mejor caso. En el peor caso no se puede determinar cuántos modelos se resuelven por
método Simplex hasta llegar a una solución entera.

Valor menor al óptimo: El valor que se obtiene por el método de ramificación y

acotamiento casi siempre es menor al valor obtenido en el método Simplex para el caso
no entero.

PRODECIMIENTO:

1) Se tiene un modelo de programación lineal entera.

2) Escoja un criterio de selección del subproblema a resolver. Ese criterio será

utilizado en toda la resolución por ramificación y acotamiento. Se tienen dos
criterios:
a) Subproblema más reciente: Escoger siempre nodo correspondiente al
último modelo resuelto.
b) Mejor cota: Escoger el nodo con el valor mayor de la cota. Si los dos
nodos empatan en la cota, escoger uno arbitrariamente.
Para este caso, se escogió el criterio de mayor cota.

3) Escoja un criterio de selección de la variable no entera a acotar. Se tienen 3

criterios:
a) Orden natural: Desde la primera hasta la última variable de decisión,
encontrar la primera ocurrencia de valor no entero y acotarla.
 b) Valor con la parte decimal más cercana a 0.5. Si 2 o más variables empatan
en tener la parte decimal más cercana a 0.5, escoger una arbitrariamente.
c) Variable que participa en la mayor cantidad de restricciones. Si 2 o más
variables empatan en participar en la mayor cantidad de restricciones,
escoger una arbitrariamente.
Para este caso, se escogió el criterio de “Orden Natural”.

4) Se resuelve el modelo por método Simplex tratándolo como si fuera un modelo

de programación lineal no entera. Para ello se deben agregar las restricciones
Xi > 0 y Xi < 1 i. La solución obtenida al modelo resultante para el caso del
modelo de arriba es: X1 = 5/6, X2=1, X3=0, X4=1, Z* = 16 ½.

5) Se crea un nodo enumerado con un cero y al lado de él se anota:

a) El último valor óptimo PLEB o PLEG encontrado. Como en este caso no
se ha encontrado una solución PLEB al modelo de arriba, se coloca z* = ∞.
b) Los valores de la solución obtenida en el modelo. En este caso, se debe
anotar:
c) El valor de z obtenido con . En este caso es 16 ½
d) La cota, la cuál es el valor de z redondeado hacia abajo.

z* = ∞.
0
z = 16 ½
Cota = 16

6) Si la solución es entera, la resolución termina aquí. Sino, se toma la variable cuyo

valor sea no entero. En este caso, X1 = 5/6. Luego se dibujan 2 arcos desde el
nodo 0. El peso de uno de los arcos, si el modelo es PLEG es la restricción “Xj <
TRUNC(Xj)” y el del otro arco es la restricción “Xj > ROUND(Xj)”, donde Xj es
la variable que contiene el valor no entero, TRUNC redondea el valor numérico
de la variable hacia abajo y ROUND redondea el valor numérico hacia arriba. En
el caso de los modelos PLEB, el peso de uno de los arcos es “Xj = 0” y el del otro
arco es “Xj = 1”.

7) Luego se crean 2 nodos 1 y 2, cada uno al final de cada arco en el orden deseado.
Para cada nodo se debe modificar el modelo del punto 2, agregándole a éste la
restricción del arco correspondiente y resolviendo el modelo resultante. Usted
puede empezar por el nodo que usted desee.
En este caso, se creó un nodo 2 al final del arco izquierdo y se modificó el modelo
relajado original, agregándole la restricción X1 = 1 y obteniéndose el resultado
indicado al lado del nodo 2. El mismo paso se siguió con el nodo 1, agregándose la
restricción X1 = 0.

8) Dependiendo del criterio utilizado será el valor de la solución definitiva a la

resolución del modelo. En este caso, si se hubiera escogido el criterio del
subproblema más reciente y se hubiese resuelto el modelo del nodo 1 al final, o si
la solución al modelo del nodo 2 fuese imposible, la resolución terminaría aquí y
se dejaría z* = 9. Pero como se escogió el criterio de mejor cota, estamos
forzados a continuar desde el nodo 2. Nótese también que para el nodo 2, existen
2 valores de la solución que empatan en ser las más lejanas del entero. Si se
hubiese escogido el criterio de la variable con el valor más lejano del entero,
estaríamos forzados a escoger arbitrariamente cuál acotar. Si se hubiese escogido
el criterio de la variable que participa en la mayor cantidad de restricciones,
hubiésemos tenido que escoger a la variable X4, por estar en más restricciones
que X2. Pero como se escogió el criterio del orden natural, tendremos que acotar
la variable X2.

9) Volver al paso 4 y repetir (respetando la numeración y al padre de cada nodo)

hasta encontrar la primera solución entera que satisfaga todos los criterios
escogidos.
ADVERTENCIA: En el caso de PLEG, mientras se ramifica, se puede llegar a un ciclo
dependiendo de la situación. Estos ciclos no son infinitos a menos que quien esté
resolviendo decida escoger nuevamente el mismo camino.