Mtodo Simplex

El mtodo Simplex requiere que las restricciones sean ecuaciones. Para convertir cada desigualdad del tipo en una igualdad se debe agregar una nueva variable positiva llamada variable de holgura (hi).

Algoritmo de resolucin: 1.
Se analizan los zj - cj de las variables no bsicas para determinar si la solucin es ptima. Si todos los coeficientes son positivos o ceros se ha llegado al ptimo, en caso contrario se debe continuar. Se selecciona como variable bsica entrante aquella que incrementa ms rpidamente la F.O. (coeficiente zj - cj ms negativo). Se elige el ms negativo para llegar ms rpido al ptimo, pero en general basta con elegir cualquier z j - cj negativo. Ahora se debe determinar la variable que debe salir de la base, para eso se elige aquella que llegue ms rpido a cero al incrementar la variable entrante, es decir, la que tenga el XBi / yij mnimo, con yij > 0 Si no existe ningn yij > 0 en la variable entrante, entonces se escoge para entrar otra variable con zj cj negativo que si tenga al menos un yij > 0. Si no existe ninguna con estas caractersticas, entonces se dice que el problema no tiene solucin pues no est acotado.

aij xj + hi = bi

2.

Para convertir cada desigualdad del tipo en una igualdad se debe restar una de excedente (ei) y agregaremos una variable artificial (ti).

aij xj - ei + ti = bi

3.

Si tenemos una o ms restricciones del tipo = podemos transformarlas en dos restricciones introducir (sumar) en la restriccin una variable artificial ti (Recomendado), luego resolver mediante el mtodo de la gran M o de las 2 Fases. Si tenemos una o ms variables sin restriccin de signo (SRS) procederemos a realizar el siguiente reemplazo para cada una de estas variables: Xi = Vi Ui Con Vi, Ui 0

4.

Simplex para Minimizar

Si la F.O. es minimizar, existen 2 alternativas: Transformar el problema de minimizacin en uno de maximizacin definiendo una nueva F.O. osea Z = - Z. Cambiar la regla para elegir la variable entrante. Se escoge la de zj cj ms positivo. El ptimo se alcanza cuando todos los costos reducidos (zj cj) de las variables no bsicas son negativos.

Para trabajar con este mtodo se utiliza un cuadro resumen denominado Tableau, el que se construye a partir del modelo de programacin lineal.

Situaciones Especiales
Empate en la variable que sale: Esto significa que ms de una restriccin corta el eje en un mismo punto. Si se elige cualquiera puede ser que se salga de la regin factible, en este caso habra que retroceder y sacar la otra variable de la base. Donde: VB: Indica las variables que forman la base. CB: Indica los coeficientes en la F.O. de cada variable bsica (ci). XB: Representa el vector resultado del sistema de ecuaciones, asociado a dichas variables bsicas. Z: Es el valor de la F.O. para la solucin encontrada, (Z = CBiXBi) xj : Son las variables de decisin. hj : Son las variables de holgura. yij: Son los coeficientes que permiten expresar a la variable xj (o hj) como una combinacin lineal de las variables bsicas Bi (inicialmente corresponden a los aij de las restricciones). cj: Es el coeficiente de la variable j en la funcin objetivo. zj - cj: Es el costo reducido (o marginal) de que la variable j entre a la base. zj = CBiYij Mltiples soluciones ptimas: Cuando existen mltiples soluciones en el mtodo Simplex los coeficientes zj - cj de algunas variables no bsicas son cero. En estos casos, se contina realizando las iteraciones normalmente hasta llegar a una solucin ptima. Para encontrar otra solucin ptima, se vuelve al tableau donde apareci un coeficientes zj - cj = 0 de alguna variable no bsica, y se hace entrar a la base. Finalmente, se sigue iterando con este cambio hasta llegar a una nueva solucin ptima. Solucin indeterminada: Si al tratar de escoger la variable que sale, ninguna de las variables bsicas restringe el crecimiento de la variable no bsica escogida para entrar (no hay yij > 0), el problema tiene solucin indeterminada, es decir, la regin de soluciones factibles no est acotada. Incompatibilidad de restricciones: Si en el tableau ptimo queda al menos una variable artificial dentro de las variables bsicas, con un valor > 0 el problema no tiene solucin, ya que al menos existen 2 restricciones excluyentes por lo tanto no existe un rea de soluciones factibles.

Andrs Arias Silva

Mtodo de la gran M
Este mtodo incorpora en la F.O. todas la variables artificiales (ti) generadas y para asegurarse de que no estn en la solucin ptima el coeficiente que se le asigna a cada una de ellas es M con un valor que tiende a infinito. Al asignarle este valor el modelo penaliza estas variables y las sacar de la solucin ptima. La F.O. queda de la siguiente forma:

Max Z = C1X1+ C2X2+..+ CnXn - Mt1 - Mt2 -...- Mtk

Min Z = C1X1+ C2X2+..+ CnXn + Mt1 + Mt2 +...+ Mtk

Donde k: nmero de restricciones del tipo El mtodo de la gran M tiene la deficiencia que despus de todas las iteraciones se detecta la incompatibilidad de restricciones, lo cual se evita al usar el mtodo de las 2 fases, dado que si al final de la Fase I quedan variables artificiales en la base, significa que el problema presenta inconsistencia.

Mtodo de las 2 Fases

Fase I: Esta fase consiste en tratar de encontrar una solucin factible al problema original, pero para ello no considera la F.O. propia del problema, si no que genera una nueva F.O. que tiene por objetivo minimizar la suma de las variables artificiales del problema.

Min W = t1 + t2 +...+ tk
Este nuevo problema lo resolvemos por Simplex, y si al llegar al tableau ptimo existen variables artificiales en la base, concluimos que el problema no tiene solucin por incompatibilidad de restricciones. En caso contrario se pasa a la Fase II. Fase II: Resolvemos el problema original, a partir de la solucin bsica factible hallada en la Fase I. Esto es, reemplazamos en el ltimo tableau de la Fase I, los coeficientes de la F.O. (Ci) por los del problema original, y actualizamos la columna CB y la de los costos reducidos (zj-cj).

En las columnas de las variables artificiales no se considera el valor de los costos reducidos (zj-cj) para ver si entran a la base

Ejercicio
Resuelva el siguiente problema por el mtodo de la Gran M

Max Z = 5X1 2X2 + 3X3 Max Z = 5X1 2X2 + 3X3 Mt1 S.a S.a 2X1 + 2X2 X3 e1 + t1 = 2 2X1 + 2X2 X3 2 3X1 4X2 + h2 = 3 3X1 4X2 3 X2 + 3X3 + h3 = 5 X2 + 3X3 5 Xi , e1, t1, hi 0 Xi 0
Andrs Arias Silva

X1 = 23/3 X3 = 0 t1 = 0 h3 = 0

X2 = 5 e1 = 70/3 h2 = 0 Z = 85/3