Z=3x1+x2 ---> MAX

s.a.   3x1+2x2<=11

        x1+4x2<=12

        x1,x2>=0;   x1, x2 son enteros

La tabla de soltura de PL  del modelo dado es la siguiente:

ARBOL DE SOLUCIÓN DEL PROBLEMA PLE

SP0
Z*=-∞. Z*=-∞.
X1= 3 2/3

X2= 0

Z= 11
SP1 : x1≤3 SP2: x1≥4

x1+s3=3 -x1+s3´=-4
Se sondea por la
prueba 3. X1= 3 ∄
Se sondea por la
Z*=10. X2= 1 prueba 2.
Espacio de
soluciones
Z= 10
infactibles

Por no tener los subproblemas restantes se define la solución óptima del problema PLE,
correspondiente al nodo SP1 donde se planteó la cota inferior actual.

SOLUCIÓN ÓPTIMA

X1= 3

X2= 1

Z= 10
 ITERACIÓN 1

A) Paso de ramificación. Variable de ramificación x1=3 2/3 . Se ramifica desde el nodo

SP0 creando SP1 con x1≤[3 2/3]=3 y SP2 con x1≥[3 2/3]+1=4.
B) Paso de acotamiento. Utilizando la solución óptima del nodo SP0 y la actividad de
adición de una nueva restricción del análisis de sensibilidad se reoptimiza aplicando el
simplex dual y se obtienen los acotamientos de SP1 y SP2:

 SP1 x1 x2 s1 s2 S3 Solución
0 1 1/2 0 -3/2 1
Z 0 1 1 0 0 11
 0 2/3 1/3 0 -1 2/3
X1 1 2/3 1/3 0 0 3 2/3
 0 3 1/3 5/3 0 -5 3 1/3
S2 0 3 1/3 -1/3 1 0 8 1/3
S3 1 0 0 0 1 3
S3 0 -2/3 -1/3 0 1 -2/3
S3 = S3-X1

 SP1 x1 x2 s1 s2 S3 Solución
Z 0 0 1/2 0 3/2 10
X1 1 0 0 0 1 3
S2 0 0 -2 1 5 5
X2 0 1 1/2 0 -3/2 1

Llegando a la solución factible y óptima se llena el resultado de acotamiento en el

cuadro SP1 del árbol de solución.

 SP2 x1 x2 s1 s2 S3’ Solución

Z 0 1 1 0 0 11

X1 1 2/3 1/3 0 0 3 2/3

S2 0 3 1/3 -1/3 1 0 8 1/3

S3’ -1 0 0 0 1 -4

S3 0 2/3 1/3 0 1 -1/3

S3 = S3+X1

En la fila de s3´ que debe ser la variable saliente no se observa ningún coeficiente
negativo lo que identifica el caso especial de soluciones infactibles en el método
simplex dual. Esto es el resultado de acotamiento para subproblema SP2.
C) Paso de sondeo. El subproblema SP1 se sondea por la prueba 3 (todas las variables
restringidas ya tienen los valores enteros), el resultado de acotamiento Z=10 es mejor
que la cota inferior planteada anteriormente Z*=-∞, entonces se plantea nueva cota
inferior como Z*=10. El subproblema SP2 se sondea por la prueba 2, porque no existe
el espacio de soluciones factibles para el subproblema en cuestión.

D) Prueba de optimalidad. Ya no hay subproblemas restantes, el algoritmo termina. La

solución óptima se determina como correspondiente a la cota inferior actual Z*=10
(nodo SP1).