CASOS ESPECIALES

MEDIANTE
TABLEAU
Investigacin Operativa I
1.- Empate en la variable que entra a la base
Al existir un empate en la variable que entra a la base, se selecciona de forma
arbitraria.
BASE Z X1 X3 X3 X4 Y1 Y2 Zo
Z 1 -1 -1 -1 -1 0 0 0
Y1 0 1 1 0 0 1 0 3
Y2 0 0 0 1 1 0 1 2
BASE Z X1 X3 X3 X4 Y1 Y2 Zo
Z 1 0 0 -1 -1 1 0 3
X1 0 1 1 0 0 1 0 3
Y2 0 0 0 1 1 0 1 2
BASE Z X1 X3 X3 X4 Y1 Y2 Zo
Z 1 0 0 0 0 1 0 5
X1 0 1 1 0 0 1 0 3
X3 0 0 0 1 1 0 1 2
2.- Problema con soluciones DEGENEADAS.
Al existir un empate en el vector de salida se puede ocasionar un ciclaje tal,
que nunca se obtenga la solucin ptima, es as que en la siguiente iteracin
una o mas variables bsicas sern obligadamente iguales a cero. De esta
manera, esta condicin revela que el modelo tiene cuando menos una
restriccin redundante.
0 ,
4 2
8 4
:
9 3
2 1
2 1
2 1
2 1
>
s +
s +
+ =
X X
X X
X X
sa
X X Z
Max
X
1
X
2
a
b
RSF
c
c
(R
edundante)
Lamentablemente, no existe ninguna tcnica confiable que nos permita
identificar restricciones redundantes a partir del tableau.
Veamos el siguiente ejemplo:
0 ,
4 2
8 4
:
9 3
2 1
2 1
2 1
2 1
>
s +
s +
+ =
X X
X X
X X
sa
X X Z
Max

La resolucin mediante el mtodo simplex es:
Z X
1
X
2
X
3
X
4

1 -3 -9 0 0 0
X
3
0 1 4 1 0 8
X
4
0 1 2 0 1 4

Z X
1
X
2
X
3
X
4

1 -3/4 0 9/4 0 18
X
2
0 1/4 1 0 2
X
4
0 1/2 0 -1/2 1 0

Z X
1
X
2
X
3
X
4

1 0 0 3/2 3/2 18
X
2
0 0 1 -1/2 2
X
1
0 1 0 -1 2 0

Z X
1
X
2
X
3
X
4

1 -3 -9 0 0 0
X
3
0 1 4 1 0 8
X
4
0 1 2 0 1 4

Z X
1
X
2
X
3
X
4

1 -3/4 0 9/4 0 18
X
2
0 1/4 1 0 2
X
4
0 1/2 0 -1/2 1 0

Z X
1
X
2
X
3
X
4

1 0 0 3/2 3/2 18
X
2
0 0 1 -1/2 2
X
1
0 1 0 -1 2 0

Como vimos anteriormente, las iteraciones uno y dos generaron una suerte de
ciclaje, ya que a partir de un estado comn (valor objetivo iguales) se obtuvieron
soluciones distintas.

Pero qu pasa cuando son ms de dos variables, la respuesta es ms
compleja ya que el ciclaje o reciclaje, efectivamente, se vuelve ms notorio, ya
que a partir del tableau inicial y despus de sucesivas iteraciones aplicando el
mtodo simplex, podemos volver nuevamente al tableau inicial sin poder
llegar a la solucin ptima. Las tcnicas utilizadas para solucionar el ciclaje
generan una reduccin drstica en los clculos y, por ende, en los tiempos de
ejecucin, pero una tcnica que mejora esta causa es la Regla Lexicogrficas.
Es decir, se asume como correcta la decisin tomada de forma arbitraria, en
caso de caer en un ciclo perpetuo (ms de 4 iteraciones sin mejora) se debe
probar con la otra opcin.

Max: Z = 2X
4
+ (3/2)X
6

s.a. X
1
+ 0X
2
+ 0X
3
+ X
4
- X
5
+ 0X
6
= 2
X
1
+ X
2
+ 0X
3
+ 2X
4
- 0X
5
+ X
6
= 4
X
1
+ 0X
2
+ X
3
+ X
4
+ X
5
+ X
6
= 3
X
1
+ 0X
2
+ X
3
+ X
4
+ X
5
+ X
6
= 3


