Ejemplo de ramificacin y acotamiento

El dominio de puntos factibles para el modelo de Programacin Lineal asociado es el rea demarcada con verde. Dicho modelo tiene valor ptimo igual a 39, con X1=1,9 y X2=0. Esto corresponde a la relajacin contnua del PLE y nos proporciona una cota superior del valor ptimo de dicho problema.

Adems, claramente la solucin de la relacin contnua no satisface la condicin de integralidad del modelo de PLE. Finalmente, en el grfico anterior se han marcado con azul todas aquellas combinaciones que satisfacen las restricciones del modelo de PLE. Claramente esto corresponde a un subdominio del problema lineal asociado lo que justifica que la relajacin continua nos entrega una cota superior del valor ptimo del PLE.

Al aplicar el algoritmo de Branch & Bound, el nodo inicial corresponde a la relajacin continua y se van agregando las ramas o nodos necesarios hasta alcanzar la(s) soluciones que satisfacen las condiciones de integralidad.

P0: Corresponde a la relajacin continua del PLE. P1: Po + x1<=1. (solucin inicial X1=1,9 aproximada al entero inferior) P2: Po + x1>=2 (solucin inicial X1=1,9 aproximada al entero superior). Infactible. P11: P1 + x2<=1 (solucin ptima X1=1 y X2=1. Valor ptimo Z=33. Debido a que la solucin satisface las restricciones de integralidad, se termina este nodo). P12: P1 + x2>=2 (solucin X1=5/7 y X2=2. No es solucin ptima de PLE debido a que X1 es an fraccionario. Secontinua el mtodo debido a que el Valor ptimo Z=37 es mayor que el Valor ptimo de P11, en caso contrario se detiene el mtodo y P11 sera la solucin ptima de PLE). P121: P12 + x1<=0 (X1=0 y X2=13/4. Z=35,75. Se continua siguiendo el mismo razonamiento anterior) P122: P12 + X1>=1 Infactible. P1211: P121 + X2<=3 (X1=0 y X2=3. Z=33 el Valor ptimo ms alto obtenido para los nodos con soluciones enteras). Se agota este nodo. P1212: P121 + x2>=4 Infactible.

Luego la Solucin ptima del PLE) es X1=0 y X2=3 con Valor ptimo Z=33.