Captulo 2. SOLUCIN ANALTICA DEL MODELO DE PROGRAMACIN LINEAL.

Tabla de contenido
2.1. Objetivo.
2.2. Conceptos relacionados.
2.3. Teoremas de la programacin lineal.
2.4. Mtodo Simplex.
2.5. Matriz unitaria "I" de base con variables artificiales.
2.6. Casos especiales en la tabla Simplex.
2.7. Teora de la dualidad.
2.8. Ejercicios, actividades de aprendizaje y autoevaluaciones correspondientes al captulo
2.9. Referencias bibliogrficas
2.1. Objetivo.
El alumno debe aprender la utilizacin del poderoso y verstil mtodo simplex de solucin en
programacin lineal, aplicado en problemas ejemplo pequeos que muestran las diversas
circunstancias de su preparacin antes de aplicar el algoritmo y los casos especiales identificables
en la tabla solucin. Tambin con fines de interpretacin econmica, debe aprender las relaciones
que vinculan a un problema con su dual asociado y los teoremas derivados.
2.2. Conceptos relacionados.
Para la gran mayora de los problemas modelados con programacin lineal, el mtodo grfico es
claramente intil para resolverlo, pero afortunadamente y gracias a la dedicacin de varios
cientficos, desde mediados del siglo XX se cuenta con el eficiente mtodo SIMPLEX, poderoso por
su aplicacin verstil en cualquier rea de la actividad humana. Pero como antecedente a la
exposicin del simplex, conviene aclarar con definiciones algunos conceptos relacionados.
En programacin lineal es necesario calificar la palabra solucin para precisar el concepto al que se
hace referencia, como se expresa enseguida:
SOLUCIN.- Es un conjunto de n + m variables "Xj", definidas ordenadamente como un vector X =
(X1, X2, ... Xj, ... Xn, Xn+1, ... , Xn+m) que satisface el conjunto de ecuaciones que constituyen el
sistema en el problema.

En donde: m =nmero de restricciones; n =nmero de variables de decisin.

SOLUCIN FACTIBLE.- Es un conjunto de n + m variables "Xj", definidas ordenadamente como un
vector X = (X1, X2, ... Xj, ... Xn , Xn+1, ..., Xn+m) que satisface el conjunto de ecuaciones que constituyen
el sistema en el problema.

Y adems la condicin, toda Xj >= 0.

SOLUCIN BSICA.- Se obtiene, cuando en el sistema de ecuaciones se hacen n variables iguales a

cero del total de (n+m) variables y resolviendo las ecuaciones para las restantes "m" variables,
siempre que el determinante de los coeficientes de estas "m" variables llamadas bsicas, no sea
cero. Consulte el apndice A.
SOLUCIN BSICA FACTIBLE.- Es una solucin bsica que cumple Xj >= 0, para toda j (j = 1, 2, ..., n
+ m); es decir, todas las variables bsicas son no negativas. En una analoga geomtrica con slo
dos variables, se puede comparar con los vrtices en el rea sombreada.
SOLUCIN NO DEGENERADA.- Es una solucin bsica factible, con exactamente "m" variables
bsicas Xi, estrictamente positivas.
SOLUCIN DEGENERADA.- Es una solucin bsica factible, con menos de "m" variables bsicas
Xi positivas, pues al menos, una de ellas es de valor cero.
SOLUCIN PTIMA.- Es una solucin bsica factible que optimiza la funcin

2.3. Teoremas de la programacin lineal.

La PL se fundamenta en varios teoremas de los cuales se definen tres de los ms importantes:
1. El conjunto de soluciones factibles de la programacin lineal es convexo.
Definicin.- Un conjunto es convexo, si dados dos puntos cualesquiera A y B del mismo, el
segmento de recta que los une, se incluye totalmente en dicho conjunto (Figura 1-37);
expresado matemticamente, un conjunto C es convexo si y slo si, todos los puntos "P"
determinados por combinacin convexa entre dos puntos cualesquiera A y B del mismo,
estn en el conjunto C:
Ejemplo que verifica convexidad: Determine un punto P por combinacin convexa de
puntos vrtice en Figura 1-33: A(0,6) y F(4,3),

Si tanto A como F son vrtices factibles, entonces P est en el conjunto factible.

2. La funcin objetivo de un programa lineal tiene su valor ptimo (mximo o mnimo), en
un punto extremo (vrtice) del conjunto convexo de soluciones factibles.
Si alcanza este ptimo en ms de un punto extremo, entonces toma el mismo valor para
toda combinacin convexa entre estos puntos del problema, (soluciones ptimas
mltiples).
3. Una condicin necesaria y suficiente para que un punto X >= 0 en el conjunto de
soluciones factibles sea punto extremo, es que X sea una solucin bsica factible que
satisfaga el sistema: AX=b; o bien expresado as

Este teorema indica que cada punto extremo corresponde, al menos, a una solucin bsica
y viceversa, cada solucin bsica significa un punto extremo. As se concluye que el
nmero de puntos extremos del conjunto de soluciones factibles, es finito y no puede
exceder el de sus soluciones bsicas. Entonces, el nmero mximo de tales soluciones
supuestas nicas se calcula con el binomio:

Es de anotar, que un punto extremo puede estar definido con ms de dos restricciones
en cuyo caso se dice no nico y tener ms de una solucin bsica; adems, si es extremo
factible, se tiene degeneracin en tal vrtice. El punto extremo factible nico se dice es
solucin bsica no degenerada. Un punto extremo (vrtice) del conjunto factible se
identifica porque no se puede expresar como combinacin convexa de cualquier par de
puntos del mismo conjunto.
2.4. Mtodo Simplex.
En el ao 1947 el doctor George Dantzig present el algoritmo que desarroll y que denomin
SIMPLEX. A partir de este logro se pudieron resolver problemas que por ms de un siglo
permanecieron en calidad de estudio e investigacin con modelos formulados pero no resueltos.
El desarrollo paralelo de la computacin digital, hizo posible su rpido desarrollo y aplicacin
empresarial a todo tipo de problemas.
El mtodo simplex disminuye sistemticamente un nmero infinito de soluciones hasta un nmero
finito de soluciones bsicas factibles. El algoritmo simplex utiliza el conocido procedimiento de
eliminacin en la solucin de ecuaciones lineales de Gauss- Jordan y, adems aplica los llamados
criterios del simplex con los cuales se asegura mantener la bsqueda dentro de un conjunto de
soluciones factibles al problema; as valora una funcin econmica Z, exclusivamente en vrtices
FACTIBLES (posibles). Tambin se consigue con eficiencia, debido a que se dirige la bsqueda
haciendo cambios a una solucin bsica factible adyacente, que se distingue al tener m-1 variables
bsicas iguales; es decir, dos vrtices adyacentes slo difieren en una variable bsica;
seleccionando la ruta de mayor pendiente, para mejorar el valor de Z, o por lo menos conservarlo.
Primero se presenta el mtodo simplex, especfico para un modelo de PL en forma cannica de
mximo, aplicado con la conocida tabla matricial, (tambin identificada como tableau), lo cual se
resume mediante el diagrama funcional de la Figura 2-1, que muestra los fundamentos del
algoritmo contenidos en niveles o bloques numerados para la referencia en la descripcin del
mismo.
Nivel 1.- Forma estndar.-El modelo de PL en forma cannica de mximo que se desea resolver,
tiene m ecuaciones obtenidas al convertir las restricciones de desigualdad a igualdad, agregando
m variables de holgura, que sumadas a las n variables de decisin, hacen un total de (m + n)
incgnitas.
Las m restricciones con las (m + n) variables, producen un nmero infinito de soluciones, entre
ellas, un conjunto de factibles y tambin las no factibles.
Nivel 2.- Calcule una primera solucin bsica factible.- Del total, (m + n) variables, slo n se
igualan con cero ( n = 0 ), lo cual produce (s existen), un nmero finito de soluciones bsicas con

un lmite mximo de (m + n)! / m! n!. Estas pueden ser, factibles y no factibles; se consideran slo
las primeras.
Nivel 3.- Se toman en cuenta slo las soluciones bsicas factibles, esto es, las que tienen todas las
variables bsicas >= cero; es decir, con un nmero de iteraciones menor a (m + n)! / m! n!, se
obtienen soluciones bsicas factibles: no degeneradas, si todas las incgnitas bsicas son positivas
y soluciones degeneradas, si al menos una variable bsica es igual a cero. Se aplican los criterios
del algoritmo en forma iterativa para evaluar la funcin objetivo en puntos extremos adyacentes
que potencialmente puedan mejorar el valor Z.
Nivel 4.- Se generan nuevas soluciones bsicas factibles, tales que el valor de la funcin objetivo Z
mejore; se repite el procedimiento (iteraciones) entre los niveles 3 y 4, hasta que ninguna solucin
bsica factible adyacente resulte mejor; es decir, hasta que no haya incremento de valor, si el
problema es de mximo, (hasta que no haya decremento, para el problema, no tratado ahora, de
mnimo).

Figura 2-1. Diagrama funcional del algoritmo simplex.

Nivel 5.- Se interpretan los resultados de la ltima (iteracin) tabla calculada, porque se
identifican las caractersticas de una solucin ptima.
Criterios del Algoritmo Simplex.
El algoritmo simplex emplea los siguientes criterios para asegurar que la bsqueda de la solucin
ptima del problema en estudio sea rpida, limitando el clculo a soluciones bsicas (puntos
extremos) que sean factibles.
Criterio de optimalidad. Se aplica en el simplex para determinar entre las variables no bsicas,
una que entre (VE) a la base, eligiendo en la columna que tenga el coeficiente ms negativo en el

rengln "Z" de la tabla, si el problema es maximizar. Por lo contrario, si el problema es

