You are on page 1of 27

Programacin Matemtica para Economistas 144

5.- Anlisis de sensibilidad.


Dentro de este apartado, que lleva por ttulo anlisis de sensibilidad, incluiremos tres
grandes secciones que en la literatura suelen ir desagrupadas. Nos referimos al anlisis de
postptimo, al anlisis de sensibilidad propiamente dicho y a la programacin lineal
paramtrica.
5.1.- Anlisis de post-optimizacin.
El anlisis de post-optimizacin estudia la estabilidad de la solucin ptima de un
problema de Programacin Lineal una vez que se modifica en el mismo algn parmetro
(c
j
, b
i
, a
ij
), se introducen nuevas variables o se aaden nuevas restricciones.
Pues bien, para ello el conocimiento de las matrices B y B
-1
es fundamental, tanto
desde el punto de vista terico como desde el prctico, debido a las relaciones:
x
B
*
= B
-1
P
0
(20)
P
j
*
= B
-1
P
j
(21)
z
j


= c
B
t
P
j
*
= c
B
t
B
-1
P
j
(22)
c
j
- z
j
= c
j
- c
B
t
P
j
*
(23)
siendo vlidas las tres ltimas para j=1,2,...,n.
En las expresiones anteriores x es una parte de x* (solucin ptima) formada por
las componentes bsicas del vector solucin, colocadas en el orden asociado a la base B; c
B
*
*
B

es el vector de costes asociados a la base, cuyas componentes estn, asimismo, puestas en el
mismo orden.
5.1.1.- Modificacin de un coeficiente de la funcin objetivo.
Consideremos el problema:
Max c
t
x
s.a Ax = b
x 0
y supongamos que un coeficiente de la funcin objetivo c
j
se modifica, pasando a valer c .
Se trata de verificar si este cambio supone una modificacin en la estructura de la solucin
del problema original, entendiendo por ello un cambio en B, en x , o en ambos.
j
0
B
En lo que sigue, supondremos
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

B = {P
1
, P
2
, ..., P
m
}
Programacin Matemtica para Economistas 145

es decir, que la base final ha sido: {P } y, por lo tanto, {1,2,...,m} son los
subndices asociados a las variables bsicas y por consiguiente {m+1,...,n} los asociados a
las restantes (no bsicas).
, P , . . . , P
1 2 m
* * *
0
Pues bien, si de c
j
pasamos a c puede ocurrir dos cosas:
j
A) j {1,2,...,m} es decir, que el coste modificado, c
j
, sea bsico: c
j
c
B
. En este caso, por
(21) y (22):
z
k
= c
B
t
B
-1
P
k
k=1,2,...,n
de donde resulta que todos los z
k
dependen de los costes bsicos y ello quiere decir que una
modificacin de c
B
va a afectar a todos los z
k
, pasando a valer z
k
0
, k=1,2,...,n.
Ahora bien, dichos valores son de dos tipos:
A-1) k {1,2,...,m}, es decir, los z
k
0
z
bsicos (asociados a variables bsicas), los cuales no
van a afectar a la estructura del problema, dado que
c
k
-
k
0
z
= 0 k {1,2,...,m}
A-2) k {m+1,...,n}, en este caso puede ocurrir que algn o algunos c
k
-
k
0
0
0
se hagan
positivos, se anulen o sigan siendo negativos. En los dos primeros casos se contina el
mtodo del smplex hasta su fin, modificndose, por lo tanto, la estructura del problema; en
el tercer caso la modificacin de c
j
no ha producido cambio en dicha estructura.
B) j {m+1,...,n} es decir, el coste modificado c no es bsico. En este caso el nico
problema que va a surgir es que c - z
j
j
j
deje de ser negativo y se haga, por lo tanto, nulo o
positivo, en cuyo caso resultar que hemos de continuar aplicando el mtodo del smplex
hasta su fin.
Veamos este hecho en un problema concreto:
Supongamos una fbrica dedicada a la obtencin de levadura, harina normal y harina
integral obteniendo un beneficio unitario de 5, 4 y 2 u.m. respectivamente. La fbrica
trabaja 10 horas diarias necesitando la produccin, tanto de cada tonelada de levadura como
de cada tonelada de harina normal, 3 horas diarias, mientra que la obtencin de una tonelada
de harina integral requiere 4 horas. Por otra parte, el coste de una tonelada de levadura es 12
u.m., mientras que la de harina supone 6 y 7 u.m., respectivamente. Cul sera la
produccin ptima diaria si se desea maximizar el beneficio sabiendo que el presupuesto de
cada da es de 24 u.m.?.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

Si denominamos x
1
a la cantidad de toneladas de levadura obtenida en un da, y x
2
y
x
3
a la cantidad diaria de toneladas de harina normal y harina integral, la formulacin de este
problema sera la siguiente:
Programacin Matemtica para Economistas 146

Max 5x
1
+ 4x
2
+ 2x
3

s.a 3x
1
+ 3x
2
+ 4x
3
10
12x
1
+ 6x
2
+ 7x
3
24
x
1
, x
2
, x
3
0
que pasado a forma estndar quedara:
Max 5x
1
+ 4x
2
+ 2x
3
+ 0x
4
+ 0x
5

s.a 3x
1
+ 3x
2
+ 4x
3
+ x
4
= 10
12x
1
+ 6x
2
+ 7x
3
+ x
5
= 24
x
1
, x
2
, x
3
, x
4
, x
5
0
Si la resolvemos por el mtodo del smplex tendremos las siguientes tablas:
5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
4
0 10 3 3 4 1 0
P
5
0 24 12 6 7 0 1
0 5 4 2 0 0


5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
4
0 4 0 3/2 9/4 1 -1/4
P
1
5 2 1 1/2 7/12 0 1/12
10 0 3/2 -11/12 0 -5/12


5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 8/3 0 1 3/2 2/3 -1/6
P
1
5 2/3 1 0 -1/6 -1/3 1/6
14 0 0 -19/2 -1 -1/6

Luego, la solucin final sera (2/3, 8/3, 0, 0, 0). Supongamos que el beneficio
unitario de la levadura pasa a ser 9 u.m., qu pasar con la solucin?, ser la misma?.
Lo que ha ocurrido es que un coste bsico c
1
se ha modificado pasando de valer 5 a
valer 9. Dicho cambio afectar a los c
j
- z
j
no bsicos, pudiendo tomar cualquier valor. En
nuestro caso, si en la tabla final modificamos el valor de c
1
tendremos:

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz


