Introducci

on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar

Introduccion al Metodo Simplex

Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

euresti@itesm.mx

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia

Matematicas

Adyacencia
Definici
on
Ejemplo 1

Simplex

Introduccion

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica

En esta lectura daremos una introducci

on al metodo Simplex
desarrollado por George Bernard Dantzig (8 de noviembre de
1914 - 13 de mayo de 2005) en 1947. Este metodo se basa
en la conversion del problema con restricciones con
desigualdades en un problema cuyas restricciones son
ecuaciones lineales. Es un metodo matricial.

Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex

Forma Estandar

euresti@itesm.mx

Definici
on 1.1
Un modelo de PL se dice que esta en su forma estandar si
cada restriccion es una igualdad y las restricciones de signo
para cada variable son del tipo mayor o igual que cero.
Muchos de nuestros modelos recien construidos no estan en
su forma matricial. No esta en la forma estandar:
Max z = 3 x + 2 y

Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia

sujeto a

Adyacencia

2x
x
x
x

+ y
+ y

100
80
40
0
0

Definici
on
Ejemplo 1

Simplex

Conversion

Introducci
on al
M
etodo Simplex
euresti@itesm.mx

El algoritmo Simplex para resolver modelos de programacion

lineal requiere que el modelo este en su forma estandar. Lo
que se hace es convertir el modelo a la forma estandar. Esto
se logra introduciendo nuevas variables, algunas de las cuales
reemplazaran a las variables originales.
I

Para cada restriccion del tipo se introduce una nueva

variable de holgura (slack variable) si que se suma al
primer miembro y la desigualdad se convierte en
igualdad; se a
nade la restricci
on de signo a la nueva
variable si 0.
Para cada restriccion del tipo se introduce una nueva
variable de exceso (excess variable) ei que se resta al
primer miembro y la desigualdad se convierte en
igualdad; se a
nade la restricci
on de signo a la nueva
variable ei 0.

Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex
euresti@itesm.mx

Continuando con la conversi

on:
I

Para cada variable xi que tiene restricci

on de signo del
tipo 0, se cambian todas las apariciones de xi en el
modelo por la expresi
on xi0 donde xi0 es una nueva
variable con restricci
on de signo xi0 0.
Para cada variable xi que no tiene restricci
on de signo
se cambian todas las apariciones de ella en el modelo
por la expresion xi0 xi00 donde xi0 y xi00 son dos nuevas
variables con restricci
on de signo xi0 0 y xi00 0.

Las conversion se realiza en dos fases: en la primera se

convierten las desigualdades y en la segunda se aplican las
reglas para las variables que en el modelo original tiene signo
no positivo o no tienen restricci
on de signo.

Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex

Ejemplo

euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Convierta a la forma estandar:

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Max z = 3 x + 2 y

Soluci
on B
asica
Factible

sujeto a
2x
x

+ y
+ y
x
y

100
80
40
0

: R1
: R2
: R3
: R4

Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex
euresti@itesm.mx

En la primera fase (despues de aplicar las reglas relacionadas

con restricciones del tipo o ) queda:
Max z = 3 x + 2 y

Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

sujeto a
2x
x
x

+ y
+ y

+ s1
e1
+ s1

= 100
= 80
= 40

con x sin restriccion de signo, y 0, s1 0, e1 0, y

s2 0.

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on

Para la segunda fase obtenemos:

0

Forma Est
andar

00

Max z = 3 x 3 x 2 y

Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

sujeto a
2 x 0 2 x 00 y 0 + s1
= 100
x 0 x 00
y0
e1
= 80
0
00
x x
+ s1 = 40

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia

con

x0

0,

x 00

0,

y0

0, s1 0, e1 0, y s2 0.

Definici
on
Ejemplo 1

Simplex

Solucion basica

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar

Definici
on 1.2
Una solucion basica (SB) a un sistema de ecuaciones
A x = b con m ecuaciones y con n inc
ognitas, es decir m n
(n m) es una solucion al sistema que se obtiene haciendo
cero n m variables y que resulta en un sistema con
solucion u
nica. A una variable de decisi
on que
deliberadamente se hace cero se le llama variables no basica
(VNB) y mientras que a aquella que se conserva dentro del
nuevo sistema se le llama variable basica (VB).

Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex
euresti@itesm.mx