minimizar se elige para variable entrante (VE) a la base la que cumpla con el coeficiente ms
positivo en dicho rengln "Z".
Criterio de factibilidad.- Se aplica en el simplex para determinar entre las variables bsicas, una
que salga de la base (VS), eligindola que cumpla
en donde Xi es el valor de la variable bsica en el rengln i; a ik es un coeficiente en el mismo
rengln i ubicado en la columna k correspondiente a la variable entrante elegida. Esto es vlido
tanto para problemas de mximo como de mnimo.
Elemento pivote: En el cruce correspondiente a columna y rengln elegidos con los dos criterios
anteriores, se ubica un coeficiente denominado pivote (P) que se utiliza durante las iteraciones o
etapas de clculo del simplex.
Ejemplo 2-1. Aplica mtodo Simplex; PL forma cannica mximo (MAXCAN1).
Este modelo de PL forma cannica de mximo con slo dos variables de decisin, ya se mostr
como el Ejemplo 1-13 de mtodo grfico con la Figura 1-33.

Nivel 1.Se inicia el mtodo simplex para el problema expresado en forma cannica, sumando una
variable de holgura a cada una de las restricciones de desigualdad <= que contiene el
modelo, convirtindose todas ellas en igualdades. Las holguras se denotan con X n+1,
Xn+2,..., Xn+m. Otra conveniente notacin es: H1, H2,..., Hm; en donde 1,2,...,m, son
restricciones tipo <=. As se pasa a:

Ahora se tienen tres ecuaciones con (n+m)=(2+3)=5 incgnitas, ampliando el sistema a 5

dimensiones con dos grados de libertad para la solucin del mismo, lo cual implica
un nmero infinito de soluciones. Se puede recurrir en lo que sigue, a la analoga
geomtrica del Ejemplo 1-13 con el propsito de mostrar parte de la naturaleza
geomtrica del algoritmo simplex con la Figura 1-33:
No se puede mostrar una analoga geomtrica para el espacio ampliado de forma estndar
en cinco dimensiones con (X1, X2, H1, H2, H3), pero s se puede observar el espacio factible
OACFE que se genera con slo dos dimensiones X1 y X2 en la Figura 1-33; en ambos

espacios existe un nmero infinito de puntos tanto interiores como en la frontera de la

regin factible, aunque slo existe un nmero finito de puntos extremos (vrtices).
En teora, de acuerdo al segundo teorema ya mencionado, la solucin ptima se debe
buscar en uno de esos puntos extremos, pero para la mayora de los problemas con
suficiente tamao significara una labor de clculo excesiva y costosa e incluso imposible.
Para tener una idea de lo que significa esto, supngase por ejemplo un problema cuyo
modelo de programacin lineal contiene m = 5 restricciones y n = 4 incgnitas, aplicando
el conocido binomio ya mencionado se tendra: (m + n) ! / m! n! = (5 + 4)! / 5! 4! = 126
vrtices; otro ejemplo ms, con m = 5 restricciones y n = 10 variables: (5 + 10)! / 5! 10! =
3003 puntos extremos. Los ejemplos aqu anotados ciertamente son pequeos, pues lo
comn en el mbito de empresa o gobierno, es manejar magnitudes en decenas o cientos,
tanto en restricciones como en variables. Pero el simplex salva esta circunstancia con
eficiencia, tal como se expresa enseguida.
Nivel 2.Una solucin bsica se obtiene estableciendo que de las (m+n) incgnitas en el sistema de
ecuaciones en forma estndar, n variables tengan el valor cero llamndolas no bsicas y
resolviendo (si hay solucin) para las restantes m variables que son bsicas, componen la
base o solucin bsica.
El sistema de restricciones en este Ejemplo 2-1 tiene tres ecuaciones con cinco variables,
se pueden expresar tres cualesquiera de estas en funcin de las otras dos que por ello se
consideran independientes. Como cada variable de holgura H1, H2, H3, se presenta slo en
una, de las tres restricciones, conviene hacerlas bsicas y las variables de
decisin X1 y X2 se inicien con valor cero como no bsicas. De este modo, para la
aplicacin del algoritmo simplex, se tiene la primera solucin bsica factible siguiente:
La funcin objetivo Z slo contiene a las variables de decisin X1 y X2, con valor actual cero,
por lo tanto Z=3(0)+5(0)=0, no satisface el objetivo de mximo. La comparacin
geomtrica es valorar la lnea recta Z en el origen O, como Zo=0. Esta evaluacin en O, no
puede ser el mximo valor porque an no se emplean los recursos de las tres restricciones
los cuales son asignados a las tres holguras:

Igualando a cero n variables, se reduce la bsqueda desde una infinidad hasta un

nmero finito de vrtices; pero tal nmero, an puede ser grande.
Nivel 3.El problema Ejemplo 1-13 (Figura 1-33) condiciona las variables de decisin X1, X2 >=0,
pero en las soluciones bsicas que pueden determinarse en nivel 2, no se cumple esta
condicin para todas las variables, como se puede comprobar en la tabla para el sistema
ampliado del mismo, que muestra valores negativos en las holguras para las soluciones
bsicas B, D y J.
En tal circunstancia, an se pueden disminuir las soluciones bsicas eliminando las no
factibles porque tienen variables con valor negativo.
Con la tabla Figura 2-2 se inicia el algoritmo simplex, muestra el arreglo matricial de
los coeficientes de acuerdo a la forma estndar de este ejemplo, con excepcin de la
funcin objetivo que se arregla a su forma equivalente: Mximo Z-3X1- 5X2 = 0, con el
formato del sistema de ecuaciones lineales. Anote el coeficiente cero para las ausentes
holguras en el rengln Z, pero en cambio, el coeficiente 1 de cada una de las variables de

holgura en cada restriccin, forman la diagonal en la matriz unitaria I de base, como

conjunto de vectores linealmente independientes que generan la primera solucin en el
punto extremo ( X1, X2, H1, H2, H3 ) = ( 0, 0, 4, 12, 18 ), vrtice O de la analoga
grfica, Figura 1-33.

Figura 2-2. Tabla simplex, con 1 solucin bsica factible, ejemplo MAXCAN1

Nivel 4.A partir de la solucin inicial del algoritmo simplex, se puede generar una nueva solucin
bsica factible; se aplica primero el criterio de optimalidad a la solucin bsica factible
actual, seleccionando entre las variables no bsicas, una variable que entre
a la
base y por lo tanto cambie a bsica. La seleccin de VE se hace con el criterio de conseguir
la mayor ganancia unitaria de la funcin objetivo en un vrtice. Se observa que un
incremento unitario en X2, aumenta en 5 el valor de Z, mientras que un incremento
unitario en X1, aumenta en 3 el valor de Z; si se desea el mximo conviene aumentar a X 2,
dejando a X1 en cero, lo que corresponde en la analoga geomtrica a decidir pasar a
valorar el vrtice adyacente A(0,6) a lo largo del segmento frontera OA, incrementando a
X2, desde un valor de cero hasta un valor de 6, conservando X1 su valor cero (Figura 1-33).
En el simplex, para este ejemplo con el objetivo de maximizar (Figura 2-3), se aplica la
optimalidad seleccionando la variable no bsica con el coeficiente ms negativo en el
rengln Z de la tabla, sealando la columna elegida con
.
La solucin bsica del simplex, siempre debe tener m (m=3 en el ejemplo) variables
bsicas, entonces la VE del criterio de optimalidad debe reemplazar a una de las variables
bsicas que al salir de la base se convierte en no bsica. As en segundo lugar, se aplica
el criterio de factibilidad, para determinar entre las variables bsicas, una que salga de la
base
. En la columna izquierda estn las variables en la base y en la columna
derecha, se tienen sus valores, los cuales se dividen entre el coeficiente que sea positivo,
en el mismo rengln i de la columna k de la VE, esto es: Mnimo (12 / 2 = 6; 18 / 2 = 9) = 6,
lo cual se cumple para la variable bsica H2, que debe sealarse como
.

Figura 2-3. Criterios de optimalidad y factibilidad, en 1 tabla simplex, ejemplo MAXCAN1.

Observe, que las variables no bsicas X1 y X2 no ocupan lugar en la base, por eso valen cero. Para
aclarar el criterio de factibilidad, considere que se decide el incremento de valor a X2 para variable
entrante VE, lo que significa cambiar al vrtice adyacente A, trasladndose a lo largo de la frontera
OA, con un valor para la variable X1 = 0 que sustituido en el sistema de ecuaciones en forma
estndar, se tiene:

Aqu se puede ver la esencia del criterio de factibilidad, al no permitir un valor mayor a 6 para la
variable X2, pues para que H2 H3 salgan de la base, deben anularse: as H2=0 y H3=6, con X2=6;
H3=0 yH2 = -6, si X2 = 9; pero al asignar X2 = mn (6, 9) =6 se impide que la variable H2 sea negativa
ya que viola las condiciones impuestas; en la analoga geomtrica significara evaluar la recta de la
funcin objetivo en el vrtice A adyacente al O y pasar a evaluar el vrtice B no adyacente al O,
que adems es no factible porque H2 = -6, (Figura 1-33).
En el cruce de la columna que corresponde a
y el rengln de la
, se localiza un
coeficiente identificado como pivote (P) que se utiliza para iniciar el procedimiento de solucin de
ecuaciones lineales conocido como de Gauss-Jordan. Para este ejemplo el pivote es 2, en el
rengln saliente
y columna entrante
, procediendo al clculo en Figura 2-4 de la
siguiente tabla simplex que es la nueva solucin bsica factible correspondiente al punto extremo
adyacente A (0, 6) de la analoga geomtrica.
La segunda solucin bsica factible se inicia con la nueva base formada con m = 3 variables
bsicas; H1 y H3 que se conservan, pero sale H2 y se reemplaza con la variable X2 como bsica en el
nuevo punto extremo a evaluar. La tabla simplex se empieza con el rengln
entrante
correspondiente a la variable X2; se calcula dividiendo los coeficientes del
rengln saliente
entre el coeficiente pivote P de la tabla solucin anterior. En el lado
izquierdo de la tabla se anota la frmula utilizada RE = RS / P, para lo resultados mostrados en la
fila de X2. Al convertir en bsica a la variable X2, se deben hacer las operaciones fila necesarias para
conseguir en su columna, el vector unitario, caracterstico de una variable bsica que forma parte
de la matriz I. Por lo tanto se escriben, el coeficiente 1 en la posicin del pivote y coeficientes cero
en el resto de la columna. Adems, en el rengln Z de la tabla, el coeficiente correspondiente
tambin debe resultar cero. Esto debido a que los coeficientes del rengln Z son indicadores del
posible incremento en el valor de la funcin objetivo. En cuanto una variable no bsica se
incrementa de valor hacindola bsica, el coeficiente en tal rengln resulta de valor cero,
indicando as, que X2 ya no puede aportar a la ganancia representada con la variable Z. En las
frmulas a la izquierda, se usa la fila RE de la nueva tabla y las filas necesarias de la tabla anterior;
la fila H1 se copia igual porque ya existe el cero en la columna X2.