Base Ecuacin Z X
1
X
2
X
3
X
4
X
5
X
6
bi
Z (0) 1 0 0 0 -2 0 -3/2 0
X
1
(1) 0 1 0 0 1 -1 0 2
X
2
(2) 0 0 1 0 2 0 1 4
X
3
(3) 0 0 0 1 l 1 1 3

Primera iteracin:
Base Ecuacin Z X
1
X
2
X
3
X
4
X
5
X
6
bi
Z (0) 1 2 0 0 0 -2 -3/2 4
X
4
(1) 0 1 0 0 1 -1 0 2
X
2
(2) 0 -2 1 0 0 2 1 0
X
3
(3) 0 -1 0 1 0 2 1 1

Segunda iteracin:
Base Ecuacin Z X
1
X
2
X
3
X
4
X
5
X
6
bi
Z (0) 1 0 1 0 0 0 -1/2 4
X
4
(1) 0 0 1/2 0 1 0 1/2 2
X
5
(2) 0 -1 1/2 0 0 1 1/2 0
X
3
(3) 0 1 -1 1 0 0 0 1

Tercera iteracin:
Base Ecuacin Z X
1
X
2
X
3
X
4
X
5
X
6
bi
Z (0) 1 -1 3/2 0 0 1 0 4
X
4
(1) 0 1 0 0 1 -1 0 2
X
6
(2) 0 -2 1 0 0 2 1 0
X
3
(3) 0 1 -1 1 0 0 0 1

Cuarta iteracin:
Base Ecuacin Z X
1
X
2
X
3
X
4
X
5
X
6
bi
Z (0) 1 0 1/2 1 0 1 0 5
X
4
(1) 0 0 1 -1 1 -1 0 1
X
6
(2) 0 0 -1 2 0 2 1 2
X
1
(3) 0 1 -1 1 0 0 0 1

X1=1
X2=0
X3=0
X4=1
X5=0
X6=2
Z=5
Existen problemas, cuyas soluciones ptimas no son nmeros finitos, sino por
el contrario es el infinito, es decir, no existe ninguna restriccin que acote su
crecimiento. As, se dice que el espacio de soluciones y el valor ptimo de la
funcin objetivo es no acotado.
3.- Problema con solucin ptima NO ACOTADA.

0 ,
4 2
2 2 2
: . .
4 4
2 1
2 1
2 1
2 1
>
s +
s +
+ =
X X
X X
X X
a s
X X Z Mx
X
1
X
2
c
a
b
c
RSF
En cualquier iteracin del mtodo simplex, el vector que entra a la base es el
asociado a la variable X
k
, entonces si todas las m i Y
ik
, , 1 , 0 = s , la solucin del
problema lineal es no acotado.
Argumentos de la columna pivote
Z X
1
X
2
X
3
X
4

1 -4 -4 0 0 0
X
3
0 -2 2 1 0 2
X
4
0 -1 2 0 1 4

Z X
1
X
2
X
3
X
4

1 -8 0 2 0 4
X
2
0 -1 1 1/2 0 1
X
4
0 1 0 -1 1 2

Z X
1
X
2
X
3
X
4

1 0 0 -6 8 20
X
2
0 0 1 -1/2 1 3
X
1
0 1 0 -1 1 2

Como se puede apreciar, en esta tercera iteracin X
3
debe entrar a la base, pero
0 2 / 1
13
< = Y y 0 2 / 1
23
< = Y .

Por lo tanto, no es posible aplicar la regla de seleccin que indica que variable debe
salir de la base ptima.
existen otro tipo de problemas que no tienen una nica solucin ptima, sino
que al contrario, tienen un infinito nmero de soluciones ptimas, pero
acotadas en una regin determinada para las cuales la solucin respectiva
generar el mismo valor en la funcin objetivo. Cuando hablamos de estos
casos se dice que la funcin objetivo es paralela a una restriccin de enlace.
4.- Problema con solucin ptimas MULTIPLES.

0 ,
20 4 10
30 10 6
: . .
2 5
2 1
2 1
2 1
2 1
>
s +
s +
+ =
X X
X X
X X
a s
X X Z Mx
X
1
X
2
a
b
RSF
c
c
B
A
Como se aprecia, la funcin objetivo tiene un valor mximo (ptimo) cuando
coincide con el trazo AB de la RSF.

Es necesario recordar el concepto de la combinacin lineal convexa entre dos
puntos A y B, como existen infinitos puntos entre A y B, tambin existen infinitos
puntos ptimos que generan el mismo valor de la funcin objetivo.