Programacin Matemtica para Economistas 147

9 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 8/3 0 1 3/2 2/3 -1/6
P
1
9 2/3 1 0 -1/6 -1/3 1/6
50/3 0 0 -15/6 1/3 -5/6

con lo cual vemos que sta no sera la ltima tabla puesto que c
4
- z
4
es positivo, teniendo
que entrar P
4
en la base ocupando el lugar de P
2
. La tabla que refleja este cambio sera:

9 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
4
0 4 0 3/2 9/4 1 -1/4
P
1
9 2 1 1/2 7/12 0 1/12
18 0 -1/2 -13/4 0 -3/4

tabla final donde la nueva solucin sera:(2, 0, 0, 4, 0).
Supongamos ahora que el beneficio que cambia no es el de la levadura sino el de la
harina integral, pasando de valer 2 a valer 6. En este caso, como este coeficiente
corresponde a una variable no bsica (puesto que P
3
no est en la base), su modificacin
slo afecta al valor de c
3
- z
3
. Si en la tabla final modificamos el valor de c
3
obtenemos:

5 4 6 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 8/3 0 1 3/2 2/3 -1/6
P
1
5 2/3 1 0 -1/6 -1/3 1/6
14 0 0 5/6 -1 -1/6

con lo cual, al obtener un valor positivo en c
3
- z
3
. debemos introducir P
3
en la base
debiendo salir P
2
,

5 4 6 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
3
6 16/9 0 2/3 1 4/9 -1/9
P
1
5 26/27 1 1/9 0 -7/27 8/54
418/27 0 -5/9 0 -37/27 -2/27
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz


Programacin Matemtica para Economistas 148

por tanto, la solucin, tras la modificacin de este coste, sera:(26/27, 0, 16/9, 0, 0).
5.1.2.- Modificacin de un recurso.
Suponemos ahora que un recurso b
i
cambia a b . Llamemos b
i
0 0
al nuevo vector de
recursos:
b
0
=
b
b
b
i
1
m
.
.
0
|
\

|
.
|
|
|
|
|

Por (20): = B x
*
5
B
-1
P
0
= B
-1
b, es decir, un cambio en los recursos va a suponer un
cambio en la solucin del problema original. Sin embargo, este cambio no produce
directamente modificacin de la matriz B ni de los valores c
j
- z
j
.
Ahora bien, puede ocurrir que al efectuar el producto:
B
-1
b
0
= x*
0

resulte que la nueva solucin no sea admisible por tener alguna componente negativa, con lo
cual ha de procederse a aplicar el mtodo dual del smplex para obtener la solucin
admisible.
Volviendo al problema considerado en el apartado anterior, vamos a estudiar qu
ocurre si el recurso de la primera restriccin cambia. Supongamos que por problemas
tcnicos, la fbrica pasa de trabajar 10 horas diarias a trabajar slo 5. Cul ser la nueva
solucin de este problema?.
Sabemos que la nueva solucin se obtiene multiplicando la inversa de la matriz B
por el vector de recursos original en el que se ha modificado el primer recurso, as tenemos:
x B b
1 *0 0
= =

|
\

|
.
|
|
\

|
.
| =
|
\

|
.
|

2 3 1 6
1 3 1 6 24
2 3
7 3
/ /
/ /
/
/

Podemos observar cmo la primera componente de este vector es negativa, cosa que
no podemos admitir, puesto que todas las variables deben tomar valores mayores o iguales a
cero. Para arreglar esta cuestin, como ya hemos indicado, debemos utilizar el mtodo dual
del smplex. Colocando este nuevo vector en la tabla final de este problema tenemos:

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz


Programacin Matemtica para Economistas 149

5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 -2/3 0 1 3/2 2/3 -1/6
P
1
5 7/3 1 0 -1/6 -1/3 1/6
9 0 0 -19/2 -1 -1/6

teniendo que salir de la base P
2
y entrar P
5
quedando:

5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
5
0 4 0 -6 -9 -4 1
P
1
5 5/3 1 1 4/3 1/3 0
25/3 0 -1 -14/3 -5/3 0

Por consiguiente, la nueva solucin tras la modificacin de este recurso sera:
(5/3, 0, 0, 0, 4).
5.1.3.- Modificacin de un coeficiente de la matriz asociado a una variable no bsica.
Estudiamos en este apartado cmo repercute un cambio sufrido por un coeficiente
tcnico asociado a una variable no bsica en la estructura del problema original.
Sea a
ij
un coeficiente tcnico no bsico; supongamos que se modifica, pasando a
valer a . Llamemos P al vector en que se ha convertido P
ij
ij
0
0 0
j
j
una vez que hemos cambiado a
ij

por a :
P
j
0
=
|
\

|
.
|
|
|
|
|
a
a
j
ij
mj
1
.
.
0
a
0 0

Dado entonces que z
j
depende de P
j
, su valor modificado sera:
z
j
= c
B
t
B
-1
P
j

de donde resulta:
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

A) Si c
j
- z
j
< 0, la modificacin sufrida por el coeficiente tcnico a
ij
no ha afectado a la
estructura general del problema.
Programacin Matemtica para Economistas 150

B) Si c
j
- z
j
0, el vector P ha de entrar en la base, y el problema ha de continuarse tal y
como se ha visto en apartados anteriores.
j
0
P
*
5.1.4.- Adicin de nuevas variables.
Se puede observar cmo la introduccin de nuevas variables (siempre en el supuesto
de tener ya resuelto el problema primitivo) crea nuevos vectores y, por tanto, nuevos c
j
- z
j
,
que pueden ser calculados por (23):
c
j
- z
j
= c
j
- c
B
t
B
-1
P
j

y nuevas columnas en nuestras tablas del smplex, que pueden ser obtenidas por (21):
j
= B
-1
P
j

De esta forma, el mtodo a seguir es inmediato, dado que si el nuevo trmino c
j
- z
j

es negativo, la variable introducida no modifica la estructura del problema, la nueva variable
no ha de entrar en la base, con lo que su nivel de utilizacin es cero. Si c
j
- z
j
es positivo,
entonces se introduce P
j
en la base y se obtiene su nivel de utilizacin. Obsrvese que el
caso c
j
- z
j
nulo supone que la introduccin de la nueva variable no va a suponer cambio
alguno en z
0
y puede considerarse entonces como que no supone cambio en la estructura del
problema.
Vamos a estudiar en nuestro ejemplo el efecto de la entrada de una nueva variable.
Para ello, supongamos que se est planeando la fabricacin de otro tipo de levadura ms
suave que supondra un beneficio unitario de 7 u.m., necesitando la produccin de cada
tonelada de la misma 4 horas, con un coste de 15 u.m.. Sera rentable su fabricacin?.
Con esta nueva variable la formulacin del problema es:
Max 5x
1
+ 4x
2
+ 2x
3
+ 7x
4