Figura 2-4. Tabla simplex con 2a solucin bsica factible, ejemplo MAXCAN1.

Un clculo con la restriccin (2) en la forma estndar: 2X2 + H2 = 12, sustituyendo los valores X2=6 y
H2=0 dados en la segunda tabla simplex: 2(6) + 1(0) = 12, muestra que debe utilizarse todo el

recurso (2), produciendo hasta ahora una ganancia Z = 3X1 + 5X2 = 3(0) + 5(6) = 30, que resulta
mejor a Z = 0 anterior.
Observe el nico cambio de la base, sigue con tres variables, pero X2 sustituye a H2 como variable
bsica y conserva a H1 y H3, de la solucin bsica factible de tabla anterior ya que ambas son, de
puntos extremos adyacentes.
La nueva solucin bsica factible valorada con el simplex es, por analoga, el punto extremo vrtice
A(0,6) en Figura 1-33: ( X1, X2, H1, H2, H3 ) = ( 0, 6, 4, 0, 6 )
Ahora las variables bsicas H1, X2, H3 con vector columna unitaria hacen la base I. La Figura 25 repite la segunda tabla con los criterios del simplex aplicado.

Figura 2-5. Criterios de optimalidad y factibilidad, 2 tabla simplex, ejemplo MAXCAN1.

El tratamiento algebraico siguiente, fuera del procedimiento simplex en forma tabular que se est
exponiendo, puede satisfacer al estudiante, para comprender los resultados del rengln Z de la
tabla con la segunda solucin bsica factible:
La ecuacin (2) en la forma estndar es 2X2 + H2 =12 bien X2 + 1/2 H2 = 6; despejando: X2 =6 1/2H2; sustituyendo en la funcin: Z - 3X1 - 5X2 = 0, se tiene:

En este proceso algebraico se observa la importancia de los coeficientes en Z: (-3) para X1 y (+5/2)
para la holgura H2, se comprende que se utilicen como indicadores para la optimalidad en el
simplex. Significa que la variable X1 no bsica y por lo tanto con valor cero, conviene hacerla bsica
aumentando su valor, pues su coeficiente en la ecuacin indica que por cada unidad asignada a X1,
al valor de Z=30 se le suma 3. As en la tabla simplex en Figura 2-5 se decide que X1, variable no
bsica entre a la base
, para incrementar Z. En cambio Z disminuye, si regresa H2 a la base.
Por otro lado, en la aplicacin del criterio de factibilidad se dividen los valores actuales de las
variables bsicas, situados en la columna derecha de la tabla, entre los respectivos coeficientes
positivos en la columna X1, que se tiene como VE, con el resultado: Mnimo ( 4/1 = 4, 6/3 = 2 ) = 2,
entonces la variable H3 es saliente
, y se debe reemplazar por la nueva variable bsica X1 =
2.
Esto representa el cambio de base del vrtice A(0,6) al vrtice C(2,6), ambos puntos extremos
adyacentes de la analoga grfica en la Figura 1-33, lo cual se identifica en el simplex porque la
base H1, X2, H3anterior, cambia a H1, X2, X1 en la siguiente solucin bsica; es decir, slo difieren en
que X1 sustituye a H3.
En el cruce de la columna y el rengln seleccionados para variable entrante a la base
y
variable saliente de la base
, se ubica el coeficiente pivote P = 3 en Figura 2-5 que se utiliza
para el clculo de la siguiente iteracin.
A continuacin se presenta la tercera tabla simplex en la Figura 2-6 que se inicia colocando las
variables bsicas H1, X2, X1, as ordenadas en los renglones, calculando los coeficientes del rengln

entrante que se obtienen al dividir el rengln correspondiente a la variable saliente entre el

nmero pivote 3; RE = RS / 3.
En el cruce de la columna de X1 con el rengln RE ya determinado debe haber un nmero 1, el cual
es pivote. La columna X1 debe completarse con coeficientes cero para que sea vector unitario de
esta variable, que con H1 y X2 forman la matriz de base I.
Con el nuevo rengln RE de esta tabla y los renglones sealados en las frmulas anotadas en el
lado izquierdo de la misma, se procede al clculo de los coeficientes faltantes mediante el
procedimiento de eliminacin para la solucin de ecuaciones lineales de Gauss-Jordan; anote que
en la fila correspondiente a la variable bsica X2, no hay necesidad de calcular sus coeficientes
porque el cero requerido para vector unitario en la columna de X1 ya existe desde la tabla anterior,
por lo que solamente se copia de la misma; resultando la tercera tabla simplex siguiente en
la Figura 2-6

Figura 2-6. Tabla simplex ptima, en 3 solucin bsica factible, ejemplo MAXCAN1.

Los resultados de esta tabla simplex, muestran los coeficientes indicadores en el rengln Z,
correspondientes a las cinco variables con valor no negativo; segn el criterio de optimalidad
significa que ya no hay variables candidatas para entrar a la base y as se tiene una solucin
ptima en el rengln Z con un valor:
Que debe completarse con la lectura del programa ptimo en las filas de las variables en la base y
columna solucin:
Variables de decisin X1 = 2, X2 = 6, variable de holgura H1 = 2. Las variables no presentes en la
base, deben valer cero: holguras H2 = 0, H3 = 0.
Sustituyendo el programa obtenido en el problema con forma estndar se tiene.

Las restricciones (2) y (3), se cumplen con valor cero para las holguras H2 y H3, significa que en esos
recursos no existe sobrante. En cambio, el recurso (1) que vale 4, tiene sobrante que representa la
variable bsica de holgura H1 = 2.
Entonces la solucin ptima se tiene en el vrtice C(2,6) de la analoga grfica, tal como se anota
en la Figura 1-33 y en el espacio ampliado de cinco dimensiones mostrado en la Figura 1-36 que se
manej en la misma. Con el mtodo simplex se optimiza en el punto extremo caracterizado con el
vector de la siguiente solucin bsica factible:

En la Figura 2-7 [HIL67]se muestra el total de tablas simplex aplicado al ejemplo MAXCAN1, en forma
cannica de mximo con slo dos variables de decisin y tres restricciones <=.

Figura 2-7. Tablas simplex del ejemplo MAXCAN1 con 3 restricciones tipo <=.

EMPATES EN LOS CRITERIOS DEL SIMPLEX.- Quiz el lector ya pens en la posibilidad de empates
al aplicar los criterios del simplex para el cambio de base. Con el criterio de optimalidad, al elegir
entre coeficientes indicadores empatados en el mismo valor, se tiene prioridad con las
variables de decisin y entre estas, se selecciona la variable entrante a la base en forma arbitraria,
pues con diferencia de ms o menos iteraciones (no es predecible), se llega a los mismos
resultados. En el caso de empate al aplicar el criterio de factibilidad, se presenta la situacin
de degeneracin (solucin bsica no nica), que resulta en el mismo valor para la funcin objetivo
en dos o ms iteraciones, pudiendo llegar al caso extremo de ciclar, vea ejemplo CaVa 27, lo cual
sucede en tan pocas ocasiones, que la teora y reglas para evitarlo, ya no se tratan. La variable
artificial que se expone en los prrafos siguientes, siempre se debe intentar eliminar de la base (al
menos que en degeneracin se anule como bsica); en cuanto al empate entre otras variables se
decide arbitrariamente la variable que debe dejar la base.
Mtodo simplex aplicado en problemas con modelo no cannico.
Si el dedicado lector ya lo pens as, tiene razn, pues la mayora de las programaciones lineales
de los problemas no se sujetan a la forma cannica, pero la exposicin del simplex con mximo, es
ms fcil y tambin ms accesible para el conocimiento del que se inicia. Cuando el modelo de
programacin lineal que se desea resolver, ya sea de mnimo o bien de mximo, tiene cualquier
tipo de restricciones, que incluyan las de tipo (>=) y / o las de (=), en tal caso se requiere la
preparacin del modelo utilizando una base artificial. En esta situacin, se requiere aplicar alguna
de las siguientes variantes del mtodo simplex, pues el que ya se explic en pginas anteriores, no
es suficiente.
2.5. Matriz unitaria "I" de base con variables artificiales.
Cuando el problema de programacin lineal se expresa en la forma cannica de maximizar, las
variables de holgura que se suman en cada restriccin de tipo <= para conseguir la igualdad de la

