Soluciones óptimas alternativas, Degeneración, No-acotados, no-factibles.

Soluciones óptimas alternativas

Veamos el siguiente problema de programación lineal

tex2html_wrap_inline676

Se agregan dos variables de holgura tex2html_wrap_inline578  y tex2html_wrap_inline580 , y resolvemos usando el método simplex

tex2html_wrap_inline682

La regla 1 muestra que esta es una solución óptima. Cabe destacar que la variable tex2html_wrap_inline574  que no está en la base aparece con un valor de
cj - zj igual a 0.  Si aumentamos el valor de la variable tex2html_wrap_inline574 (su valor actual es 0) , eso no cambiará el valor de z. Aumentar el valor de tex2html_wrap_inline574 produce cambios en las otras variables, al pivotear, es decir vamos a obtener una solución básica diferente pero que tiene el mismo valor de la función objetivo z=2.
.

tex2html_wrap_inline694

Fijese que ahora el coeficiente de cj-zj para la variable tex2html_wrap_inline580  es 0. Si entramos tex2html_wrap_inline580 y pivoteamos recuperariamos la solución anterior!
 

Degeneración

Resolvamos el problema usando el método simplex. En el tableau inicial podemos elegir tex2html_wrap_inline540 como la variable que entra (Regla 1)

tex2html_wrap_inline704

Note  que esta solución básica tiene una variable básica tex2html_wrap_inline578  cuyo valor es cero!. Cuando esto ocurre decimos que la solución básica está degenerada . Qué sucede si continuamos iterando?. Por la Regla 1 tex2html_wrap_inline574  entra a la base. Por la Regla 2 hay que elegir entre tex2html_wrap_inline710  y tex2html_wrap_inline624 . El menor es 0, entonces  pivoteando se obtiene

tex2html_wrap_inline714

Es decir, obtenemos exactamente la misma solución!. La única diferencia es que hemos intercambiado los nombres de las variables no-básicas con las de una variable básica que degenera el tableau. La Regla 1 nos dice que no estamos en la solución óptima. Si continuamos deberemos ingresar tex2html_wrap_inline580  obteniendo el siguiente tableau:
 

tex2html_wrap_inline722
 

  • Por la regla 1, esta es la solución óptima. Después de todo la degeneración no impidió encontrar el óptimo por el método simplex. Desafortunadamente, sobre otros ejemplos la degeneración puede conducir a , es decir, ina secuencia de pivotes que hacen volver siempre al mismo tableau y repetir el proceso indefinidamente.

  •  

     

    Óptimo No-acotado

    example397

    Por el método simplex se obtiene:

    tex2html_wrap_inline726

    La Regla 1 elige tex2html_wrap_inline574 para entrar a la base, pero no se puede calcular el bi/aij, ya que no hay aij mayores que cero en la columna de tex2html_wrap_inline574 .
    Asi el problema es no-acotado.
     

    Problemas No-factibles.

    Las restricciones cubren espacios de búsqueda diferentes y no hay una región de factibilidad para el problema global.

    Propiedades de los problemas de programación lineal

    Un problema de programación lineal tiene tres posibilidades: ser no-factible, ser no-acotado o tener una solución óptima.

    Si tiene una solución óptima se denomina  una solución básica óptima.  Recuerde que el número de variables en la base es igual al número de restricciones del problema, digamos m. Asi si el total de variables es igual a n, y es mayor que m, a lo más m de esas variables pueden tener un valor positivo en la solución básica óptima.
     

    exercise414

    exercise432

    exercise439

    exercise442

    Answer:

    (a) The solution is tex2html_wrap_inline834tex2html_wrap_inline836 , objective 15. It is optimal since cost row is all at least 0.

    (b) It is not unique (since tex2html_wrap_inline574 has reduced cost 0 but is not basic). Alternative found by pivoting in tex2html_wrap_inline574 (question could have asked for details on such a pivot) for solution tex2html_wrap_inline842tex2html_wrap_inline844 , objective 15.