s.a 3x
1
+ 3x
2
+ 4x
3
+ 4x
4
10
12x
1
+ 6x
2
+ 7x
3
+ 15x
4
24
x
1
, x
2
, x
3
, x
4
0
luego, pasado a forma estndar queda:
Max 5x
1
+ 4x
2
+ 2x
3
+ 7x
4
+ 0x
5
+ 0x
6

s.a 3x
1
+ 3x
2
+ 4x
3
+ 4x
4
+ x
5
= 10
12x
1
+ 6x
2
+ 7x
3
+ 15x
4
+ x
6
= 24
x
1
, x
2
, x
3
, x
4
, x
5
, x
6
0
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

Para saber si la fabricacin de este nuevo tipo de levadura resulta rentable o no es
necesario conocer su beneficio marginal y, para ello, debemos conocer qu forma tendra
este vector en nuestra ltima tabla, lo que se puede obtener mediante la siguiente frmula:
Programacin Matemtica para Economistas 151

P B P
15
4
1 *
= =

|
\

|
.
|
|
\

|
.
| =
|
\

|
.
|

4
1 3 1 6 7 6 / / /
2 3 1 6 1 6 / / /
1 6 /

4
luego, c
4
- z
4
= 7 - ( ) 4 5
7 6
1 2
/
/
|
\

|
.
| = . Este valor es positivo lo que significa que resulta
rentable la fabricacin de esta nueva levadura, puesto que, su entrada en la base va a
suponer un aumento en el valor del beneficio total, es decir, en z
0
. Sustituyendo estos
resultados en la tabla final que disponemos de este problema tenemos:

5 4 2 7 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 8/3 0 1 3/2 1/6 2/3 -1/6
P
1
5 2/3 1 0 -1/6 7/6 -1/3 1/6
14 0 0 -19/2 1/2 -1 -1/6
luego, P
4
debe entrar en la base teniendo que salir P
1
.
5 4 2 7 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 18/7 -1/7 1 32/21 0 5/7 -4/21
P
4
7 4/7 6/7 0 -1/7 1 -2/7 1/7
100/7 -3/7 0 -65/21 0 -6/7 -5/21
con lo que la nueva solucin es: (0, 18/7, 0, 4/7, 0) donde vemos que se debe producir esa
nueva levadura para maximizar los beneficios.
5.1.5.- Adicin de nuevas restricciones.
Supongamos que al problema original le aadimos p restricciones de la forma:
a x b
ij j i
j
i = m+1,...,m+p
pudiendo ocurrir dos cosas:
A) Que las restricciones aadidas sean satisfechas por el ptimo; en este caso x* sigue
siendo la solucin del problema y la modificacin habida no ha cambiado la estructura de la
solucin.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

B) Que al menos una de las restricciones no fuese satisfecha por el ptimo. En este caso se
aaden a la ltima tabla del smplex nuevas filas con las nuevas restricciones, operando
convenientemente para que en el caso en que la base quede afectada, quede en la forma
acostumbrada y aplicando, si fuese necesario, el mtodo dual del smplex.
Programacin Matemtica para Economistas 152

Vamos a introducir una nueva restriccin en nuestro problema original. Supongamos
que por exigencias del mercado el quntuple de la cantidad total producida de levadura no
puede ser mayor que la suma de las cantidades de harina obtenidas, es decir, se debe
verificar:
5x
1
x
2
+ x
3

Dicha restriccin no es verificada por el ptimo obtenido, que si recordamos era
(2/3, 8/3, 0, 0, 0), ya que,
5 2/3 > 8/3 + 0
por lo que tenemos que introducirla en nuestro problema. Sumndole una variable de
holgura para conseguir la igualdad, dicha restriccin adopta la siguiente forma:
5x
1
- x
2
- x
3
+ x
6
= 0
que al incorporarla en la ltima tabla del smplex nos genera una nueva fila en dicha tabla y
una nueva columna correspondiente a la nueva variable de holgura introducida.

5 4 2 0 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 8/3 0 1 3/2 2/3 -1/6 0
P
1
5 2/3 1 0 -1/6 -1/3 1/6 0
P
6
0 0 5 -1 -1 0 0 1
14 0 0 -19/2 -1 -1/6 0

Vemos cmo la base cannica ha desaparecido, ya que ni P
1
ni P
2
tienen la forma del
segundo y primer vector de la base cannica, respectivamente, como deba de ser, luego,
debemos arreglar esta cuestin. Para ello, debemos trabajar con las filas buscando una
pivote, como hacemos en el mtodo del smplex para pasar de una tabla a otra.
Primero intentaremos conseguir que el vector P
1
adopte la forma del segundo vector
de la base cannica, para lo cual a la tercera fila debemos restarle la segunda multiplicada
por 5:
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

5 4 2 0 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 8/3 0 1 3/2 2/3 -1/6 0
P
1
5 2/3 1 0 -1/6 -1/3 1/6 0
P
6
0 -10/3 0 -1 -1/6 5/3 -5/6 1
14 0 0 -19/2 -1 -1/6 0
Programacin Matemtica para Economistas 153

Pero, todava no tenemos la base cannica, ya que P
2
no tiene la forma del primer
vector de la base. Vamos a conseguirlo en la siguiente tabla actuando de forma anloga:
5 4 2 0 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 8/3 0 1 3/2 2/3 -1/6 0
P
1
5 2/3 1 0 -1/6 -1/3 1/6 0
P
6
0 -2/3 0 0 4/3 7/3 -1 1
14 0 0 -19/2 -1 -1/6 0
Ya tenemos la base cannica, pero podemos ver una componente negativa en el
vector P
0
, cosa que no podemos admitir teniendo que utilizar el mtodo dual del smplex
para arreglar este hecho. Debe salir P
6
de la base y debe entrar P
5
.

5 4 2 0 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5
P
6