forma estndar, proporcionan un coeficiente (+1) que es til para formar la matriz unitaria " I "; se
cumple as con la necesidad de la primera solucin bsica factible que requiere el algoritmo
simplex para su inicio.
Pero muchas veces, el modelo de programacin lineal no tiene forma cannica y presenta
restricciones de tipo >= e =, con las cuales no se usan variables de holgura para el propsito de
conseguir la forma estndar. Al restar la supervit -1S se convierte a ecuacin la restriccin tipo
>=; y la restriccin = ya se cumple; pero en ambos casos no se tiene la aportacin del coeficiente +
1.
Los problemas de programacin lineal expresados con restricciones distintas al tipo <= necesitan
un artificio matemtico para conseguir una matriz de base artificial, lo cual es posible sumando
una variable artificial W i de valor no negativo, i=1,2,...,m en cada restriccin i de tipo >= e =, as
se proporciona el coeficiente +1 indispensable para la formacin de la matriz unitaria I que
requiere el algoritmo simplex para ponerlo en marcha.
Una variable artificial no tiene significado fsico y slo se utiliza para completar la primera solucin
bsica que requiere el simplex para iniciarse; pero en contraste, a travs de las etapas de clculo,
debe procurarse que las artificiales salgan pronto de la base, convirtindolas en no bsicas, o bien
que, como variables bsicas valgan cero para poder lograr la solucin ptima.
A continuacin se exponen las variantes del algoritmo simplex que se utilizan en el caso de la
presencia de variables artificiales en el modelo a resolver.
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. Para mximo se utiliza la penalizacin con signo
menos (- M), por otro lado para mnimo se utiliza signo ms (+ M).
Las variables artificiales se usan para la primera solucin bsica del simplex, pero el valor muy
grande del coeficiente M, procura su rpida salida de la base cuando el problema tiene solucin
factible. Aunque algn caso degenerado puede tener una variable artificial en la base con valor
cero; vea ejemplos Artbs0deg3v4r (16), Artabs02f (2), Ciclo deg (27) en programa CAVA
(prximo a liberarse). Por el contrario, si no es posible anular las variables artificiales (W i >0),
significa que no hay solucin factible al problema; vea ejemplo Artinofac en programa CAVA.
El siguiente Ejemplo 2-2 es un problema de PL que requiere variables artificiales para intentar
resolverlo y corresponde al Ejemplo 1-16 utilizado con mtodo grfico, tambin incluidos en el
programa CAVA (prximo a liberarse):
Ejemplo 2-2. Aplica mtodo Simplex Penal, PL en mximo con 3 tipos de restriccin
(FACTIRECTA).

Figura 2-8. Tablas del mtodo simplex penal aplicado al ejemplo FACTIRECTA.

Solucin ptima en vrtice C de la analoga geomtrica en (Figura 1-45): mximo Zc = 14 y el

programa en ltima tabla: X1 = 2, X2 = 4, H1=S2=W2=W3 = 0.
El ejemplo FACTIRECTA mostrado contiene la aplicacin del mtodo simplex penal; como ya se
mencion, hay necesidad de utilizar variables artificiales para resolverlo. Primero se prepara el
problema convirtiendo a igualdades para forma estndar del modelo propuesto, sumando una
variable de holgura H1 en la restriccin (1), despus se resta una variable S2 de supervit en la (2),
la restriccin (3) es de tipo = por lo que se deja como est; se condiciona toda variable X j >= 0 y
con la funcin objetivo original ya se tiene este modelo como estndar. Pero as no se completa la
matriz cuadrada unitaria I que debe ser de orden m = 3 restricciones, pues slo se tiene el vector
unitario de la variable de holgura H1 que s aporta el coeficiente +1, faltando dos vectores
unitarios. Aqu surge la necesidad de utilizar el artificio matemtico ya referido. En las
restricciones (2) y (3) que son de >= e =; se suman variables artificiales W2 y W3, aportando cada
una de ellas el necesario coeficiente +1, con lo que se completa la matriz I mostrada antes de la
tabla simplex, quedando el modelo que se presenta con base artificial. Esta variante del simplex,
incluye a las variables artificiales en la funcin objetivo, pero penalizadas con un coeficiente M,
que representa un valor mayor que cualquier otro coeficiente presente en el modelo; para este
ejemplo se le asigna -M como coeficiente a las variables artificiales W2 y W3, cumpliendo as con
la penalizacin de la funcin objetivo la cual se arregla al formato de las restricciones, restando el
lado derecho a la variable Z, consiguiendo el trmino independiente cero en el lado derecho.
En segundo lugar debe prepararse la tabla simplex con la primera solucin bsica "factible", la
que se consigue con las variables artificiales W2 y W3, procurando su pronta anulacin con los

cambios de la base. Se 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 Z arreglada con trmino independiente; los lugares vacos se llenan con cero.
Aqu anote que la matriz I, no necesariamente se forma con sus vectores unitarios colocados
juntos escalonadamente; pueden quedar intercalados vectores unitarios (por las variables de
holgura y/o artificiales) o no unitarios (por las de supervit); en este ejemplo, hay una
intercalacin de la variable S2 de supervit, lo cual se podra haber evitado permutando las
primeras dos restricciones. En todos los casos se puede buscar arreglar las restricciones en el
orden que convenga para facilitar el anlisis posterior de la solucin tabular. Las variables bsicas
deben colocarse en la columna izquierda ordenadas de tal manera, que coincidan en su rengln
con el coeficiente +1 del vector unitario, en la columna correspondiente a la misma variable.
En prrafos anteriores se menciona, que toda variable bsica debe tener coeficiente indicador
cero en el rengln Z; esto significa que tal variable ya no puede aportar alguna cantidad al valor de
la funcin objetivo; pero las variables artificiales W2 y W3 tienen un coeficiente M en dicho
rengln; lo cual impide que se tenga una solucin bsica "factible" en esta tabla, por lo que se
procede a conseguir los coeficientes cero faltantes en el rengln Z para las variables artificiales.
Esto se logra mediante operaciones fila elementales usadas en el proceso de Gauss-Jordan, lo que
se muestra en las frmulas en el lado izquierdo de la tabla: Para calcular el cero en W2, se
multiplica el rengln W2 por el nmero -M (inverso aditivo de M) y se suma el rengln Z, sea
(RW2)(-M) + RZ = Z', se tiene as cero en la posicin de Z' con W2. Luego se multiplica el rengln
W3 por el nmero -M y se suma el rengln Z', sea (RW3)(-M) + RZ' = Z'', se determinan as los
coeficientes cero necesarios para que las variables W2 y W3 sean bsicas. Ahora s en esta segunda
tabla, se tiene la primera solucin bsica 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 mximo, la observacin de los
indicadores del rengln Z, en esta segunda tabla del Ejemplo 2-2, existe slo un coeficiente
negativo en la variable no bsica de decisin X1, por lo cual se declara variable entrante a la
base
. La aplicacin de la factibilidad resulta al obtener el mnimo cociente, de dividir los
valores actuales de las variables bsicas situados en la columna solucin a la derecha de la tabla,
entre los coeficientes en el mismo rengln i con la columna correspondiente a la variable VE. As:
mnimo (6/1, 0/2, 2/1) = 0, que coincide en el rengln de la variable artificial W 2 que se declara
variable saliente
. En el cruce de la columna X1
y el rengln W2
, se localiza el
coeficiente 2 como pivote P para calcular con Gauss-Jordan la siguiente tabla simplex (tercera) con
la nueva solucin bsica que debe tener a H1, X1 (sustituye a W2) y W3, como base. Se 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 VE que ocupa el lugar de la VS.
En la tercera tabla simplex del ejemplo FACTIRECTA, se repite la aplicacin del criterio de
optimalidad seleccionando entre (-1/2 M - 7/2) y (-1/2 M - 3/2), el coeficiente ms negativo (o lo
equivalente el de mayor valor absoluto) para el objetivo de mximo, entonces se declara a la
variable no bsica X2 como
a la base. Para la factibilidad, vea que el rengln de la variable
bsica X1 queda descartado debido a que 0 / -1/2 no es vlido, en cambio con las otras dos
variables en la base se tiene: Mnimo (6 / 3/2, 2 / 1/2) = 4, existe empate que debe romperse
teniendo en cuenta, la necesidad de procurar una rpida salida de la base de las variables
artificiales, en tal caso se puede elegir a la que ahora, es indeseable variable
bsica W3 como
. En el cruce de columna X2 como VE y rengln W3 como VS, se localiza el
coeficiente pivote 1/2 con el que se inicia el clculo de la siguiente tabla (cuarta) simplex de este
problema ejemplo.

La cuarta tabla simplex comienza por ordenar las tres variables bsicas H1, X1 y la
nueva
X2 que sustituye a la
W3, se contina con el clculo de coeficientes del
rengln RE = RS / P = RS / 1/2 resultando el coeficiente +1 en la posicin de pivote, necesario para
determinar con el Gauss-Jordan el resto de la tabla, que muestra en el lado izquierdo, las frmulas
empleadas de este mtodo.
Esta ltima tabla tiene en el rengln Z, coeficientes indicadores para las variables de valor no
negativo, lo cual significa una solucin ptima pues, adems, todas las variables artificiales ya
salieron de la base.
En la analoga geomtrica de la Figura 1-45se muestra el segmento de recta BC como conjunto
factible y su punto extremo el vrtice C(2,4) con el mximo valor de la funcin Z; pero para el
espacio ampliado que maneja la solucin analtica del simplex, el punto extremo que optimiza
tiene el programa:

Ejemplo 2-3. Aplica mtodo Simplex Penal, PL en mnimo con 3 tipos de restriccin (MINPEN).
Se presenta este nuevo ejemplo de mtodo simplex penal con la solucin de las siguientes tablas,
se deja como ejercicio al estudiante: construir las frmulas para el clculo de los coeficientes de
cada rengln de la tabla con el procedimiento de Gauss-Jordan; 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 caractersticas y el valor de la funcin
objetivo.

