Regla de Bland

El mtodo Simplex termina siempre que las variables entrantes y salientes son seleccionadas por la regla del menor subndice en cada iteracin.
Prueba. En virtud del Teorema que enuncia Si el mtodo Simplex no termina, entonces cicla, slo necesitamos mostrar que el ciclado es imposible cuando es usada la regla del menor subndice. Lo haremos llegando a una contradiccin al suponer que la regla del menor subndice lleva a un diccionario D 0 en s mismo en una secuencia de iteraciones degeneradas. Sin prdida de generalidad, digamos que esta secuencia de iteraciones produce diccionarios D 1 , D 2 , , D k tal que D k = D 0 . Una variable ser llamada mvil si es no bsica en alguno de estos diccionarios y bsica en otros. De todas las variables mviles, sea x t la que tiene mayor subndice. En la secuencia D 0 , D 1 , , D k , hay un diccionario D con x t saliente (bsica en D pero no bsica en el diccionario siguiente), y alguna otra variable mvil x s entrante (no bsica en D pero bsica en el diccionario siguiente). Ms adelante en la secuencia D 0 , D 1 , , D k , D 1 , D 2 , , D k tiene que haber un diccionario D * con x t entrante. Registremos D como xi =bi z=v+
a
j B ij

x j (i B )

c
j B

xj

Como todas las iteraciones que van de D a D * son degeneradas, la funcin objetivo z tiene que tener el mismo valor v en ambos diccionarios. Luego, la ltima fila de D * puede ser registrada como
n +m

z=v+
*

c
j= 1

* j

xj

con c j = 0 siempre que x j es bsica en D * . Como esta ecuacin ha sido obtenida desde D por manipulaciones algebraicas, debe ser satisfecha por cada solucin de D. En particular, debe ser satisfecha por x s = y, x j = 0 (j B pero j s), x i = b i - a is y (i B) y z = v + c s y para cada eleccin de y.

Entonces tenemos v + c s y = v + c* y + s y, despus de simplificar, (c s - c * + s

c
iB

* i

(bi ais y )

c
i B

* i

a is ) y =

c
i B

* i

bi

para cada eleccin de y. Como el miembro derecho de la ltima ecuacin es una constante independiente de y, concluimos que c s - c* + s

c
i B

* i

ais = 0.

(1)

El resto es fcil. Como x s es entrante en D, tenemos c s > 0. Como x s no es entrante en D * y adems s < t, tenemos c * 0. Luego (1) implica que s c * a rs < 0 r para algn r B. (2)

Como r B, la variable x r es bsica en D; como c * 0, la misma variable es r no bsica en D * . Entonces, x r es mvil y tenemos r t. De hecho, x r es distinta de * x t : como x t es saliente en D, tenemos a ts > 0 y entonces c t a ts > 0. Ahora r < t y adems x r no es entrante en D * . Luego, no podemos tener c * > 0. De (2) concluimos r que a rs > 0. Como todas las iteraciones que van de D a D * son degeneradas, los dos diccionarios describen la misma solucin. En particular, el valor de x r es cero en ambos diccionarios (x r es no bsica en D * ) y entonces b r = 0. Luego x r era una candidata para abandonar la base de D pero elegimos x t , a pesar de que r < t. Esta contradiccin completa la prueba.