P
2
4 25/9 0 1 23/18 5/18 0 -1/6
P
1
5 5/9 1 0 1/18 1/18 0 1/6
P
5
0 2/3 0 0 -4/3 -7/3 1 -1
125/9 0 0 -61/18 -25/18 0 -1/6
obtenindose como solucin (5/9, 25/9, 0, 0, 2/3, 0).
5.2.- Anlisis de sensibilidad.
Consideremos el problema general de Programacin Lineal puesto en forma
estndar:
Maximizar c
t
x
s.a. Ax = b
x 0
Sea x* la solucin de dicho problema, a la que corresponde una base final B.
Tratamos en esta seccin de determinar para qu conjunto de valores de los parmetros del
problema se mantiene la estructura del mismo en el sentido dado anteriormente.
Obsrvese, por lo tanto, cmo el anlisis de sensibilidad completa lo estudiado en el
anlisis de la post-optimizacin, ya que, vamos a determinar intervalos para c
j
, b
i
, a
ij
, tales
que cuando un parmetro toma valores dentro de ellos la estructura del problema no se
modifica.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

Al igual que en el anlisis de la post-optimizacin, supondremos slamente el
cambio en un parmetro, mientras los dems se mantienen constantes.
Programacin Matemtica para Economistas 154

5.2.1.- Variacin de coeficientes de la funcin objetivo.
Partimos del problema general de Programacin Lineal en forma estndar:
Max c
t
x
s.a Ax = b
x 0
y del conocimiento de la base final B, formada, como siempre, por los m primeros vectores:
B = {P
1
, P
2
, ..., P
m
}
Trataremos de calcular para cada c
i,
i{1,2,...,n} un intervalo [c
i
-
, c
i
+
], tal que en el
mismo, se conserve la base. Para determinar dicho intervalo vamos a suponer que un
coeficiente cualquiera c
k
pasa a valer c
k
0
m
y veamos cunto debe valer dicho coeficiente para
que la base no se modifique. Bajo estos supuestos pueden presentarse los siguientes casos:
A) Si k {1,2,...,m}. En este caso, dado que los z
j
dependen del vector c
B
, pues
z
j
= c
B
t
P
j
= c x
i ij
i=

1
resultar que una modificacin de c
k
a c
k
0 0
va a suponer otra de z
j
a z , cuyo valor ser:
j
z
j
0
= (c
1
... c
k
0
...c
m
)
x
x
x
j
kj
mj
1
.
.
|
\

|
.
|
|
|
|
|
= c x c x
i ij k kj
i
i k
m
+
=

0
1
que puede ser transformado de la siguiente forma:
z
j
0
= - c c x
i ij
i
m
=1
k
x
kj
+ c
k
0
x
kj
= z
j
+ x
kj
(c
k
0
- c
k
)
Entonces, para que la base se conserve, todos los valores c
j
- z deben mantenerse
negativos o nulos Ahora bien, dado que los bsicos son nulos, slo hemos de centrar nuestra
atencin en los no bsicos, es decir:
j
0
c
j
- z
j
+ x
kj
(c
k
0
- c
k
) 0 j {m+1,...,n}
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

pero, dado que c
j
- z
j
0, para que se conserve la base, el nuevo valor c
k
0
ha de ser:
Programacin Matemtica para Economistas 155

c
k
0
c
k
+
c z
x
j
kj
j

si x
kj
< 0
c
k
0
c
k
+
c z
x
j
kj
j

si x
kj
> 0
con j {m+1,...,n}, o dicho de otra forma:
c
k
0
Mximo c
k
+
c z
x
j
kj
j

si x
kj
< 0
j {m+1,...,n}
c
k
0
Mnimo c
k
+
c z
x
j
kj
j

si x
kj
> 0
con lo que ya hemos determinado el intervalo buscado:
[c
k
-
, c
k
+
] = | Max
x
kj
<0
{c
k
+
c z
x
j j
kj

}, Min
x
kj
>0
{c
k
+
c z
x
j j
kj

}|
B) Si k {m+1,...,n}. Como ya vimos en el anlisis de la post-optimizacin, un cambio en
un coste no bsico solamente puede suponer que la diferencia c
k
0
- z
k
pueda hacerse positiva,
con lo que se modificara la base. Luego el valor que podemos modificar a c
k
ha de ser tal
que la diferencia se mantenga no positiva, por tanto el intervalo ser:
[z
k
, )
Ahora podemos preguntarnos qu pasara si c
k
0
toma uno de los valores extremos
del intervalo?. Supongamos que c
k
0
= c
k
-
y sea r {m+1,...,n}, el subndice donde se
alcanza el mximo, es decir:
c
k
0
= c
k
-
=Max
x
kj
<0
{c
k
+
c z
j
x
j
kj

} = c
k
+
c z
x
r r
kr


Luego c
j
- z 0 con j = m+1,...,n, pero z
j
0
r
0
ser:
z
r
0
= z
r
+ x
kr
(c
k
0
- c
k
) = z
r
+ x
kr
|c
k
+
c z
r
x
r
kr

- c
k
| = c
r

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

y, en consecuencia, c
r
- z
r
0
= 0
Programacin Matemtica para Economistas 156

con lo que resultar que se hace cero un c
j
- z
j
no bsico, es decir, en este caso c
k
0
hace que el
problema tenga infinitas soluciones. Anlogamente ocurrira si c
k
0
=c
k
+
, como puede
fcilmente demostrarse.
Tenemos que hacer notar que es posible realizar un anlisis de sensibilidad de los
coeficientes de la funcin objetivo sin tener que recurrir a las frmulas, pues, basta con
tomar, en la ltima tabla dicho elemento como un parmetro y recalcular todos los valores
c
j
- z
j
e imponerles la condicin de no positividad, obteniendo un intervalo para el mismo.
Para explicar esta ltima posibilidad vamos a realizar el anlisis de sensibilidad para
los costes del problema tratado en los epgrafes dedicados a post-optimizacin. La ltima
tabla de dicho problema era:
5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 8/3 0 1 3/2 2/3 -1/6
P
1
5 2/3 1 0 -1/6 -1/3 1/6
14 0 0 -19/2 -1 -1/6
Vamos a buscar primero un intervalo para c
1
de forma que si dicho coste toma
valores en ese intervalo la base se mantenga. Puesto que c
1
es un coste bsico su posible
modificacin afecta a todos los c
j
- z
j
de aquellos vectores no bsicos, puesto que ya
sabemos que los correspondientes a vectores bsicos valen cero. Para que no exista
modificacin en la base los beneficios marginales de las posibles entradas deben ser
negativos, es decir, los c
j
- z
j
no bsicos deben ser menores o iguales a cero. En nuestro caso
se tiene que verificar lo siguiente:
( )
( )
( )
c z c
c z c
c z c
3 3 1
4 4 1
5 5 1
=