Figura 2-9. Tablas del mtodo simplex penal del ejemplo MINPEN.

Ejemplo 2-4. Aplica mtodo Simplex Penal, PL en mximo con una variable libre (MAXPENLI).

En la seccin correspondiente a formas equivalentes del modelo de programacin lineal se trat

el manejo algebraico de una variable libre, haciendo que la misma se iguale a la diferencia de dos
variables no negativas: X1 = X'1 - X''1; X'1 >= 0, X''1 >= 0.

Figura 2-10. Tablas del simplex penal del ejemplo MAXPENLI.

La ltima tabla simplex penal es ptima, pues los indicadores para las variables en rengln Z, no
tienen signo negativo, as se identifica el vrtice que maximiza:
(X'1, X''1, X2, H1, S2, S3, W2, W3 ) = ( 3, 0, 6, 0, 6, 0, 0, 0 ), Z mximo = 33.

La variable X''1 = 0 porque es no bsica; pero X'1 = 3 > 0 = X''1, entonces se asegura un valor
positivo para la original X1 = X'1 - X''1 = 3 - 0 = 3.
Si desea, intente el cambio a objetivo mnimo del mismo ejemplo MAXPENLI, y compruebe que la
solucin simplex, an para toda Xj libre, slo considera puntos vrtice del 1er. cuadrante,
limitndose a toda X j >= 0.
2.5.2. Mtodo Simplex de dos fases.
Este es otra variante del simplex que se aplica para resolver modelos de PL que requieren una
matriz unitaria de base artificial para poder iniciar el algoritmo. El nombre indica que consiste de
dos fases: En la 1, se reducen las artificiales Wi a cero y en tal caso se optimiza en la 2, o bien, se
concluye que no hay solucin factible para el problema porque Wi es diferente de cero en fase 1, y
por lo tanto no es necesaria la fase2.
Primera fase.- En este mtodo siempre se minimiza una funcin objetivo constituida por la suma
de las variables artificiales utilizadas para completar la matriz I:
Las variables artificiales son tiles para formar la primera base del simplex, pero si se logra que
toda Wi=0, entonces Z=0 representa lo deseable u ptimo, pues lo contrario significa un problema
que no tiene solucin factible, en tal caso no aplica la segunda fase. Si todo va bien, las variables
artificiales Wi deben salir de la base, excepto en algn caso degenerado en que Wi=cero, es
bsica, vea en el programa CaVa (prximo a liberarse) los ejemplos Artbs0deg3v4r (16),
Artabs02f (2), Ciclodeg (27). La solucin ptima de fase 1 se identifica, con variables artificiales
cero que implica Z=0 para la funcin.
Segunda fase.- Se contina con sta slo si ocurre la optimizacin del problema en la fase
anterior. Para ello sirve la tabla simplex ptima de la primera, que se ajusta eliminando las
columnas de las variables artificiales Wi; adems, el rengln Z se cambia a los coeficientes de la
funcin Z original. El procedimiento contina con el arreglo de la tabla simplex inicial para cumplir
los requisitos necesarios de una solucin bsica factible; es decir, coeficientes cero para las
variables bsicas en el rengln Z de la tabla. A veces esto es suficiente para lograr el ptimo del
problema; si no es as, se aplican los criterios del simplex para el objetivo original del problema. En
resumen, la fase1 intenta lograr un punto extremo factible; la fase 2, el punto extremo ptimo:

Ejemplo 2-5. Aplica mtodo Simplex Dos Fases, PL mximo y mnimo, 3 tipos de restriccin (MAXMIN2F1).

En este ejemplo se aprovecha la circunstancia de que en el mtodo simplex de dos fases, la

primera fase es igual con ambos objetivos; por lo tanto, slo para mayor conocimiento, la tabla
ptima de la 2a fase que contiene el valor mximo de la funcin, se utiliza para obtener el mnimo.
Con el objetivo de mximo en este ejemplo, se esperan los mismos resultados del primer ejemplo
FACTIRECTA) de simplex penal pues se trata el problema otra vez, con el propsito de que el
estudiante tenga la misma referencia de comparacin del penal y el de 2 fases.

Figura 2-11. Tablas simplex 1a y 2a fase del ejemplo MAXMIN2F1.

Este ejemplo MAXMIN2F de aplicacin del mtodo simplex de dos fases, empieza el proceso de
resolucin convirtiendo el modelo original propuesto a su forma estndar y luego para conseguir
una base artificial, al igual que se explic para el ejemplo FACTIRECTA del simplex penal, se
obtiene la misma base artificial; pero la diferencia empieza al tratar las variables artificiales como
sigue:
Primera fase.- Se construye una funcin objetivo Z con la suma de las variables artificiales y se
arregla al formato de restriccin, tal como se muestra antes de las tablas de la primera fase. Se

construye la tabla a partir de las variables bsicas: la holgura H1 y las artificiales W2 y W3,
ordenadas de arriba hacia abajo en la base; el rengln Z, se llena conforme a los coeficientes de la
ecuacin Z - W2 - W3 = 0, escribiendo ceros en los espacios vacos de las variables Xj, las holguras
Hi y las supervit Si; en el mismo rengln Z se ubican los coeficientes -1, caracterstico de las
variables artificiales con el mtodo de dos fases. El resto de los coeficientes de esta primera tabla,
corresponde a la forma estndar ya obtenida. Anote la diferencia respecto al simplex penal:
los coeficientes M de las variables artificiales en rengln Z no se usan, pero s coeficientes -1 en la
primera fase; adems, las artificiales deben aportar el vector columna unitario para la base I;
aunque no cumplen para variable bsica, pues el -1 en el rengln Z debe anularse para el inicio.
Con este propsito se hacen operaciones fila de Gauss-Jordan para conseguir ceros que sustituyan
los coeficientes mencionados. En el lado izquierdo de la primera tabla se escriben las frmulas que
se usan para el clculo de los renglones Z' y Z''; en el ltimo se pueden ver los ceros sustituyendo
los -1. Con el clculo del rengln Z'' se completa la primera solucin bsica de esta primera fase y
se procede a la aplicacin de los criterios del simplex con el objetivo de mnimo; para optimalidad,
se observa que X1 es la nica variable no bsica con coeficiente + en el rengln Z, (recuerde que
con objetivo de mnimo, debe elegirse para VE la que tenga el coeficiente ms positivo), entonces
se declara a X1 como VE a la base. En factibilidad, segn los cocientes a la derecha de la tabla, se
identifica a la variable artificial W2 como saliente (VS) de la base, le toca actuar como pivote al
coeficiente 2 colocado en el cruce de la columna X1 y el rengln W2, recin elegidos con los dos
criterios. Entonces se procede al cambio de base calculando la segunda tabla de la primera fase,
empezando por establecer a las variables bsicas: H1 que se mantiene dentro, la nueva X1 que se
hace bsica, sustituye a W2 que se convierte en no bsica, W3 que tambin permanece en la base.
Se comienza el clculo de la segunda tabla con el rengln RE que se fija como pivote para calcular
el resto de los coeficientes mediante operaciones fila elementales de Gauss-Jordan; en el lado
izquierdo de la tabla se anotan, como gua de clculo, las frmulas para cada fila.
Los coeficientes indicadores en la fila Z, muestran todava nmeros positivos para las variables no
bsicas X2 y S2, lo cual significa que son candidatas para entrar a la base y la necesidad de
continuar la aplicacin del algoritmo; adems, an existe una variable artificial dentro de la base.
Los coeficientes de X2 y S2 estn empatados con valor de 1/2, de acuerdo a la recomendacin dada
antes, de preferir como entrante variables de decisin, as X2 = VE. Aplicando la factibilidad,
tambin se tiene un empate en los cocientes que se presentan a la derecha de la tabla; aqu se
elige a la variable W3 como saliente VS, pues ya se mencion en prrafo anterior, la procuracin
del mtodo para que las artificiales salgan lo ms pronto posible de la base. Con la definicin del
pivote 1/2 y las frmulas a la izquierda, se tiene lo suficiente para calcular la siguiente solucin en
la ltima tabla de la primera fase la cual muestra el valor cero en la columna solucin, esto
significa, que al sacar todas las variables artificiales de la base se anulan y con ello Z = 0. El
resultado confirma que el problema s tiene solucin factible y procede la segunda fase.
Segunda fase.- La ltima tabla de la primera fase sirve para iniciar la primera tabla simplex de la
segunda fase, pero se eliminan las columnas de las variables artificiales W2 y W3; tambin se
eliminan los coeficientes del rengln Z y se sustituyen con los coeficientes de la funcin objetivo
original:
La primera tabla muestra el arreglo de coeficientes mencionado, pero se observa que las variables
bsicas H1, X1, X2, as ordenadas en la columna base, cumplen el requisito de tener su vector
columna unitario para formar la base I, pero no cumplen con el coeficiente cero en el rengln Z
para una bsica, porque se acaban de escribir los coeficientes de la ecuacin original. Con el
propsito de corregir el planteamiento tabular de esta primera tabla se hacen las operaciones fila

necesarias, las que se definen segn las frmulas construidas a la izquierda de la segunda tabla de
esta fase, resultando un rengln Z' para conseguir el coeficiente cero en la variable X1 y un rengln
Z'' para conseguir el cero en la variable X2. Como este rengln Z'' muestra coeficientes indicadores
no negativos, el criterio de optimalidad para mximo que es el objetivo original, ya no se puede
aplicar para elegir variable entrante, los indicadores cero para las variables de decisin X1 y X2,
significan que tales variables ya no pueden aportar ms al valor de Z. En consecuencia, sin
necesidad de aplicar los criterios del simplex en esta segunda fase, ya se tiene la solucin ptima
en el punto extremo:

Este Ejemplo 2-5 ya conocido, con el Ejemplo 2-2 del simplex penal y tambin con el Ejemplo 116 de mtodo grfico, se puede aprovechar para comprobar el potencial del mtodo de dos fases,
pues la tabla ptima de la segunda fase mostrando la solucin de mximo, tambin sirve para el
clculo de la solucin mnima. Los indicadores del rengln Z slo tienen coeficientes cero y uno
positivo (2), ste ltimo coeficiente muestra que es candidata a entrar a la base, la variable no
bsica S2 que se declara VE; con el criterio de factibilidad resulta que debe salir de la base la
variable X2, que se define VS; con el coeficiente pivote 1 se procede al clculo de la solucin de la
ltima tabla que muestra la solucin ptima mnima para el mismo problema con el punto
extremo:
Que coincide en el vrtice B (2, 0) de la analoga geomtrica de la Figura 1-45.
Ejemplo 2-6. Aplica mtodo Simplex Dos Fases, PL mnimo y mximo, 3 tipos de restriccin
(MINMAX2F).
Se presenta este nuevo ejemplo con el mtodo simplex de dos fases y la solucin contenida en las
tablas. Se deja como ejercicio al estudiante: construir las frmulas para el clculo de los
coeficientes de cada rengln de la tabla con el procedimiento de Gauss-Jordan; 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 caractersticas y la evaluacin
de la funcin objetivo.

Figura 2-12. Tablas simplex de la 1 y 2 fase para mnimo del ejemplo MINMAX2F.

En el rengln Z de la ltima tabla simplex de la segunda fase, ya no hay coeficientes indicadores

positivos para el objetivo de mnimo, por lo tanto la solucin ptima es:
Z mnimo = 9, X1 = 1, X2 = 3, H1 = 2, H4 = 8
Como ya se mencion, el mtodo simplex de dos fases se presta para la obtencin de los objetivos
mnimo y mximo (esto debe tomarse slo en sentido terico con fines de enseanza, pues para la
mayora de los problemas reales, sera absurdo y conflictivo). Con tal propsito, en la misma tabla
ptima de solucin mnima, se aplican los criterios para el cambio de base hacia una solucin
mxima como se aprecia en la tabla de la Figura 2-13:

Figura 2-13. Tabla simplex de la 2 fase para mximo del ejemplo MINMAX2F.

Ejemplo 2-7. Aplica mtodo Simplex Dos Fases, PL mnimo y mximo (MAXMIN2F2).

Figura 2-14. Tabla simplex inicial para 1a fase del ejemplo MAXMIN2F2.

Para el lector que as lo prefiera, se presenta ahora la aplicacin del simplex dos fases mostrando
en tablas separadas el progreso del clculo. Como las variables W2 y W3 son bsicas, es necesario
calcularles el coeficiente de valor cero en el rengln Z con las operaciones fila: RW2(1)+RZ;
RW3(1)+RZ.

Figura 2-15. Tablas simplex de 1a fase del ejemplo MAXMIN2F2.

2 fase.- En la tabla ptima de primera fase se eliminan las columnas W2 y W3; el rengln Z se
sustituye con los coeficientes de la funcin objetivo original. La base contiene a X1 y X2, pero sus
coeficientes indicadores Z1-C1=-3 y Z2-C2=-2 en el nuevo rengln Z deben calcularse para el valor
cero.

Figura 2-16. Simplex inicial 2a fase, eliminar columna Wi sustituir coeficientes en fila Z en ejemplo
MAXMIN2F2.

Se procede con operaciones fila para conseguir que los coeficientes de X1 y X2 en el rengln Z se
anulen: Z'=RX1(3)+RZ; Z''= RX2(2)+ RZ'; resulta la tabla siguiente con el coeficiente indicador

negativo (-7) en S3 de Z. En 2 fase es aplicable el objetivo original de mximo, por lo que S3 debe ir
a la base (VE) para sustituir a H1 (VS), la nica variable bsica que puede dejar su lugar.

Figura 2-17. Tablas Simplex 2a fase del ejemplo MAXMIN2F2.

Se aprovecha la oportunidad con la flexibilidad del simplex de dos fases, para determinar tambin
la solucin mnima del mismo problema.
Entonces con el objetivo de mnimo, se declara VE a la base, la variable no bsica H1 y la
bsica S3 sale, para dejarle ese lugar.

Figura 2-18. Tabla simplex ptima de 2 fase, para mnimo, ejemplo MAXMIN2F2.

2.6. Casos especiales en la tabla Simplex.

Se pueden identificar los siguientes casos especiales en la tabla simplex.

2.6.1. Solucin degenerada

Se identifica en la tabla simplex porque al menos una variable bsica tiene valor cero en la
columna de solucin. Este caso se presenta cuando se valora una solucin bsica no nica, la cual
se tiene con al menos una variable bsica de valor cero en el sistema de m restricciones, alguna de
ellas debe ser restriccin redundante que contiene slo un punto vrtice del conjunto factible.
Ejemplos de caso degenerado, sea tabla ptima o no, son: 2, 16, 27, Ejemplo 1-14, Ejemplo 22, Ejemplo 2-3, Ejemplo 2-5, Ejemplo 2-7 y algo ms en el programa CAVA (prximo a liberarse).
Enseguida otro PL con degeneracin transitoria en tabla intermedia.
Ejemplo 2-8. Caso de solucin degenerada transitoria en tabla Simplex y su grfico (MAXDETRA).

Figura 2-19. Grfico solucin degenerada en vrtice F (2, 0) no nico, ejemplo MAXDETRA.

Figura 2-20. Tablas simplex que muestran el caso especial solucin degenerada transitoria del ejemplo
MAXDETRA.

2.6.2. Solucin no acotada.

Se identifica en la tabla simplex porque en la columna de la variable entrante (VE), slo
hay coeficientes no positivos lo cual hace imposible la aplicacin del criterio de factibilidad para la
variable saliente de la base. El caso especial no acotado es porque el conjunto factible de
solucin es abierto, las variables pueden crecer sin lmite (problema de mximo).
Ejemplo 2-9. Caso de solucin no acotada en tabla Simplex y su grfico (MAXAB).

Figura 2-21. Tablas Simplex ejemplo MAXAB.

Solucin no acotada, no hay valor positivo en columna variable entrante VE.

Las tablas simplex valoran los vrtices O, A, C, de la analoga geomtrica siguiente:

Figura 2-22. Grfico solucin no acotada del ejemplo MAXAB.

Ejemplo 2-10. Caso de solucin ptima con espacio factible abierto, en Simplex y en grfico
(MAXABOP).
Con el PL de:

Figura 2-23. Solucin ptima simplex en un espacio no acotado, ejemplo MAXABOP.

Figura 2-24. Espacio factible abierto, con solucin ptima, ejemplo MAXABOP.

2.6.3. Soluciones ptimas alternas o mltiples.

Se identifican en la tabla simplex porque alguna(s) variable(s) no bsica(s) presenta(n) el valor
cero como coeficiente en el rengln Z de la tabla. Esto se debe a que la funcin objetivo es
paralela a una de las restricciones que limitan el conjunto de soluciones factibles. En tal caso, se
pueden calcular las soluciones ptimas alternas, metiendo a la base, la variable no bsica, con cero
de coeficiente en el rengln Z de la tabla; tambin se pueden obtener mltiples soluciones
ptimas, calculando puntos P como combinacin convexa lineal de dos de las soluciones bsicas
que optimizan con el simplex:
Ejemplo 2-11. Caso de soluciones ptimas alternas y mltiples (MAXOPAL).

Figura 2-25. Soluciones ptimas alternas simplex en ejemplo MAXOPAL.

Figura 2-26. Soluciones ptimas alternas en segmento AC del conjunto factible, ejemplo MAXOPAL.

Se puede ciclar con cambios de base entre estas dos soluciones ptimas alternas.
Tambin mltiples puntos P contenidos en el segmento recto AC, optimizan la funcin Z. Por
ejemplo: Obtenga un punto P que sea combinacin convexa lineal (CCL) entre los puntos A (0, 3) y
C (7/3, 7/3). Despus calcule Z en ese punto P.

2.6.4. Problema sin solucin factible.

Se identifica en la tabla simplex porque al menos una variable artificial no es posible anularla o
sacarla de la base a travs de las iteraciones de clculo. Este caso se presenta si no hay espacio
factible de soluciones para el sistema dado.

Ejemplo 2-12. Caso sin solucin factible (MAXNOFAC).

Figura 2-27. Grfico problema sin solucin factible en ejemplo MAXNOFAC.

Para resolver con simplex se pasa a forma estndar:

El rengln Z no tiene coeficientes negativos para elegir variable de entrada a la base y hacer el
cambio en ella, as la artificial W2=4 permanece bsica. El simplex valora el vrtice A(0, 2), pero no
hay regin factible en el sistema de restricciones.

Figura 2-28. Tablas simplex, variable artificial W2 en base que no se anula en el ejemplo MAXNOFAC.

2.7. Teora de la dualidad.

El desarrollo de esta teora de la dualidad es debido al inters que existe en la interpretacin
econmica del problema que se estudia. Se inicia bajo la consideracin de que todo problema de
programacin lineal tiene un problema asociado; llamndose problema primal al conocido
y problema dual al asociado. Ambos problemas estn muy relacionados, de tal manera que la
solucin ptima de cualquiera de ellos proporciona la solucin ptima del otro.
El problema dual de cualquier problema primal se puede obtener con manejo algebraico,
convirtiendo primero a las formas cannicas ya conocidas y despus a la correspondiente al dual,
o bien en forma directa, a partir de reglas de conversin al dual.
2.7.1. Problema dual obtenido en la forma cannica.

Figura 2-29. Formas cannicas, primal y dual.

