2.5.1.

Mtodo Simplex penal o de

la M grande.
El simplex penal es una variante del mtodo
simplex aplicable en los casos en que las
variables artificiales son necesarias en el
problema, ya sea de maximizar o tambin de
minimizar. El nombre de simplex penal se
explica porque se penaliza con un coeficiente
M, que representa un valor muy grande (mayor
que cualquier otro coeficiente del problema), a
cada variable artificial W
i
que se incluya en
la funcin objetivo del problema.
ara mximo se utiliza la penalizacin con
signo menos (- M, por otro lado
para m!nimo se utiliza signo m!s (" M.
"as variables artificiales se usan para la
primera #oluci$n b#ica del simplex, pero el
valor muy grande del coeficiente #, procura su r!pida
salida de la base cuando el problema tiene solucin
factible. $unque alg%n caso degenerado puede tener una
variable artificial en la ba#e con valor cero& vea
ejemplos $rtb!s'deg(v)r(1%, $rtab!s'*f(2,
+iclodeg(2& en programa +$,$ (prximo a liberarse).
or el contrario, si no es posible anular las variables
artificiales (- i .'), significa que no /ay solucin
factible al problema& vea ejemplo 'rtinofac en programa
+$,$.
El siguiente ()emplo 2-2 es un problema de " que
requiere variables artificiales para intentar resolverlo y
corresponde al ()emplo 1-1% utilizado con mtodo
gr!fico, tambin incluidos en el programa +$,$
(prximo a liberarse)0
()emplo 2-2. 'plica mtodo Simplex *enal+ *, en
mximo con - tipo# de re#tricci$n (.'/012(/0'.
.igura 2-3. 0abla# del mtodo #implex penal aplicado al e)emplo .'/012(/0'.
Soluci$n $ptima en vrtice / de la analog!a geomtrica en (1igura 23)4)0 mximo 4c 5 16 y el
programa en %ltima tabla0 7
1
5 2+ 7
2
5 6+ 8
1
5S
2
5W
2
5W
-
5 9.
El e)emplo .'/012(/0' mostrado contiene la aplicacin del mtodo #implex penal& como ya se
mencion, /ay necesidad de utilizar variables artificiales para resolverlo. *rimero se prepara el
problema convirtiendo a igualdade# para forma est!ndar del modelo propuesto, #umando una variable
de :olgura 8
1
en la restriccin (2), despus #e re#ta una variable S2 de #upervit en la (*), la
restriccin (() es de tipo 5 por lo que se deja como est!& se condiciona toda variable 6 j .5 ' y con la
funcin objetivo original ya se tiene este modelo como est!ndar. ero as7 no #e completa la matriz
cuadrada unitaria 1 que debe ser de orden m 5 - restricciones, pues slo se tiene el vector unitario de la
variable de /olgura 8
2
que s7 aporta el coeficiente 92, faltando dos vectores unitarios. $qu7 surge la
necesidad de utilizar el artificio matem!tico ya referido. En las restricciones (*) y (() que son de .5 e
5& #e #uman variable# artificiale# W
2
; W
-
, aportando cada una de ellas el necesario coeficiente "1,
con lo que #e completa la matriz : mostrada antes de la tabla simplex, quedando el modelo que se
presenta con ba#e artificial. Esta variante del simplex, incluye a las variables artificiales en la funcin
objetivo, pero penalizadas con un coeficiente #, que representa un valor mayor que cualquier otro
coeficiente presente en el modelo& para este ejemplo se le asigna 3# como coeficiente a las variables
artificiales -
*
y -
(
, cumpliendo as7 con la penalizaci$n de la funcin objetivo la cual se arregla al
formato de las restricciones, restando el lado derec/o a la variable ;, consiguiendo el trmino
independiente cero en el lado derec/o.
En #egundo lugar debe preparar#e la tabla #implex con la primera solucin b!sica <factible<, la que
se consigue con las variables artificiales -
*
y -
(
, procurando su pronta anulacin con los cambios de la
base. <e inicia con los renglones y columnas y los encabezados necesarios para copiar ordenadamente
los coeficientes del modelo, tal como se presentan en la forma con base artificial y la funcin ; arreglada
con trmino independiente& los lugares vac7os se llenan con cero. $qu7 anote que la matriz :, no
necesariamente se forma con sus vectores unitarios colocados juntos escalonadamente& pueden quedar
intercalados vectores unitarios (por las variables de /olgura y=o artificiales) o no unitarios (por las de
super!vit)& en este ejemplo, /ay una intercalacin de la variable <
*
de super!vit, lo cual se podr7a /aber
evitado permutando las primeras dos restricciones. En todos los casos se puede bu#car arreglar la#
re#triccione# en el orden =ue convenga para facilitar el anli#i# po#terior de la solucin tabular. "as
variables b!sicas deben colocarse en la columna izquierda ordenadas de tal manera, que coincidan en su
rengln con el coeficiente 92 del vector unitario, en la columna correspondiente a la misma variable.
En p!rrafos anteriores se menciona, que toda variable b!sica debe tener coeficiente indicador cero en el
rengln ;& esto significa que tal variable ya no puede aportar alguna cantidad al valor de la funcin
objetivo& pero las variables artificiales -
*
y -
(
tienen un coeficiente # en dic/o rengln& lo cual impide
que se tenga una solucin b!sica >factible> en esta tabla, por lo que se procede a conseguir los
coeficientes cero faltantes en el rengln ; para las variables artificiales. Esto se logra mediante
operaciones fila elementales usadas en el proceso de ?auss3@ordan, lo que se muestra en las frmulas en
el lado izquierdo de la tabla0 ara calcular el cero en -
*
, se multiplica el rengln -
*
por el n%mero 3#
(inverso aditivo de #) y se suma el rengln ;, sea (A-
*
)(3#) 9 A; 5 ;B, se tiene as7 cero en la
posicin de ;B con -
*
. "uego se multiplica el rengln -
(
por el n%mero 3# y se suma el rengln ;B,
sea (A-()(3#) 9 A;B 5 ;BB, se determinan as7 los coeficientes cero necesarios para que las variables -
*
y
-
(
sean b!sicas. $/ora s7 en esta segunda tabla, se tiene la primera solucin b!sica indispensable para
que el algoritmo se inicie con la aplicacin de los criterios del simplex.
En tercer lugar, ya determinada la solucin de arranque, se aplican los criterios del simplex empezando
con el de optimalidad y considerando que el objetivo es m!ximo, la observacin de los indicadores del
rengln ;, en esta segunda tabla del Ejemplo *3*, existe slo un coeficiente negativo en la variable no
b!sica de decisin 6
2
, por lo cual se declara variable entrante a la base . "a aplicacin de la
factibilidad resulta al obtener el m7nimo cociente, de dividir los valores actuales de las variables b!sicas
situados en la columna solucin a la derec/a de la tabla, entre los coeficientes en el mismo rengln i con
la columna correspondiente a la variable ,E. $s70 m7nimo (C=2, '=*, *=2) 5 ', que coincide en el rengln
de la variable artificial -
*
que se declara variable saliente . En el cruce de la columna 6
2
y el
rengln -
*
, se localiza el coeficiente 2 como pivote para calcular con ?auss3@ordan la siguiente
tabla simplex (tercera) con la nueva solucin b!sica que debe tener a 8
2
, 6
2
(sustituye a -
*
) y -
(
, como
base. <e recomienda al estudiante cuidar la colocacin de las variables en la base, conservando el mismo
orden que le corresponde de tabla a tabla, excepto para la nueva ,E que ocupa el lugar de la ,<.
En la tercera tabla simplex del ejemplo 1$+D:AE+D$, se repite la aplicacin del criterio de optimalidad
seleccionando entre (32=* # 3 E=*) y (32=* # 3 (=*), el coeficiente m!s negativo (o lo equivalente el de
mayor valor absoluto) para el objetivo de m!ximo, entonces se declara a la variable no
b!sica 7
2
como a la base. ara la factibilidad, vea que el rengln de la variable b!sica 62 queda
descartado debido a que ' = 32=* no es v!lido, en cambio con las otras dos variables en la base se tiene0
#7nimo (C = (=*, * = 2=*) 5 ), existe empate que debe romperse teniendo en cuenta, la necesidad de
procurar una r!pida salida de la base de las variables artificiales, en tal caso se puede elegir a la que
a/ora, es indeseable variable b!sica W
-
como . En el cruce de columna 6
*
como ,E y rengln
-
(
como ,<, se localiza el coeficiente pivote 2=* con el que se inicia el c!lculo de la siguiente tabla
(cuarta) simplex de este problema ejemplo.
"a cuarta tabla simplex comienza por ordenar las tres variables b!sicas 8
1
+ 7
1
y la nueva 7
2
que
sustituye a la W
-
, se contin%a con el c!lculo de coeficientes del rengln AE 5 A< = 5 A< = 2=*
resultando el coeficiente "1 en la posicin de pivote, necesario para determinar con el ?auss3@ordan el
resto de la tabla, que muestra en el lado izquierdo, las frmulas empleadas de este mtodo.
Esta %ltima tabla tiene en el rengln ;, coeficientes indicadores para las variables de valor no negativo,
lo cual significa una solucin ptima pues, adem!s, todas las variables artificiales ya salieron de la base.
En la analog7a geomtrica de la 1igura 23)4se muestra el segmento de recta F+ como conjunto factible y
su punto extremo el vrtice +(*,)) con el m!ximo valor de la funcin ;& pero para el espacio ampliado
que maneja la solucin anal7tica del simplex, el punto extremo que optimiza tiene el programa0
()emplo 2--. 'plica mtodo Simplex *enal+ *, en m!nimo con - tipo# de re#tricci$n (M1>*(>.
<e presenta este nuevo ejemplo de mtodo simplex penal con la solucin de las siguientes tablas, se deja
como ejercicio al estudiante0 construir las frmulas para el c!lculo de los coeficientes de cada rengln de
la tabla con el procedimiento de ?auss3@ordan& la solucin que incluya la interpretacin geomtrica en
un plano de las restricciones e identificarlas, el conjunto de puntos factibles del sistema, las coordenadas
de los vrtices, sus caracter7sticas y el valor de la funcin objetivo.
.igura 2-?. 0abla# del mtodo #implex penal del e)emplo M1>*(>.
()emplo 2-6. 'plica mtodo Simplex *enal+ *, en mximo con una variable libre (M'7*(>,1.
En la seccin correspondiente a formas equivalentes del modelo de programacin lineal se trat
el mane)o algebraico de una variable libre, /aciendo que la misma se iguale a la diferencia de dos
variables no negativas07
1
5 7@
1
- 7@@
1
A 7@
1
B5 9+ 7@@
1
B5 9.
.igura 2-19. 0abla# del #implex penal del e)emplo M'7*(>,1.
"a %ltima tabla simplex penal es ptima, pues los indicadores para las variables en rengln ;, no tienen
signo negativo, as7 se identifica el vrtice que maximiza0
( 6B
2
, 6BB
2
, 6
*
, 8
2
, <
*
, <
(
, -
*
, -
(
) 5 ( (, ', C, ', C, ', ', ' ), ; m!ximo 5 ((.
"a variable 6BB
2
5 ' porque es no b!sica& pero 6B
2
5 ( . ' 5 6BB
2
, entonces se asegura un valor positivo
para la original 6
2
5 6B
2
3 6BB
2
5 ( 3 ' 5 (.
<i desea, intente el cambio a objetivo m7nimo del mismo ejemplo #$6EG":, ; compruebe =ue la
#oluci$n #implex+ aCn para toda 7) libre+ #$lo con#idera punto# vrtice del 1er. cuadrante,
limit!ndose a toda 6 j .5 '.