|
\

|
.
|
=

|
\

|
.
|
=
|
\

|
.
|
2 4
1 6
0
0 4
2 3
1 3
0
0 4
1 6
1 6
0
/
/
/
/
/
3 2 /


es decir,
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

+
+

4
1
6
0 2
8
3
1
3
0 8
2
3
1
6
0 4
c c
c c
c c
1 1
1 1
1 1
4

Programacin Matemtica para Economistas 157

Luego, para que no se modifique la base debe cumplirse que c
1
|4, 8|. Como hemos
indicado anteriormente, si c
1
toma alguno de los valores extremos de este intervalo existirn
infinitas soluciones, puesto que un c
j
- z
j
no bsico se har cero. Comprobmoslo
suponiendo que c
1
= 4. Para este valor la ltima tabla de nuestro problema sera:
4 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 8/3 0 1 3/2 2/3 -1/6
P
1
4 2/3 1 0 -1/6 -1/3 1/6
40/3 0 0 -10/3 -4/3 0
tabla en la que se puede observar que c
5
- z
5
= 0, correspondiendo a un vector no bsico,
luego existen infinitas soluciones. Ya tenemos un vrtice, otro se puede obtener
introduciendo en la base a P
5
lo cual no puede modificar el valor de la funcin objetivo
obtenido, es decir z
0
no va a cambiar, como se puede ver en la siguiente tabla que refleja la
entrada de P
5
en la base.
4 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 10/3 1 1 4/3 1/3 0
P
5
0 4 6 0 -1 -2 1
40/3 0 0 -10/3 -4/3 0
Podemos realizar tambin un anlisis de sensibilidad para c
2
. Actuando de la misma
forma que en el caso anterior, para que no se modifique la base debe verificarse que:
( )
( )
( )
c z c
c z c
c z c
3 3 2
4 4 2
5 5 2
=

|
\

|
.
|
=

|
\

|
.
|
=
|
\

|
.
|
2 5
1 6
0
0 5
2 3
1 3
0
0 5
1 6
1 6
0
/
/
/
/
/
3 2 /


es decir,
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

17
6
3
2
0
17
9
5
3
2
3
0
5
2
5
6
1
6
0 5


+
c c
c c
c c
2 2
2 2
2 2

Programacin Matemtica para Economistas 158

Luego, en este caso para lograr que la base se mantenga c
2
debe pertenecer al
intervalo |5/2, 5| y, al igual que ocurra para el otro coste estudiado, si toma alguno de los
valores extremos tendremos un problema con infinitas soluciones.
Por ltimo, podemos realizar un anlisis de sensibilidad para c
3.
En este caso
estamos hablando de un coste no bsico y su estudio difiere de los dos casos anteriores.
Como ya hemos estudiado en post-optimizacin, si se modifica el coste de un vector que no
pertenece a la base slo se ve afectado el c
j
- z
j
correspondiente a ese vector. Si pretendemos
estudiar el intervalo en el que se mantiene la base debemos obligar a que dicho beneficio
marginal sea negativo o igual a cero. En nuestro caso tenemos:
( ) c z c
3 3 3
=

|
\

|
.
| 4 5
1 6
0
/
3 2 /