En terminos de Algebra Lineal, este concepto equivale a

seleccionar m columnas de A y que estas formen una base
para Rm . Las columnas no seleccionadas corresponden a
aquellas variables que se hacen cero deliberadamente. Una
vez seleccionadas las columnas el nuevo sistema con el
mismo vector de constantes debe resolverse. La solucion
obtenida se llama solucion basica. En terminos de matrices,
tiene el significado que las variables que no se hacen cero
deliberadamente forman una matriz invertible. El proceso
para obtener una solucion factible corresponde a tomar de A
columnas para formar una matriz cuadrada que resulte
invertible.

Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex

Determine las soluciones basicas al sistema:

x1 + x2
= 3
x2 + x3 = 1

euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

En este caso: m = 2 =n
umero de ecuaciones y
Soluci
on B
asica
Definici
on
n = 3 =n
umero de incognitas. Por tanto, las soluciones
Ejemplo 1
Ejemplo 2
basicas se obtienen haciendo cero n m = 3 2 = 1
Soluci
on B
asica
variable. Siendo n = 3 el n
umero de variables, tenemos:
Factible
Definici
on
 


3!
1 2 Ejemplo
3 1
n!
3
n
Correspondencia
=
=
=
=
1
nm
m! (n m)!
1! (3 1)!
1 1 Adyacencia
2
es decir, que en nuestro sistema se tienen 3 posibles
soluciones basicas. Observe que da lo mismo seleccionar
que variables seran basicas (que columnas se conservaran) o
que variables seran no basicas (columnas se borraran).

Definici
on
Ejemplo 1

Simplex

Revisemos cada alternativa:

I

VNBs = {x1 }. Haciendo x1 = 0 el sistema original queda:

+

x2
x2

x3

=
=

3
1

dando como soluci

on : x1 = 0, x2 = 3 y x3 = 2.
I

VNBs = {x2 }. Haciendo x2 = 0 el sistema original queda:

+

x1
+

x3

=
=

3
1

dando como soluci

on : x1 = 3, x2 = 0 y x3 = 1.
I

VNBs = {x3 }. Haciendo x3 = 0 el sistema original queda:

+

x1

x2
x2

=
=

3
1

dando como soluci

on : x1 = 2, x2 = 1 y x3 = 0.

Introducci
on al
M
etodo Simplex

Ejemplo 2

euresti@itesm.mx

Determine las soluciones basicas al sistema:

Introducci
on

x1 + 2 x2 + x3 = 1
2 x1 + 4 x2 + x3 = 3
En este ejemplo hay 3!/(1! (3 1)!) = 3 posibles
soluciones basicas.
I VNBs = {x1 }. Haciendo x1 = 0 el sistema original
queda:
+ 2 x2 + x3 = 1
+ 4 x2 + x3 = 3
I

dando como solucion : x1 = 0, x2 = 1 y x3 = 1.

VNBs = {x2 }. Haciendo x2 = 0 el sistema original
queda:
+
x1 + x3 = 1
+ 2 x1 + x3 = 3
dando como solucion : x1 = 2, x2 = 0 y x3 = 1.

Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

VNBs = {x3 }. Haciendo x3 = 0 el sistema original queda:

x1
2 x1

+ 2 x2
+ 4 x2

= 1
= 3

este sistema es inconsistente. Por tanto, no hay solucion

basica correspondiente a VNBs = {x3 }.

Solucion basica

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica

Definici
on 1.3
Una solucion basica factible (SBF) a un sistema de
ecuaciones A x = b m n (n m) es una soluci
on basica
con valores no negativos para las variables de decisi
on.

Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Determina las soluciones basicas factibles del sistema

estandar correspondiente a la regi
on que definen las
restricciones
x1 + x2 40
2 x1 + x2 60
y x1 , x2 0.
La forma estandar es:

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

x1 + x2 + s1
= 40
2 x1 + x2
+ s2 = 60

Soluci
on B
asica
Factible

y cumpliendo x1 , x2 , s1 , s2 0. Y en la forma estandar n = 4

