Ejemplo Resumen del algoritmo de ramifiación y acotamiento de PEM (III)

Iteración I

En esta solución óptima de la soltura de PL la primera variable restringida a enteros que tiene un valor no entero es x1 = (5/4), entonces ésta se convierte en la variable de ramificación. Al ramificar desde el nodo de todo el problema (soluciones factibles de todo) con esta variable se crean los siguientes dos subproblemas:

Subproblema 1: problema original más la restricción adicional:

x1 ≤ 1.

Subproblema 2: problema original más la restricción adiciona:

x1 ≥ 2.