es decir,
c c
3 3
31 6 0 31 6 / /
Vemos que existe una cota superior para este coste pero ninguna inferior, luego el
intervalo es (-, 31/6|
5.2.2.- Variacin de recursos.
Suponemos resuelto el problema original, lo cual supone el conocimiento de x y de
B (y por lo tanto de B
B
*
-1
).
Supondremos asimismo, como en el epgrafe anterior, que B est constituida por los
m primeros vectores:
B = {P
1
, P
2
, ..., P
m
}
Como se ha comentado anteriormente, tratamos de calcular para cada recurso b
i
,
i{1,2,...,m} un intervalo: [b
i
-
, b
i
+
], tal que, cuando dicho recurso b
i
tome valores en dicho
intervalo, la base permanezca inalterada.
Adems este intervalo ser "completo" en el sentido de que cuando b
i
toma valores
fuera del intervalo, tenemos la seguridad de que la base B se modifica.
Pues bien, el mtodo que vamos a seguir para determinar el intervalo es suponer la
modificacin del recurso k-simo de tal manera que la misma conserve la base.
Sea b
k
0 * *0
el valor modificado, por lo cual x pasar a valer x , siendo su expresin:
B B
x
B
*0
= B
-1P
0
0

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

donde
P
es:
0
0
Programacin Matemtica para Economistas 159

P
0
0
=
b
b
b
k
m
1
0
.
.
|
\

|
.
|
|
|
|
|

ya que P
0
era:
P
0
=
b
b
b
k
m
1
.
.
|
\

|
.
|
|
|
|
|

Si denotamos los elementos de B
-1
por:
B
-1
=
b b b
b b b
b b b
m
m
m m mm
11 12 1
21 22 2
1 2
...
...
. . . .
...
|
\

|
.
|
|
|
|

resultar que:
x
B
*
=
b b b
b b b
b b b
b
b
b
m
m
m m mm m
11 12 1
21 22 2
1 2
1
2
...
...
. . . .
...
..
|
\

|
.
|
|
|
|
|
\

|
.
|
|
|
|

x
i
*
= b
i1
b
1
+ b
i2
b
2
+ ... + b
im
b
m
= , i = 1,2,...,m b b
ij j
j
m
=1
y, por lo tanto:
x
i
*0
= + b b b
ij j
j
j k
m
=

1
ik
b
k
0
i = 1,2,...,m
que operando:
x
i
*0
= + b b b
ij j
j
m
=1
ik
b
k
0
- b
ik
b
k
= x + b
i
*
ik
(b
k
0
- b
k
)
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

dado que b
k
0
ha de ser tal que se conserve la base, y esta se modifica cuando algn x se
hace negativo, calculemos entonces b
i
*0
k
0
, tal que:
Programacin Matemtica para Economistas 160

x
i
*0
0 x + b
i
*
ik
(b
k
0
- b
k
) 0 i = 1,2,...,m
es decir, para i {1, 2,...,m}:
b
k
0
b
k
-
x
i
ik
*
b
, si b
ik
> 0
b
k
0
b
k
-
x
i
ik
*
b
, si b
ik
< 0
lo cual es equivalente a decir:
b
k
0
Maximo
b
ik
>0
{b
k
-
x
b
i
ik
*
}
b
k
0
Mnimo
b
ik
<0
{b
k
-
x
b
i
ik
*
}
de tal forma que ya hemos obtenido el intervalo deseado:
[b
k
-
, b
k
+
] = | Maximo
b
ik
>0
{b
k
-
x
i
ik
*
b
}, Mnimo
b
ik
<0
{b
k
-
x
i
ik
*
b
}|
Evidentemente, cualquiera de los extremos de dicho intervalo puede ser infinito; por
ejemplo, si ocurriese que no existe para un determinado ndice k, ningn b
ik
negativo, el
extremo derecho del intervalo sera infinito: b
k
+
= .
La ltima cuestin que nos quedara por resolver sera: qu ocurre con la solucin si
el recurso toma uno de los valores extremos del intervalo [b
k
-
, b
k
+
]?.
Supongamos que b
k
0
= b
k
-

b
k
0
= b
k
-
=Maximo
b
ik
>0
{b
k
-
x
i
ik
*
b
} = b
k
-
x
r
rk
*
b
r {1, 2,...,m}
Sabemos que:
x
i
*0
= x + b
i
*
ik
(b
k
0
- b
k
) 0 i = 1,2,...,m
pero
x
r
*0
= x
r
*
+ b
rk
(b
k
0
- b
k
) = x
r
*
+ b
rk
(b
k
-
x
b
r
rk
*
- b
k
) = 0
Luego, la solucin es degenerada.
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

Al igual que ocurra con la sensibilidad de costes, existe un mtodo alternativo para
la determinacin de dicho intervalo, sin que sea necesario recordar las expresiones
Programacin Matemtica para Economistas 161

anteriores. Consiste en realizar dicho proceso donde el valor de b
k
sea paramtrico e
imponer condiciones de no negatividad en las componentes del vector resultante.
Vamos a utilizar este ltimo procedimiento para calcular los intervalos de
sensibilidad de los dos recursos de nuestro problema.
Comenzando por b
1
sabemos que cualquier modificacin del mismo produce un
cambio en la solucin del problema pero, si queremos que la base se mantenga la nueva
solucin que surja debe tener todas sus componentes positivas o cero, es decir, se debe
verificar lo siguiente:
x B P
1
0
* = =

|
\

|
.
|
|
\

|
.
| =

+
|
\

|
.
|
|
|

|
\

|
.
|

2 3 1 6
1 3 1 6 24
2
3
4
1
3
4
0
0
/ /
/ /
b
b
b
1
1
1

lo que implica que:
b
b
1
1

6
12

Por consiguiente, si b
1
|6, 12| la base se mantiene. Si toma alguno de los valores
extremos tendremos una solucin degenerada, puesto que en el nuevo vector P
0
existir
alguna componente nula. Comprobmoslo suponiendo que b
1
= 6. En este caso tenemos:
x B P
1
0
* = =

|
\

|
.
|
|
\

|
.
| =
|
\

|
.
|

1 3 1 6 24 2 / /
2 3 1 6 6 0 / /

luego, la ltima tabla del problema sera:
5 4 2 0 0
B C
B
P
0
P
1
P
2
P
3
P
4
P
5

P
2
4 0 0 1 3/2 2/3 -1/6
P
1
5 2 1 0 -1/6 -1/3 1/6
10 0 0 -19/2 -1 -1/6
Tambin podemos realizar un anlisis de sensibilidad para b
2
. En este caso, para
lograr mantener la base, se debe verificar lo siguiente:
x B P
1
0
* = =

|
\

|
.
|
|
\

|
.
| =

+
|
\

|
.
|
|
|

|
\

|
.
|

2 3 1 6
1 3 1 6
10
3 6
10
3
1
6
0
0
/ /
/ / b
b
b
2
2
2
20 1

R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

es decir,
Programacin Matemtica para Economistas 162

b
b
2
2

40
20

luego, el intervalo buscado es |20, 40| verificndose, como en el caso anterior, que si el
recurso toma un valor extremo tenemos una solucin degenerada.
5.2.3.- Variacin de coeficientes de la matriz no bsicos.
En este apartado tratamos de analizar la incidencia de la variacin de uno de los
valores de la matriz A correspondiente a un vector no bsico en la base ptima obtenida.
En la ltima tabla del problema propuesto se ha de mantener la condicin c
j
- z
j
0
para cada j, donde debemos determinar para qu valores del coeficiente a
ik
, k {m+1,...,n},
la base ptima obtenida no se modifica.
Si el vector P
k
no se encuentra en la base se verifica que:
c
k
- z
k
0
o lo que es equivalente:
c
k
- c
B
B
-1
P
k
0
Si modificamos a
ik
, llamando al nuevo vector tendremos que, para que no se
modifique necesariamente la base, se debe cumplir que:
P
k
0
c
k
- z
k
0
= c
k
- c
B
B
-1
P
k
0
0
es decir:
c
k
- c
B
B
-1

a
a
a
a
k
k
ik
mk
1
2
0
.
.
|
\

|
.
|
|
|
|
|
|
|
= c
k
- c
B
B
-1
P
k
- c
B
B
-1
0
0
0
0
.
.
a a
ik ik

|
\

|
.
|
|
|
|
|
|
|
= c
k
- z
k
- c
B
b
i
(a
ik
0
- a
ik
)
siendo b
i
la columna i de B
-1
. Escrito en forma desarrollada:
c
k
- z
k
+ ( (a c b
j ji
j
m
)
=1
ik
- a
ik
0
).
Para que la expresin anterior sea negativa se pueden presentar tres casos:
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

A) Si ( > 0 entonces para que se cumpla lo anteriormente dicho, es decir: c b
j ji
j
)
=1
m
Programacin Matemtica para Economistas 163

c
k
- z
k
+ ( (a c b
j ji
j
m
)
=1
ik
- a
ik
0
) < 0
se debe verificar que
a
ik
0
> a
ik
+
c z
c b
k k
j ji
j
m

=

1

luego, para cualquier valor comprendido en el intervalo
(a
ik
+
c z
c b
j
j ji
j
m
j

1
, )
la base se mantiene inalterada.
B) Si ( = 0, entonces, c b
j ji
j
m
)
=1
c
k
- z
k
0
= c
k
- z
k

y la influencia de la variacin de a
ik
es nula, esto es, el intervalo de variacin para el que la
base ptima no vara es toda la recta real.
C) Si ( < 0, obtenemos, actuando de la misma forma que en A), que: c b
j ji
j
)
=1
m
a
ik
0
<a
ik
+
c z
c b
k k
j ji
j
m