(n
umero de variables) y m = 2 (n
umero de ecuacion es), y
por consiguiente el n
umero de posibles soluciones basicas es:


1234
4!
n
=
=6
=
m
2! (4 2)!
1212

Correspondencia

Definici
on
Ejemplo 1

Adyacencia
Definici
on
Ejemplo 1

Simplex

En este caso desaparecemos 4 2 variables para obtener las SB:

I

VNBs = {x1 , x2 } VB = {s1 = 40, s2 = 60} A(0,0)

VNBs = {x1 , s1 } VB = {x2 = 40, s2 = 20} B(0,40)

VNBs = {x1 , s2 } VB = {x2 = 60, s1 = 20} C(0,60), no

es soluci
on basica factible

VNBs = {x2 , s1 } VB = {x1 = 40, s2 = 20} D(40,0), no

es soluci
on basica factible

VNBs = {x2 , s2 } VB = {x1 = 30, s1 = 10} E(30,0)

VNBs = {s1 , s2 } VB = {x1 = 20, x2 = 20} F(20,20)

C (0, 60)

B(0, 40)

F (20, 20)

D(40, 0)
A(0, 0)

E (30, 0)

Figura : Relaci
on entre SBFs y extremos de la RF

Correspondencia

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar

Un punto clave que relaciona la parte geometrica con la

parte algebraica es el siguiente resultado te
orico:
Teorema
La region factible a un modelo lineal corresponde a
un conjunto convexo, y a cada extremo de la
region le corresponde una SBF de su forma
estandar y a cada SBF le corresponde un extremo
de la region factible.

Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

SBF Adyacentes

Introducci
on al
M
etodo Simplex
euresti@itesm.mx
Introducci
on
Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica

Definici
on 1.4
Para un modelo PL con m restricciones, dos soluciones
basicas factibles se dicen ser soluciones basicas factibles
adyacentes si acaso tienen m 1 variables basicas en com
un.

Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Introducci
on al
M
etodo Simplex

Ejemplo

euresti@itesm.mx
Introducci
on
Forma Est
andar

Determine las SBFs y encuentre sus relaciones de adyacencia

al siguiente PL:
Maximice z = 4 x1 + 3 x2
sujeto a:

Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

x1 + x2 + s1
= 40
2 x1 + x2
+ s2 = 60

y cumpliendo x1 , x2 , s1 , s2 0.

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex

Este problema tiene como FBS:

I VNBs = {x1 , x2 } VB = {s1 = 40, s2
I VNBs = {x1 , s1 } VB = {x2 = 40, s2
I VNBs = {x2 , s2 } VB = {x1 = 30, s1
I VNBs = {s1 , s2 } VB = {x1 = 20, x2
Son adyacentes: A(0,0) y B(0,40), A(0,0) y
y E(30,0) y F(20,20).

= 60} A(0,0)
= 20} B(0,40)
= 10} E(30,0)
= 20} F(20,20)
E(30,0), B(0,40) y F(20,20),

B(0, 40)

F (20, 20)

A(0, 0)

E (30, 0)

Algoritmo Simplex

Introducci
on al
M
etodo Simplex
euresti@itesm.mx

El algoritmo Simplex procede de la siguiente manera:

Introducci
on

1. Convierta el modelo PL a su forma estandar.

2. Obtenga una SBF a la forma estandar.
3. Determine si la SBF es
optima: Si hay una variable no
basica cuyo aumento hace que el valor actual de la
funcion a maximizar suba, entonces la soluci
on actual
no es optima.
4. Si la SBF no es optima, determine la variable no-basica
que debera convertise en basica (la de mayor impacto
en la funcion objetivo) y cual variable basica debera
convertise en una no-basica (la que impone una
restriccion mayor a la variable de mayor impacto). Con
la seleccion anterior y usando operaciones elementales
de renglon determine una SBF nueva adyacente a la
anterior.
5. Reinicie con el paso 3 con la nueva SBF.

Forma Est
andar
Definici
on
Conversi
on
Ejemplo

Soluci
on B
asica
Definici
on
Ejemplo 1
Ejemplo 2

Soluci
on B
asica
Factible
Definici
on
Ejemplo 1

Correspondencia
Adyacencia
Definici
on
Ejemplo 1

Simplex