En donde:
C: es un vector rengln de coeficientes de la funcin objetivo primal.
b: es un vector columna de trminos independientes de restricciones del primal.
A: es una matriz de coeficientes tecnolgicos de restricciones del primal.
X: es un vector columna de variables del primal.
T: es la transpuesta del vector o matriz.
Y: es un vector columna de variables duales.
Con excepcin de X e Y, los vectores y matrices en ambos problemas son los mismos, pero debe
cuidarse el orden del arreglo vectorial atendiendo la transposicin T indicada. El siguiente ejemplo
primal en forma cannica de mximo, se maneja matricialmente para obtener el problema dual,
que debe coincidir con la forma cannica dada para el dual.
Al revisar las formas cannicas se observa: El producto bT Y requiere vectores conformables, as a
cada restriccin primal corresponde una variable dual. Por lo mismo, debido a CX, a cada variable
primal le corresponde una restriccin dual.
Ejemplo 2-13. Dual asociado a un PL primal en forma cannica de mximo (MAXCAN1).

Para el dual, los coeficientes del ejemplo se arreglan en sus vectores como sigue:

Ejemplo 2-14. Dual asociado a un PL primal en forma cannica de mnimo (MINCAN1).

Ejemplo 2-15. Dual asociado a un PL primal que no tiene forma cannica (MINDULI).
Primero se convierte algebraicamente a la forma cannica el problema primal.

2.7.2. Problema dual directo.

El problema dual tambin se puede obtener directamente sin necesidad de recurrir a las formas
cannicas, las cuales son muy tiles para aprender el orden matricial en la conversin del primal al
dual.

Figura 2-30. Tabla con reglas de correspondencia para obtener el dual directo del primal.

Las caractersticas del problema primal se identifican segn el objetivo mximo o mnimo, en
columna izquierda o derecha respectivamente, de la tabla; las caractersticas del problema dual
se leen en la otra columna.
Ejemplo 2-16. Dual directo de un problema primal no cannico de objetivo mnimo (MINDULI2).

El primal del Ejemplo 2-16 es de mnimo, entonces se coloca en columna derecha para identificar
la condicin de sus variables y tambin el tipo de restricciones. En el mismo rengln, pero en la
otra columna, lea lo que corresponde al dual.
Dual Directo

Ejemplo 2-17. Dual forma cannica y directo de un PL primal no cannico (MAXDULI).

2.7.3. Significado de las variables duales.

La interpretacin econmica del problema en estudio, es posible a partir de la conversin del

problema primal a su correspondiente dual asociado, con el anlisis de las unidades dimensionales
del primero. Esta interpretacin no es nica y es segn el inters de quien lo estudia. Considere
el Ejemplo 1-8 de produccin de fertilizantes visto en formulacin de modelos de este curso.
Ejemplo 2-18. Significado de las variables duales en ejemplo FERTILIZ
Primera parte.- Definicin de variables:
Segunda parte.- Funcin objetivo o econmica:
Tercera parte.- Sujeta a las restricciones:

Cuarta parte.- Condiciones de signo para variables:

Problema dual.
Primera parte.- Definicin de variables duales.

Segunda parte.- Funcin econmica

Tercera parte.- Sujeta a las restricciones:

Cuarta parte.- Condiciones de signo:

La funcin objetivo dual significa la cantidad mnima de dinero que se debe recuperar de la
materia prima, en caso de tener que parar la produccin de fertilizantes; cada trmino de dicha
funcin representa la contribucin de los componentes N, P, K, en la venta total. Cada trmino
de las restricciones duales significa la contribucin ($) de los componentes qumicos i, a la
utilidad de una tonelada de fertilizante j.
Los componentes qumicos tienen valor para la empresa debido a que representan la oportunidad
de tener utilidad. Para conseguirlo debe buscar la combinacin ms redituable de manera que el
valor marginal de unidades adicionales de recurso sea mnimo.
Por esto, tambin se puede interpretar la funcin objetivo dual, como representacin del valor
mnimo de los recursos N, P, K, utilizados en la produccin de fertilizante. En cuanto a las
restricciones, cada una de ellas se relaciona con la utilidad del fertilizante j (j = 1,2 ) en unidades
monetarias $ / tonelada de i ( i = N, P, K ). La desigualdad >= utilidad $ / tonelada de fertilizante j,
verifica que el valor de recursos consumidos en una tonelada de j, sea por lo menos igual a la
utilidad del mismo.
2.7.4. Propiedades primal-dual.
Dualidad dbil.- En el problema de PL, cualquier par X e Y de soluciones factibles primal-dual,
cumple que:
Dualidad fuerte.- Al resolver el problema de PL en cada iteracin del simplex se tiene un par
especfico de soluciones en ambos problemas primal-dual, de modo que, la del primal es
factible pero la del dual es no factible, con excepcin de la ltima iteracin, en la que la solucin
ptima primal X* y la solucin ptima dual Y* resulta en:
Si X no es ptima en el problema primal, entonces Y no es factible en el dual.
Soluciones complementarias.- Al resolver un problema de PL, en cada iteracin del simplex se
identifica, una solucin bsica factible primal X y una solucin complementaria Y para el dual,
conocida como "Variables Duales" o "Precios Sombra" o "Multiplicadores del Simplex", ubicada en
rengln Z de la tabla como coeficientes de las variables que forman la primera solucin bsica,
(holguras y / o artificiales).
Soluciones complementarias ptimas.- Con la solucin ptima, al final del simplex se tiene, la
solucin primal X* y una ptima complementaria dual Y*, en el rengln Z, como coeficientes de las
variables de holgura y/o artificiales que forman la primera solucin bsica, ("Precios Sombra" o
"Variables Duales" o "Multiplicadores del Simplex").
Propiedad de simetra.- La denominacin de primal es para el primer problema, pues el dual de un
problema dual debe resultar en el mismo primal por las relaciones simtricas entre ellos. El

estudiante puede comprobar esta y otras propiedades analizando las tablas del simplex aplicado
al Ejemplo 2-1 como primal y luego a su problema dual.
Ejemplo 2-19. Aplica propiedades primal-dual al problema MAXCAN1.

Las tablas de la Figura 2-31siguiente son para aclarar las propiedades primal-dual ya expuestas,
vea tablas simplex del Ejemplo 2-1 (Figura 2-7). En la segunda tabla simplex, X =(X1, X2)T =(0, 6)T, es
factible en el primal con Z=CX=(3,5)(0,6)T=30; pero la solucin dual dada por los precios sombra: Y
= (0, 5/2, 0) viola la restriccin Y1 + 3Y3 >=3; 1(0)+3(0) >= 3, por lo tanto, no es factible, (vea la
propiedad de soluciones complementarias). En cambio, en la tercera tabla simplex del mismo
ejemplo, se tiene X*=(X1,X2)T=(2, 6)T, es factible y ptimo en primal con Z=CX=(3,5)(2,6)T= 36;
adems, la solucin complementaria en Z, los precios sombra Y*=(Y1,Y2,Y3)=(0,3/2,1) verifican las
restricciones duales: Y1+3Y3 =1(0)+3(1) >=3, 2Y2+2Y3 =2(3/2)+2(1) >=5, por lo tanto el dual es
factible y ptimo.

Figura 2-31. Simplex muestra factibilidad primal e infactibilidad dual en MAXCAN1.

Ahora se resuelve el problema dual correspondiente al primal ejemplo MAXCAN1:

El dual del primal es:

Figura 2-32. Aplica mtodo simplex-penal al problema dual, ejemplo MAXCAN1.

El simplex en ambos problemas primal y dual, contiene dos programas: por un lado el primal X* y
su complementario dual Y*; por otro lado, en forma relativa, el dual Y* y el
complementario primal X*. Esto se aclara en resumen tabular:

Figura 2-33. Resumen tabular en ejemplo MAXCAN1.

Nota: El coeficiente M con su signo, debe ignorarse porque es artificial.

Definicin de precios sombra: Es el incremento (decremento) del valor de la funcin objetivo,
debido al incremento (decremento) unitario del i - simo recurso.
Esta definicin tambin es orientadora para la decisin de cul recurso conviene aumentar o
disminuir cuando se presenta esta clase de problema, el cual se ampla en el prximo tema de
anlisis de sensibilidad.
Indicadores del simplex.- En el rengln Z de las tablas simplex del Ejemplo 2-19, se tiene la
solucin completa del otro problema, pues adems del valor de las variables duales (precios
sombra) Y1, Y2, Y3, en uno y X1 y X2 en el otro, se tienen los coeficientes Zj - Cj que representan los
valores de las variables de supervit para las restricciones funcionales del problema dual.
TEOREMA DE LA HOLGURA COMPLEMENTARIA.- En cualquier solucin ptima, si
alguna restriccin se cumple en desigualdad, entonces la variable dual asociada es cero. Si una
variable dual de cualquier problema es diferente de cero, la restriccin dual asociada se cumple
estrictamente con (=). En el Ejemplo 2-19, la restriccin 1 primal se cumple en desigualdad, pues
tiene Y1=0; pero las restricciones 2 y 3, se cumplen en igualdad y, por tanto, Y2 = 3/2 y Y3 = 1.
Ejemplo 2-20. Interpretacin geomtrica del TEOREMA DE DUALIDAD. Solucin ptima
(MAXTEDU1).
Teorema de dualidad.- a) Si el problema primal tiene solucin factible acotada y por lo tanto
ptima, entonces el problema dual tiene solucin ptima, de valor igual al primal, si sta no es
degenerada. (Dualidad dbil, fuerte y complementaria).

Figura 2-34. Grfico del problema primal del ejemplo MAXTEDU1.

Figura 2-35. Grfico del problema dual del ejemplo MAXTEDU1.

Ejemplo 2-21. Interpretacin geomtrica del TEOREMA DE DUALIDAD. Solucin factible no