=

1

por lo que el intervalo definido es:
(-, a
ik
+
c z
c b
k k
j ji
j
m

=

1
)
Es conveniente hacer notar que tanto en el caso A) como en el C), en el extremo
finito del intervalo al problema posee varios ptimos ya que
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

c
k
- z
k
0
= 0
Programacin Matemtica para Economistas 164

5.3.- Programacin lineal paramtrica.
Una generalizacin natural de los estudios anteriores es la Programacin Lineal
Paramtrica, puesto que en muchos momentos surge la necesidad de parametrizar algn
elemento de un determinado problema de Programacin Lineal.
Obsrvese como, en general, la Programacin Lineal Paramtrica permite un estudio
conjunto de las modificaciones de todos los elementos semejantes, estudio que no se
realizaba en el Anlisis de Sensibilidad.
5.3.1.- Variacin paramtrica de coeficientes de la funcin objetivo.
Consideremos:
Max (c + c')
t
x
s.a Ax = b
x 0 (24)
donde es un parmetro que puede tomar cualquier valor real.
Demos a dicho parmetro el valor cero: = 0; (24) quedar entonces:
Max c
t
x
s.a Ax = b
x 0 (25)
problema general de Programacin Lineal que puede tener solucin finita o ilimitada.
Supondremos en primer lugar que (25) posee solucin finita, estudiando posteriormente el
otro caso.
A) El problema original posee solucin finita.
En este caso sea B la base (o si dicho problema tuviese para = 0 infinitas
soluciones, una de ellas) correspondiente a la solucin x .
B
*
*
Supongamos B = {P
1
, P
2
, ..., P
m
}.
Se trata de determinar un intervalo para tal que en el mismo se conserve dicha base
B.
Supondremos en primer lugar que R
+
, ya que ello va a facilitar el desarrollo
posterior.
Como por hiptesis (25) tiene como solucin x , resulta que
B
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

c
j
- z
j
0 j = 1, 2, ..., n
Programacin Matemtica para Economistas 165

con:
c
j
- z
j
= c
j
- c
B
t
B
-1
P
j

Si pasamos del problema (25) al (24), aparece una modificacin de los coeficientes
de la funcin objetivo, resultando:
c z
j
* *

c z
j
* *

* *

* *
j
= (c
j
+ c
j
') - (c
B
+ c
B
')
t
B
-1
P
j

que son los valores modificados del c
j
- z
j
al cambiar c por c + c'. Operando:
j
= c
j
- z
j
- (c
B
t
'B
-1
P
j
- c
j
') j = 1,2, ..., n (26)
Ahora bien, el hecho de que se conserve la base B va a depender en definitiva del
signo de los c z
j
, ya que si stos permaneciesen, tras la modificacin habida, no
positivos, resultara que no existira cambio en la base para cualquier valor positivo de .
Obsrvese adems que no es necesario estudiar el signo de los c z
j
j
j
para todo j, sino
nicamente para los no bsicos, ya que:
c z
* *

z
* *
j j
= 0 para j = 1,2, ..., m
luego, estudiaremos el signo de c
j j
para j = m+1, ..., n.
Pueden ocurrir dos cosas:
1) Que para todo j = m+1, ..., n, se verifique que c
B
t
'B
-1
P
j
- c
j
' 0. En este caso como
c
j
- z
j
0 y el parmetro lo estamos suponiendo positivo, resulta que:
c z
* *

z
j j
0, j = m+1, ..., n
de donde se tiene que la base {P
1
, P
2
, ..., P
m
} correspondiente a = 0 se conserva para
cualquier valor positivo de . Esto quiere decir que la base B se conserva para valores de
en [0, ).
2) Supongamos ahora que un c
B
t
'B
-1
P
k
- c
k
' < 0, con k {m+1, ..., n}. En este caso el signo
de c
k k
* *

z
puede variar dependiendo del valor del parmetro. Llamemos entonces
k
al valor
de que hace que c
k k
sea igual a cero:
* *

c z
k k
*

*
= c
k
- z
k
-
k
(c
B
t
'B
-1
P
k
- c
k
') = 0.
es decir:
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

k
=
c z
k k

c B P
B
't -1
k
- c '
k
(27)
Programacin Matemtica para Economistas 166

Entonces, si <
k
resultar c z
k k
* *
0 mientras que, si >
k
, c z
k k
*

*
>0; luego
k

ser el valor buscado, ya que, cuando la diferencia anterior es positiva ha de introducirse P
k

en la base, con lo cual se modifica la misma.
En el caso de que para ms de un k resulte que c
B
t
'B
-1
P
k
- c
k
' sean negativas, tenemos
que el extremo superior del intervalo donde se conserva la base viene dado por:
* = Min
c z
c
c
k k
k
j

<


`
)


c B P
c B P
B
't 1
k
B
't 1
j
'
/ ' 0
Tras calcular, para R
+
, el intervalo [0, *) donde se conserva la base para =
0, estamos interesados en:
(a) Determinar las distintas bases asociadas a valores de superiores a *.
(b) Ver qu ocurre cuando = *.
(a) Si > * la base se va a modificar, ya que al menos un c z
s s
> 0 con s {m+1, ..., n}.
Entonces P
s
va a entrar en la base y pueden ocurrir dos cosas:
* *

1.- a
is
0 i = 1, 2, ..., m: ello quiere decir que el problema carece de solucin para
valores de superiores a *.
2.- Algn a
is
es positivo. Sea entonces:
x
a
min
x
a
a
r
rs
i
is
is
0 0
= > ( 0 , )
por lo que, P
r
saldr de la base y tendremos una nueva base:
B* = {P
1
, ..., P
r-1
, P
r+1
, ..., P
m
, P
s
}
En este caso puede determinarse, al igual que en el apartado anterior, hasta dnde se
conserva esta nueva base mediante:
** = Min
c z
c
c
j r
j m n
j s
k k
k
j
=
= +

<

`
)
1
0
,...,
'
/ '
c B P
c B P
B
't 1
k
B
't 1
j * *
* *


El proceso se contina, determinando los intervalos pertinentes hasta que para una
base B
0
se verifique:
c
B
' 0t
B
0-1
P
j
- c
j
' 0
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

en cuyo caso la base B
0
se conservara hasta el infinito.
Programacin Matemtica para Economistas 167

(b) Cuando, determinado un intervalo [0, *) para el que se conserva una cierta base B,
resulta que toma el valor *, entonces si suponemos que es precisamente
k
el que verifica
(27), resulta evidente que c z
k k
* *