Matemticamente, se tiene que si XA es el vector asociado al punto A y XB es el
vector asociado al punto B, entonces:
1 0 , ) 1 ( s s + =
B A
X X X
Si existe un vector asociado a X
k
que no est en la base ptima, cuyo costo reducido
0 =
k k
c z , el resto de los 0 >
i i
c z y todas m i Y
ik
, , 1 , 0 = > , entonces el problema
de programacin lineal tiene soluciones mltiples y la base es ptima.

Retomemos el ejemplo ya visto en este caso:


0 ,
20 4 10
30 10 6
: . .
2 5
2 1
2 1
2 1
2 1
>
s +
s +
+ =
X X
X X
X X
a s
X X Z Mx


Z X
1
X
2
X
3
X
4

1 -5 -2 0 0 0
X
3
0 6 10 1 0 30
X
4
0 10 4 0 1 20

Z X
1
X
2
X
3
X
4

1 0 0 0 1/2 10
X
3
0 0
38/5
1 -3/5 18
X
1
0 1 0 0 1/10 2

Cuando una Variable NO Bsica tiene coeficiente = 0 en la fila cero
(Funcin Objetivo), existen mltiples soluciones.
El primer punto extremo es XA = (2,0,18,0)
Para determinar cual sera el otro punto extremo, se deber introducir a la
base la variable X2, as:
Z X
1
X
2
X
3
X
4

1 0 0 0 1/2 10
X
2
0 0 1 5/38 -3/38 45/19
X
1
0 1 0 -1/19 5/38 20/19

) ( 10 $
0
0
19 / 45
19 / 20
4
3
2
1
2
um Z
X
X
X
X
X
=
(
(
(
(

=
(
(
(
(

=
El segundo punto extremo es XB =
Como ya se explic, existe una combinacin lineal convexa entre los puntos XA y
XB que tambin es ptima. La expresin matemtica que define dicha expresin,
asociada a un X* es:
1 0 ,
0
0
19 / 45
19 / 20
) 1 (
0
18
0
2
) 1 (
2 1 *
s s
(
(
(
(

+
(
(
(
(

= + = X X X
Problema Sin Soluciones o Infactible

Como se ha explicado anteriormente, el mtodo de penalizacin o el mtodo de
doble fase permiten identificar cundo un problema de programacin lineal no tiene
solucin.

Por lo general, si las restricciones no se pueden satisfacer en forma simultnea, se
dice que el problema no tiene solucin; esta situacin no ocurre cuando las
restricciones son:

1. del tipo s, ya que las variables de holgura siempre generarn una RSF y, por
lo tanto, existir una solucin factible ptima,
2. del tipo = v > efectivamente generan variables artificiales W que por su
estructura no nos garantizan una solucin factible al modelo inicial y aunque
se efecten las provisiones necesarias para que exista un solucin ptima, es
decir, que efectivamente W = 0, si no existe una RSF el problema no tendr
solucin.
Veamos el siguiente caso de problema lineal:


0 ,
4
2
:
2 2
2 1
2 1
2 1
2 1
>
> +
s +
+ =
X X
X X
X X
sa
X X Z
Mx


La representacin grfica es la siguiente:


X
1
X
2
c
a b
c
RSF 2
RSF 1

Como se puede observar, no existen valores de X
1
y X
2
que puedan estar
simultneamente en ambas regiones sombreadas.

Veamos ahora cmo identificamos esta condicin por medio del mtodo de
penalizacin de Gran M, presentando primero el PPL estndar y el tableau original:

0 ,
4 4
2 3
:
0 2 2
2 1
2 1
2 1
2 1
>
= + +
= + +
= +
X X
W X X X
X X X
sa
MW X X Z
Mx


Z X
1
X
2
X
3
X
4
W
1 -2 -2 0 0 M 0
X
3
0 1 1 1 0 0 2
W 0 1 1 0 -1 1 4


Z X
1
X
2
X
3
X
4
W
1 -2-M -2-M 0 M 0 -4M
X
3
0 1 1 1 0 0 2
W 0 1 1 0 -1 1 4


Z X
1
X
2
X
3
X
4
W
1 0 0 2+M M 0 4-2M
X
1
0 1 1 1 0 0 2
W 0 0 0 -1 -1 1 2

Como vemos, la solucin ptima al problema modificado, se obtiene en el ltimo
tableau, pero como la variable artificial no es nula, sino que W = 2, el problema
original no tiene solucin factible.