acotada (MAXTEDU2).
Teorema de dualidad.- b) Si el problema primal tiene solucin factible no acotada (no hay
solucin ptima), entonces el problema dual no tiene solucin factible.

Figura 2-36. Teorema de dualidad. Solucin factible no acotada, problema primal del ejemplo MAXTEDU2.

Figura 2-37. Teorema de dualidad. Solucin no factible, problema dual del ejemplo MAXTEDU2.

Ejemplo 2-22. Interpretacin geomtrica del TEOREMA DE DUALIDAD. Sin solucin factible
(MAXMINTEDU).
Teorema de dualidad.- c) Si el problema primal no tiene solucin factible, entonces el problema
dual no es factible, o bien, c') la funcin objetivo no est acotada.

Figura 2-38. Teorema de dualidad. No hay solucin factible problema primal para mximo, ejemplo
MAXMINTEDU.

Figura 2-39. Teorema de dualidad. No hay solucin factible problema dual para mnimo, ejemplo
MAXMINTEDU.

Figura 2-40. Teorema de dualidad. No hay solucin factible problema primal para mnimo, ejemplo
MAXMINTEDU.

Figura 2-41. Teorema de dualidad. Solucin no acotada del problema dual para mximo, ejemplo
MAXMINTEDU.

2.8. Ejercicios, actividades de aprendizaje y autoevaluaciones correspondientes al captulo

En las siguientes subsecciones encontrar una serie de ejercicios que ayudarn a la total
comprensin de los temas tratados en el presente captulo. Asimismo, los ejercicios marcados con
*AUTOEVAL* son de auto evaluacin, el peso de los incisos correspondientes a cada uno de ellos
podrn ser consultados en la seccin de respuestas. Se sugiere resolverlos, y una vez terminados,
revisar su solucin y calcular la calificacin correspondiente y as evaluar el entendimiento del
mismo.
Se recomienda aplicar los ejercicios aqu planteados a casos prcticos de la vida diaria como parte
de las actividades de aprendizaje del presente material.
2.8.1. Formas cannicas y estndar *AUTOEVAL*.
Obtenga las formas cannica y estndar del modelo de PL:

B.2.1. Formas cannicas y estndar.

2.8.2. Mtodo simplex a un modelo cannico de PL *AUTOEVAL*.

Resuelva con el mtodo simplex el siguiente modelo de PL:

B.2.2. Mtodo simplex a un modelo cannico de PL.

2.8.3. Mtodo simplex a un modelo cannico de PL.

Resuelva con el mtodo simplex el siguiente modelo de PL:

B.2.3. Mtodo simplex a un modelo cannico de PL.

2.8.4. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

Resuelva con variantes del mtodo simplex el modelo de PL:

B.2.4. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

2.8.5. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

Resuelva con variantes del mtodo simplex el modelo de PL:

B.2.5. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

2.8.6. Mtodo simplex penal (2 fases) a un modelo no cannico de PL *AUTOEVAL*.

Resuelva con variantes del mtodo simplex el modelo de PL:

B.2.6. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

2.8.7. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

Resuelva con variantes del mtodo simplex el modelo de PL:

B.2.7. Mtodo simplex penal (2 fases) a un modelo no cannico de PL.

2.8.8. Aplicacin simplex con programa CAVA u otro software a ejercicios del captulo I.
Resuelva con el programa CaVa o algn software del mtodo simplex, los ejercicios del captulo 1:
1.1, 1.2,.....,1.11.
B.2.8. Aplicacin simplex con programa CAVA u otro software a ejercicios del captulo I.

2.8.9. Identifique algn caso especial en tabla simplex.

Resuelva e identifique algn caso especial en tabla simplex:

B.2.9. Identifique a algun caso especial en tabla simplex.

2.8.10. Identifique algn caso especial en tabla simplex.

Resuelva e identifique algn caso especial en tabla simplex:

B.2.10. Identifique a algun caso especial en tabla simplex.

2.8.11. Identifique algn caso especial en tabla simplex.

Resuelva e identifique algn caso especial en tabla simplex:

B.2.11. Identifique a algn caso especial en tabla simplex.

2.8.12. Identifique algn caso especial en tabla simplex *AUTOEVAL*.

Resuelva e identifique algn caso especial en tabla simplex:

B.2.12. Identifique a algn caso especial en tabla simplex.

2.8.13. Identifique algn caso especial en tabla simplex.

Resuelva e identifique algn caso especial en tabla simplex:

B.2.13. Identifique a algn caso especial en tabla simplex.

2.8.14. Problema dual asociado al modelo PL primal *AUTOEVAL*.

Obtenga el dual asociado al siguiente modelo de PL primal:

B.2.14. Problema dual asociado al modelo PL primal.

2.8.15. Problema dual asociado al modelo PL primal.

Obtenga el dual asociado al siguiente modelo de PL primal:

B.2.15. Problema dual asociado al modelo PL primal.

2.8.16. Problema dual asociado al modelo PL primal.

Obtenga el dual asociado al siguiente modelo de PL primal:

B.2.16. Problema dual asociado al modelo PL primal.

2.8.17. Conceptos de PL con opciones de aciertos *AUTOEVAL*.

Vea las opciones de aciertos para los siguientes conceptos. Anote en parntesis () el nmero de
concepto que corresponda:
(1)simplex dos fases, (2)problema dual, (3)variable entrante, (4)mtodo simplex (5)variable
holgura, (6)ptimas mltiples, (7)variable artificial, (8)simplex penal, (9)no nica, (10)solucin
bsica, (11)solucin degenerada, (12)variable saliente
(__) El algoritmo busca optimizar, conserva la factibilidad en el cambio de base.
(__) Toda combinacin lineal convexa entre dos puntos extremos ptimos.
(__) La funcin objetivo y alguna restriccin tienen la misma pendiente.
(__) Elimina las soluciones bsicas no factibles.
(__) Alguna(s) variable(s) del vector solucin es (son) nula(s).
(__) Una regla es que a toda restriccin le corresponde una variable asociada.
(__) Necesario cuando se tiene base artificial.
(__) Reduce de un nmero infinito a uno finito las soluciones a explorar.
(__) Si el sistema de desigualdades e igualdades es redundante.
(__) Se usa el coeficiente -M para mximo y +M para mnimo.
(__) Utilizadas en restricciones ( >=) e ( = ).
(__) Elige la mejor direccin para converger al ptimo.
(__) En la primera parte se determina si el problema tiene solucin factible.
(__) El significado de sus variables es til en el anlisis econmico del problema.
(__) Incrementa su valor desde cero hasta un valor positivo.
(__) Se identifica el caso, pero el simplex slo maneja las soluciones extremas.
(__) Necesarias para convertir el sistema de desigualdades a igualdades.
(__) Exclusivamente soluciones de esta clase maneja el simplex.
Nota: Un (__) puede tener ms de un nmero y stos pueden repetirse en otros.

B.2.17. Conceptos de PL con opciones de aciertos.

Vea las opciones de aciertos para los siguientes conceptos. Anote en parntesis () el nmero de
concepto que corresponda:
(1)simplex dos fases, (2)problema dual, (3)variable entrante, (4)mtodo simplex (5)variable
holgura, (6)ptimas mltiples, (7)variable artificial, (8)simplex penal, (9)no nica, (10)solucin
bsica, (11)solucin degenerada, (12)variable saliente
(4) El algoritmo busca optimizar, conserva la factibilidad en el cambio de base.
(6) Toda combinacin lineal convexa entre dos puntos extremos ptimos.
(6) La funcin objetivo y alguna restriccin tienen la misma pendiente.
(1,4,8) Elimina las soluciones bsicas no factibles.
(9,11) Alguna(s) variable(s) del vector solucin es (son) nula(s).
(2) Una regla es que a toda restriccin le corresponde una variable asociada.
(1,7,8) Necesario cuando se tiene base artificial.
(1,4,8) Reduce de un nmero infinito a uno finito las soluciones a explorar.
(9,11) Si el sistema de desigualdades e igualdades es redundante.
(8) Se usa el coeficiente -M para mximo y +M para mnimo.
(7) Utilizadas en restricciones ( >=) e ( = ).
(1,3,4,8,12) Elige la mejor direccin para converger al ptimo.
(1) En la primera parte se determina si el problema tiene solucin factible.
(2) El significado de sus variables es til en el anlisis econmico del problema.
(3) Incrementa su valor desde cero hasta un valor positivo.
(6) Se identifica el caso, pero el simplex slo maneja las soluciones extremas.
(5) Necesarias para convertir el sistema de desigualdades a igualdades.
(10) Exclusivamente soluciones de esta clase maneja el simplex.
2.9. Referencias bibliogrficas
DAN63.- Dantzig George B.
Linear Programming and Extensions. Princenton University Press. Princenton N.J. 1963.
EPE92.- Eppen G. - Gould F. - Schmidt Ch.
Mtodos Cuantitativos para Administracin. Prentice Hall. 1992
GAS74.- Gass Saul I.
Linear Programming. Methods and Applications. McGraw Hill, New York.1974
GAS81.- Gass Saul I.
Programacin lineal.- Limusa 1 Edicin 1981
HIL95.- Hillier-Lieberman.
Introduccin a la Investigacin de Operaciones.-McGraw-Hill.- 6a.edicin.- 1995.
LUE84.- Luenberger D.
Introduction to Linear and No Linear Programming. 2d. edition.1984
SAT59.- Saaty Thomas.
Mathematical Methods of Operations Research, Mc Graw Hill Book Company, New York,
1959
WAG75.- Wagner H.
Principles of Operation Research. 2d. edition. Englewood Cliffs. N. J. Prentice Hall. 1975.
WIN94.- Winston Wayne.
Investigacin de Operaciones. Aplicaciones y Algoritmos.- Grupo Editorial Iberoamrica.2 Edicin.-1994.