c z
* *
= 0 con k {m+1, ..., n}; estamos en un problema con
solucin mltiple. Obsrvese que para = * se mantiene la base B que suponemos se
conserva en [0, *) y aparece, al menos, otra base B* que ser la que se conserve para
>*; es por ello por lo que el intervalo anterior poda, sin cometer con ello error, cerrarse
en *.
Para terminar, veamos qu hemos de cambiar en el caso en que R
-
.
Esquemticamente, apoyndonos en lo dicho anteriormente para el caso de que fuese
positivo, tenemos:
Por (26) si c
B
t
'B
-1
P
j
- c
j
' 0 para todo j = m+1, ..., n, tenemos que:
j j
< 0
en cuyo caso la base B se conserva para todo < 0, es decir, en el intervalo (-, 0].
Si algunos c
B
t
'B
-1
P
j
- c
j
' son positivos, entonces la base B se conserva en (-*, 0] con
* = Max
c z
c
c
j m n
k k
k
j
= +

>


`
)
1
0
,...,
'
/ '
c B P
c B P
B
't 1
k
B
't 1
j

Pudiendo determinar, al igual que para > 0, sucesivos intervalos en cada uno de los
cuales se conservaran distintas bases.
B) El problema original posee solucin ilimitada.
Supongamos, por ltimo, que al resolver (25) resulta que dicho problema tiene
solucin ilimitada. Se trata de determinar hasta qu valor de la solucin contina siendo
ilimitada; si dicho valor es finito se pueden determinar sucesivas bases por el procedimiento
antes desarrollado.
Evidentemente, si (25) tiene solucin ilimitada se va a verificar:
Max (c
j
- z
j
> 0) = c
r
- z
r
con a
ir
0, i=1,2,...,m
Supongamos R
+
. Recordemos:
c z
r r
* *

c z
= c
r
- z
r
- (c
B
t
'B
-1
P
r
- c
r
')
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

y como por hiptesis c
r
- z
r
> 0, resulta que la solucin va a seguir siendo ilimitada si
r r
* *
>0, ya que los a
ir
seguirn siendo no positivos.
Programacin Matemtica para Economistas 168

Puede entonces ocurrir:
I) c
B
t
'B
-1
P
r
- c
r
' 0, en cuyo caso la solucin es ilimitada para todo R
+
.
II) c
B
t
'B
-1
P
r
- c
r
' > 0, en cuyo caso calculamos:
*
'
=

c
r r
c z
r r
c B P
B
't 1

ocurriendo que para valores > * la solucin deja de ser ilimitada, dado que, para esos
valores c z
r r
* *

*
x
*
< 0, siempre que no ocurra lo mismo para otro c
s
- z
s
, en cuyo caso habra
que repetir el proceso anterior.
5.3.2.- Variacin paramtrica de recursos.
En este apartado el parmetro que antes apareca en los coeficientes de la funcin
objetivo lo tenemos ahora en los recursos, es decir, el problema es de la forma:
Max c
t
x
s.a Ax = b + b'
x 0 (28)
con R. Este parmetro va a representar cambios continuos en la disponibilidad de los
recursos.
Vamos a suponer en primer lugar que R
+
.
Iniciemos el proceso resolviendo el problema en el caso = 0:
Max c
t
x
s.a Ax = b
x 0 (29)
pudiendo ocurrir:
A) Que dicho problema tenga solucin ilimitada, en cuyo caso la tendr tambin para
cualquier valor de , dado que los valores de los coeficientes tcnicos son independientes de
los valores de b.
B) Que tenga solucin finita. En este caso, llamemos B a la base correspondiente a la
solucin ptima, la cual supondremos, como siempre, constituida por los m primeros
vectores. Sea esta x , dado que
B
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

B
= B
-1
b
Programacin Matemtica para Economistas 169

resulta que si llamamos b
ij
a los elementos de B
-1
, las componentes de x sern:
B
*
*

* *
x
*
*
*
x
i
*
= i = 1, 2, ..., m (30) b b
ij j
j
m
=1
tratando de calcular hasta que valor de , *, se conserva la base.
Si en (30) ponemos b + b' en lugar de b tendremos un nuevo vector x ' de
componentes:
B
x
i
*
' = = + x ' (31) b b b b b b b
ij j j
j
m
ij j ij j
j
m
j
m
( ) + = +
= = =
'
1 1 1
x
i
*
'
i
*
donde hemos llamado x ' = '
i
*
b b
ij j
j
m
=1
Es evidente que B se conservar siempre que:
x
i
+ x ' 0
i
para todo i = 1, 2 ,..., m. Ahora bien, dado que 0, resultan dos posibilidades:
i
1.- x ' > 0 i = 1, 2, ..., m. En este caso (31) siempre ser no negativo para todo R
i
+
.
2.- Algn ' es negativo. En este caso, supongamos que x x
i k
*
' < 0 con k {1, 2, ..., m}.
Llamemos entonces
k
al valor de que anula a (31), es decir:

k
=
x
*
x
x
k
k
*
'
Obsrvese entonces que si
k
*
x
*
' fuese el nico negativo, valores de menores que
k

supondran la no negatividad de (31), es decir,
k
= * buscado.
Si hay ms de un ' negativo resultar:
i
* = Min { | ' < 0} (32)
x
x
i
i
*
*
'
x
i
*
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

Una vez calculado * cabe preguntarse qu ocurre si tomamos >*. Lgicamente
la base se va a modificar, ya que se har negativa alguna componente de x*'. De este modo
nos veremos en la necesidad de aplicar el mtodo dual del smplex el cual nos dar la nueva
base. A partir de este momento todo lo dems se llevar a cabo como se ha indicado en el
apartado anterior.
Programacin Matemtica para Economistas 170

Por ltimo, en el caso en que = *, de (31) y (32) es inmediato comprobar que la
solucin es degenerada, no habiendo, por lo tanto, modificacin alguna de la base.
En el caso en que R
-
puede fcilmente comprobarse cmo los criterios antes
dados para valores positivos se modifican del modo siguiente:
1.- Si x ' 0 la base B se conserva para todo R
i
*
*
-
.
2.- Si x ' > 0, elegimos:
i
*= Max { | ' > 0}
x
x
i
i
*
'
*
x
i
*
R. Caballero, T. Gmez, M. Gonzlez, M. Hernndez, F. Miguel, J. Molina, M.M. Muoz, L. Rey, F. Ruiz

You might also like