You are on page 1of 368

Gestin de Investigacin de Operaciones

Contenidos
I. Introduccin a la Investigacin de Operaciones
II. Modelos de Programacin Matemtica
Programacin Lineal
Programacin Entera
Programacin No- lineal
III. Modelos Probabilsticos
Procesos Estocsticos y Cadenas de Markov
Sistemas de Espera
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

I.1. Introduccin.

El principal objetivo de esta rea de conocimientos


consiste en formular y resolver diversos problemas
orientados a la toma de decisiones.

La naturaleza de los problemas abordados puede


ser determinstica, como en los Modelos de
Programacin Matemtica, donde la teora de
probabilidades no es necesaria, o bien de
problemas donde la presencia de incertidumbre
tiene un rol preponderante, como en los Modelos
Probabilsticos.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

Hoy en da, la toma de decisiones abarca una gran


cantidad de problemas reales cada ms complejos
y especializados, que necesariamente requieren
del uso de metodologas para la formulacin
matemtica de estos problemas y, conjuntamente,
de mtodos y herramientas de resolucin, como los
que provee la Investigacin de Operaciones.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

I.2 Elementos de un modelo de optimizacin.

Supongamos que se dispone de determinadas


piezas para la elaboracin de dos productos finales.
Se dispone de 8 piezas pequeas y 6 piezas
grandes, que son utilizadas para elaborar sillas
(usando 2 piezas pequeas y 1 pieza grande) y
mesas (usando 2 piezas de cada tipo).

Interesa decidir cuntas sillas y mesas fabricar de


modo de obtener la mxima utilidad, dado un
beneficio neto de U$ 15 por cada silla y de U$20
por cada mesa fabricada.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

Posibles soluciones factibles a considerar, esto es


soluciones que respetan las restricciones del
nmero de piezas disponibles, son por ejemplo,
fabricar:

4 sillas, que reportan una utilidad de U$60


1 sillas y 2 mesas , utilidad de U$55
3 mesas, utilidad de U$60
1 mesa y tres sillas, utilidad de U$65
2 sillas y 2 mesas, utilidad de U$70
etc.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

Un modelo matemtico para hallar la mejor


solucin factible a este problema tiene tres
componentes bsicas:

i) Las variables de decisin, que consiste en


definir cules son las decisiones que se debe
tomar. En el ejemplo,

x: nmero de sillas elaboradas.


y: nmero de mesas elaboradas.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

ii) La funcin objetivo del problema, que permita


tener un criterio para decidir entre todas las
soluciones factibles. En el ejemplo, maximizar la
utilidad dada por:

z = f(x,y) = 15x + 20y


I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

iii) Restricciones del problema, que consiste en


definir un conjunto de ecuaciones e inecuaciones
que restringen los valores de las variables de
decisin a aquellos considerados como factibles.
En el ejemplo, respetar la disponibilidad de piezas
para la fabricacin de sillas y mesas:

Piezas pequeas: 2x + 2y 8
Piezas grandes : x + 2y 6

Tambin se impone restricciones de no


negatividad:
x,y 0
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

En resumen: Max 15x + 20y


sa: 2x + 2y 8
x + 2y 6
x,y 0

El ejemplo corresponde a un modelo de


Programacin Lineal. Si adems restringimos los
valores de x e y a nmeros enteros, tendramos un
modelo de Programacin Entera. Por otra parte, si
hubiese retornos crecientes a escala, deberamos
emplear una funcin objetivo no lineal como f(x,y) =
cxa + dyb con a,b >1, y tendramos un modelo de
Programacin No Lineal.
I. Introduccin a la Investigacin de
Gestin de Investigacin de Operaciones
Operaciones

BIBLIOGRFIA EN INVESTIGACIN DE OPERACIONES

1. Introduccin a la Investigacin de Operaciones, F.S.


Hillier y G.J. Lieberman, McGraw Hill, Sexta Edicin, 1997.
2. Investigacin de Operaciones, una introduccin, H.A.
Taha, Prentice Hall, Mxico, Sexta Edicin, 1998.
3. Introduction to Management Science, F. Hillier, M. Hillier
and G.J. Lieberman. Irwin McGraw-Hill, 1999.
4. Model Operations Research: A practical Introduction.
M.W. Carter and C.C.Price. CRC Press, 2000.
5. Practical Management Science: Spreadsheet Modeling
and Applications, Winston, W.L., Albright S.C. y Broadie M.,
International Thomson Publishing Company, 1997.
Gestin de Investigacin de Operaciones
Contenidos
I. Introduccin a la Investigacin de Operaciones
II. Modelos de Programacin Matemtica
Programacin Lineal
Programacin Entera
Programacin No- lineal
III. Modelos Probabilsticos
Procesos Estocsticos y Cadenas de Markov
Sistemas de Espera
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

i) Problema de Transporte. El problema consiste


en decidir cuntas unidades trasladar desde ciertos
puntos de origen (plantas, ciudades, etc.) a ciertos
puntos de destino (centros de distribucin,
ciudades, etc..) de modo de minimizar los costos de
transporte, dada la oferta y demanda en dichos
puntos.
Se suponen conocidos los costos unitarios de
transporte, los requerimientos de demanda y la
oferta disponible.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Por ejemplo, suponga que una empresa posee dos


plantas que elaboran un determinado producto en
cantidades de 250 y 450 unidades diarias,
respectivamente. Dichas unidades deben ser
trasladadas a tres centros de distribucin con
demandas diarias de 200, 200 y 250 unidades,
respectivamente. Los costos de transporte (en
$/unidad) son:
C.Dist. 1 C.Dist.2 C.Dist.3
Planta 1 21 25 15
Planta 2 28 13 19
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Diagrama:
C.D.1
X11

Planta 1
X12

X21 X22 C.D.2


Planta 2

X13
X23
C.D.3

Orgenes Destinos
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Variables de decisin:

xij = Unidades transportadas desde la planta i


(i=1,2), hasta el centro de distribucin j (j=1,2,3)

Funcin Objetivo:

Minimizar el costo total de transporte dado por la


funcin:
21x11+25x12+15x13+28x21+13x22+19x23
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Restricciones del problema:

1) No Negatividad: xij 0

2) Demanda:
CD1 : x11 +x21 = 200
CD2 : x12 +x22 = 200
CD3 : x13 + x23 = 250
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

3) Oferta :
P1 : x11 + x12 + x13 250
P2 : x21 + x22 + x23 450

Las variables de decisin deben aceptar soluciones


como nmeros reales para tener un modelo de P.L.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

ii) Problema de la dieta: este consiste en


determinar una dieta de manera eficiente, a partir
de un conjunto dado de alimentos, de modo de
satisfacer ciertos requerimientos nutricionales.
Supongamos que se tiene la siguiente informacin:
Leche Legumbre Naranjas Requerimientos
(galon) (1 porcin) (unidad) Nutricionales
Niacina 3,2 4,9 0,8 13
Tianina 1,12 1,3 0,19 15
Vitamina C 32 0 93 45
Costo 2 0,2 0,25
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Variables de decisin:
x1 : galones de leche utilizados en la dieta.
x2 : porciones de legumbre utilizadas en la dieta.
x3 : unidades de naranja utilizadas en la dieta.

Funcin Objetivo:
Minimizar el costo total de la dieta, dado por:
2 x1 + 0.2 x2 + 0.25 x3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Restricciones del problema:


Requerimientos mnimos de los nutrientes
considerados:
3.2 x1 + 4.9 x2 + 0.8 x3 13
1.12 x1+ 1.3 x2 + 0.19 x3 15
32 x1+ + 9 x3 45

x1 0 ; x2 0 ; x3 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

iii) Problema de dimensionamiento de lotes: este


consiste en hallar una poltica ptima de produccin
para satisfacer demandas fluctuantes en el tiempo,
de modo de minimizar costos de produccin e
inventario, considerando la disponibilidad de
diversos recursos escasos.
Supongamos que una fabrica puede elaborar hasta
150 unidades en cada uno de los 4 periodos en que
se ha subdividido el horizonte de planificacin y se
tiene adicionalmente la siguiente informacin:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Periodos Demandas Costo Prod. Costo de Inventario


(unidades) (US$/unidad) (US$/unidad)
1 130 6 2
2 80 4 1
3 125 8 2.5
4 195 9 3

Supuestos adicionales:
1) Existe un inventario inicial de 15 unidades.
2) No se acepta demanda pendiente o faltante (es
decir, se debe satisfacer toda la demanda del
periodo).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Variables de decisin:
xt : nmero de unidades elaboradas en el periodo t.
It : nmero de unidades de inventario al final del
periodo t.
Funcin objetivo:
Consiste en minimizar los costos de produccin y el
costo de mantenimiento de inventario.
6x1+ 4x2 + 8x3 + 9x4 + 2I1 + I2 + 2.5I3 + 3I4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Notar que en el ptimo I4 va a ser 0, as que incluso


podramos no incluirla, pero de todos modos la
consideramos.

Restricciones del problema:


1) Restricciones de cotas, que reflejan la capacidad
de produccin.
xt 150
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

2) Restricciones de no negatividad
xt 0
3) Restricciones de demanda
x1 + I0 I1 = 130 Periodo 1 I0=15
x2 + I1 I2 = 80 Periodo 2
x3 + I2 I3 = 125 Periodo 3
x4 + I3 I4 = 195 Periodo 4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

iv) Problema de planificacin financiera:


Supongamos que un banco dispone de $250
millones para destinar a 4 tipo de crditos ofrecidos,
los cuales tienen las siguientes, tasas de crdito:
Primer crdito corriente :12%
Segundo crdito corriente :16%
Crdito para el hogar :16%
Crdito personal :10%
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

La asignacin de estos crditos, debe satisfacer la


siguiente poltica utilizada por la institucin:
El monto asignado a los PCC, debe ser al menos,
el 55% del monto asignado a los crditos
corrientes, y al menos un 25% del total del dinero
prestado.
El SCC, no puede exceder el 30% del total del
dinero prestado, por polticas tributarias el inters
recibido por el banco no debe exceder a un retorno
del 14% sobre el capital prestado.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Cunto asignar a cada tipo de crdito, de la


manera ms eficiente, respetando la poltica del
banco?
Variables de decisin:
x1 :Monto asignado al PCC.
x2 : Monto asignado SCC.
x3 : Monto asignado al crdito para el hogar.
x4 : Monto asignado al crdito personal.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Funcin Objetivo:
Se propone maximizar los retornos recibidos en la
asignacin, dados por:

0.12 x1 + 0.16 x2 + 0.16 x3 + 0.10 x4


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Restricciones del problema:


x1 0.55 ( x1 + x2 )
x1 0.25 ( x1 + x2 +x3 + x4 )
x2 0.30 ( x1 + x2 +x3 + x4 )

(0.12x1+0.16x2+0.16x3+0.10x4 ) 0.14 ( x1+ x2 +x3 +x4 )

Adicionalmente: x1 + x2 +x3 + x4 250


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

v) Problema de mezcla de productos: en este


problema una refinera produce 4 tipos de gasolina
(gas 1, gas 2, gas 3 y gas 4). Dos caractersticas
importantes de cada gasolina son su nmero de
performance (NP) y su presin de vapor (RVP), que
estn dados por:
NP RVP Barriles diarios
gas 1 107 5 3814
gas 2 93 8 2666
gas 3 87 4 4016
gas 4 108 21 1300
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Estas gasolinas pueden ser vendidas directamente


a un precio de $2483 por barril o bien mezcladas
para obtener gasolinas de aviacin (avgas A y
avgas B). La calidad de estas dos ltimas junto con
sus precios de venta son:

NP RV Precio por barril (US$)


avgas A Al menos 100 A lo ms 7 26,45
Avgas B Al menos 91 A lo ms 6 25,91
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

El NP y RVP de cada mezcla es un promedio de los


respectivos NP y RVP de las gasolinas empleadas.

Se desea obtener un plan de venta de las distintas


gasolinas que maximice los retornos.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Variables de decisin:
xj : cantidad de barriles del gas j que son vendidos
sin mezclar, con j = 1, 2, 3, 4.
xA : cantidad de barriles de avgas A.
xB : cantidad de barriles de avgas B.
xjA: cantidad de gas j usado en avgas A.
xjB: cantidad de gas j usado en avgas B.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Funcin objetivo:
Max 24,83 (x1 + x2 + x3 + x4) + 26,45xA + 25,91xB
Restricciones: x1 + x1A + x1B = 3814
x2 + x2A + x2B = 2666
x3 + x3A + x3B = 4016
x4 + x4A + x4B = 1300
x1A + x2A + x3A + x4A = xA
x1B + x2B + x3B + x4B = xB
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

NP, avgas A: 107x 1A 93x 2 A 87x 3 A 108x 4 A 100


xA

107x 1B 93x 2B 87x 3B 108x 4B


NP, avgas B: 91
xB

5 x 1A 8x 2 A 4 x 3 A 21x 4 A
RVP, avgas A: 7
xA

5 x 1B 8x 2B 4 x 3B 21x 4B
RVP, avgas B: 7
xB
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

vi) Problema de expansin de la capacidad de


un Sistema de Potencia Elctrica:
En este problema se desea planificar la
expansin de la capacidad de un sistema
elctrico para los siguientes T aos. La demanda
(estimada) para el ao t corresponde a dt MW para
t = 1, 2, ..., T. La capacidad existente del sistema
corresponde a ct MW para el ao t = 1, 2, ..., T.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Existen 2 alternativas para la expansin de la


capacidad del sistema:
Usar plantas trmicas a petrleo.
Usar plantas trmicas a gas.
Se requiere una inversin pt por MW instalado de
una planta a petrleo que est operativa al
comienzo del ao t, y el correspondiente costo para
una planta a gas es gt.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Por razones polticas y de seguridad, se ha


decidido que no ms del 30% de la capacidad
instalada, corresponda a plantas a gas (nuevas).
Cada planta a petrleo tiene una vida de 20 aos y
una planta a gas una vida de 15 aos.
Se desea proponer un plan de expansin al mnimo
costo posible.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Variables de decisin:
xt : cantidad de MW expandidos en planta a
petrleo al inicio del ao t, con t = 1, 2, ..., T.
yt : cantidad de MW expandidos en planta a gas al
inicio del ao t, con t = 1, 2, ..., T.
zt : cantidad total de MW disponible en plantas
nuevas a petrleo al inicio del ao t.
wt : cantidad total de MW disponible en plantas
nuevas a gas al inicio del ao t.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

Funcin Objetivo:

pt x t gt yt
T
Min
t 1

Restricciones: c t z t w t dt
t
z t xk t 20
k 1
t
zt xk t 20
k t 19
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.1 Introduccin y ejemplos de modelamiento.

t
w t yk t 15
k 1
t
wt yk t 15
k t 14

wt
0,30 t 1...T
ct zt w t
x t , yt , z t , w t 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.2. Resolucin grfica de problemas.

Consideremos el siguiente problema a resolver


grficamente:

Max z = 3x1 + 5x2


sa: x1 4
2x2 12
3x1 + 2x2 18
x1,x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.2. Resolucin grfica de problemas.

x2 Regin de puntos factibles


Curvas de Nivel
9
x* Solucin Optima
x*
6

4 6 x1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.2. Resolucin grfica de problemas.

En primer lugar, se debe obtener la regin de


puntos factibles en el plano, obtenida por medio de
la interseccin de todos los semi - espacios que
determinan cada una de las inecuaciones
presentes en las restricciones del problema.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.2. Resolucin grfica de problemas.

Enseguida, con el desplazamiento de las curvas de


nivel de la funcin objetivo en la direccin de
crecimiento de la funcin (que corresponde a la
direccin del vector gradiente de la funcin,
z(x1,x2) = (3,5)T), se obtiene la solucin ptima del
problema en la interseccin de las rectas: 2x2 = 12
y 3x1+2x2 = 18 (restricciones activas). Esto es:

x1* = 2 x2* = 6
z* = 3 x1* + 5 x2* = 36
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.2. Resolucin grfica de problemas.

Notar que se pueden dar otras situaciones en la


bsqueda de una solucin ptima para esta clase
de problemas:
1) La solucin ptima exista pero haya ms
de una. En el ejemplo, considere la nueva
funcin objetivo: z = 6x1+4x2.
2) El problema no tenga solucin, dada una regin
de puntos factibles no - acotada. En el ejemplo,
reemplace cada desigualdad por una .
3) El problema no tenga solucin, porque no
existen puntos factibles. En el ejemplo, suponga
que agregamos la restriccin: x1 5.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

Max 15x 20y


sa : 2x 2 y 8
x 2y 8
4 x, y 0

4 6
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

A partir de la resolucin grfica del problema se


tiene:
Solucin ptima : x1*= 2 ; x2*= 2
Valor ptimo : z = z(2,2) = 70

El anlisis de sensibilidad permite responder, entre


otras, las siguientes preguntas:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

1) Cul es el intervalo de variacin de algn


coeficiente de la funcin objetivo, de modo que la
actual solucin siga siendo la ptima?
Sea z = c1x1+c2x2
La solucin ptima de la nueva funcin, seguir
siendo: x1*= 2 ; x2*= 2 ssi:

c1 1
1
c2 2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

Tambin podemos estudiar el intervalo de un slo


coeficiente, dejando el resto de los parmetros fijos:

c1 1
Para C1: 1 10 c1 20
20 2

Para C2: 1 15 1 15 c 2 30
c2 2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

2) Cul es la variacin del actual valor ptimo de


la funcin objetivo, si cambamos en una unidad
algn coeficiente del lado derecho de las
restricciones ?
Estudiaremos por separado las variaciones de cada
uno de los coeficientes del lado derecho de las
restricciones, de modo preservar la geometra del
problema, esto es, que se conserven las mismas
restricciones activas de la solucin ptima inicial.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

Primera restriccin.
La mayor variacin del coeficiente del lado derecho
se alcanza en x1 = 0 y x2 = 4, de donde se obtiene:
z(0,4) = 15 x 0 + 20 x 4 = 80 y b1* = 0 + 2 x 4 = 8

La menor variacin del coeficiente del lado derecho


se alcanza en: x1 = 4 ; x2 = 0, de donde se obtiene:
z(4,0) = 15 x 4 + 20 x 0 = 60 y b1 = 4 + 2 x 0 = 4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

De aqu, se calcula el precio sombra P1, que


indica la razn o tasa de cambio de la funcin
objetivo con respecto al cambio en una unidad del
lado derecho:
z(0,4) z(4,0) 80 60
P1 5
b1 b1
*
84
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

Segunda restriccin.
La mayor variacin del coeficiente del lado derecho
se alcanza en x1 = 6 y x2 = 0, de donde se obtiene:
z(0,4) = 15 x 6 + 20 x 0 = 90 y b1*= 2 x 6 + 2x0 = 12

La menor variacin del coeficiente del lado derecho


se alcanza en: x1= 0 ; x2= 3, de donde se obtiene:
z(4,0) = 15 x 0 + 20 x 3 = 60 y b1= 2 x 0 + 2 x 3 = 6
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.3. Anlisis de sensibilidad.

De aqu, se calcula el precio sombra P2, que


indica la razn o tasa de cambio de la funcin
objetivo con respecto al cambio en una unidad del
lado derecho:
z(6,0) z(0,3) 90 60
P2 5
b2 b2
*
12 6
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

En lo que sigue consideremos el siguiente


problema de programacin lineal en su forma
estndar.

Min c1x1 + c2x2 + ... + cnxn


sa a11x1 + a12x2 + ... + a1nxn = b1
a21x1 + a22x2 + ... + a2nxn = b2
... ... ...
am1x1 + am2x2 + ... + amnxn = bm

xi 0, i = 1, 2, ..., n y mn
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Matricialmente escrito como:

Min cTx
sa Ax = b
x0

No existe prdida de la generalidad al suponer que


un problema viene dado en la forma estndar. En
efecto, si tuvisemos el siguiente problema:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

P) Max 9u + 2v + 5z
sa 4u + 3v + 6z 50
u + 2v + 3z 8
2u 4v + z = 5
u,v 0
z IR

Es posible reformular de manera equivalente el


problema anterior usando que:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

1) Siempre es posible llevar un problema de


maximizacin a uno de minimizacin. Si f(x) es la
funcin objetivo a maximizar y x* es la solucin
ptima:
f(x*) f(x) , " x factible

- f(x*) - f(x) , " x factible

\ x* es tambin mnimo de - f(x)


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

2) Cada restriccin del tipo puede ser llevada a


una ecuacin de igualdad usando una (nueva)
variable de holgura no negativa, con un coeficiente
nulo en la funcin objetivo.

3) De igual modo, cada restriccin del tipo puede


ser llevada a una ecuacin de igualdad usando una
variable de exceso no negativa.

4) Siempre es posible escribir una variable libre de


signo como la diferencia de dos variables no
negativas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

En resumen el problema P) puede ser escrito de


manera equivalente como:

Min - 9x1 - 2x2 - 5x3 + 5x4 + 0x5 + 0x6


sa: 4x1 + 3x2 + 6x3 - 6x4 + x5 =50
x1 + 2x2 - 3x3 + 3x4 - x6 = 8
2x1 - 4x2 + x3 - x4 = 5

xi 0, i=1,2,3,4,5,6.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Con u = x1
v = x2
z = x3 - x4
s1 = x5 (HOLGURA)
s2 = x6 (EXCESO)

La bsqueda de la solucin ptima se restringe a


encontrar un vrtice ptimo y cada vrtice del
conjunto de las restricciones del problema, llamado
regin de puntos factibles, corresponde a una
solucin bsica factible del sistema Ax = b.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Esta solucin bsica factible, corresponde a su vez


a aquellas soluciones que resultan de resolver el
sistema para exactamente m variables, fijando las
restantes n-m en cero, llamadas respectivamente
variables bsicas y no-bsicas, que adems deben
satisfacer condiciones de no-negatividad.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Teorema Fundamental de la Programacin Lineal:


Si un problema tiene solucin ptima, tiene una
solucin bsica factible ptima.

Dada una matriz B de m x m invertible, esta induce


una particin de las variables y parmetros del
modelo como lo muestra la siguiente diapositiva.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

n
x1 xB c B
x m
m

B D x 2 c
nm
nm
A= m
xn xD c D

xB :variables bsicas.
xD :variables no bsicas.
m n-m
cB :costos bsicos.

B : es llamada una matriz de base


cD :costos no bsicos.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Criterio de Optimalidad:

c T x cBT x B cDD x D

cBT B 1b B
1

D x B cDT x D

cBT B
1

b cDT cDT B
1
D xB xD
valor actual vector de
de la costos
funcin obj. reducidos.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

La ecuacin que define cada uno de los costos


reducidos es:
rj c j cBT B1A j

Donde j es el ndice de variable no-bsica y Aj la


respectiva columna en A de esa variable.
La actual solucin bsica factible es ptima ssi
rj "j, existe una variable no bsica xp con costo
reducido negativo, que entra a la nueva base.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Para decidir quin deja la base, es necesario


calcular el mayor valor que puede tomar la variable
entrante que garantiza la factibilidad de la nueva
solucin bsica, con:
y1 0 y1 p
x y
B 1b B 1A 2 p
2 0
j


x
m0 y
mp
y se debe calcular:
yk 0 yi0
Min / yip 0 xk deja la base
ykp yip
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Ejemplo.
Resolver el siguiente problema de P.L.

Max 40x + 60y


sa: 2x + y 70
x + y 40
x + 3y 90
x,y 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Se deben agregar 3 variables de holgura ( x1 , x2 ,


x3 var.bsicas), y llevar a forma estndar (x4 = x y
x5 = y).
Min -40x4 60x5
sa: x1 + 2x4 + x5 = 70
x2 + x4 + x5 = 40
x3 + x4 + 3x5 = 90
xi 0, i = 1, 2, 3, 4, 5
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Tabla inicial:

x1 x2 x3 x4 x5
1 0 0 2 1 70
0 1 0 1 1 40
0 0 1 1 3 90
0 0 0 -40 -60 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Usamos como variable entrante a la base x5 (pues


r5<0).
x1 x2 x3 x4 x5
1 0 0 2 1 70
0 1 0 1 1 40
0 0 1 1 3 90
0 0 0 -40 -60 0

Se calcula Min { 70/1, 40/1, 90/3 } = 30, por lo tanto


sale x3.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Actualizando, queda la siguiente tabla (no ptima),


donde la variable entrante a la base es x4 (pues
r4<0).
x1 x2 x3 x4 x5
1 0 -1/3 5/3 0 40
0 1 -1/3 2/3 0 10
0 0 1/3 1/3 1 30
0 0 20 -20 0 1800

Se calcula Min { 40/(5/3), 10/(2/3), 30/(1/3) } = 15,


por lo tanto x2 deja la base actual.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Actualizando, queda la siguiente tabla final:


x1 x2 x3 x4 x5
1 -5/2 0 0 15
0 -1/3 -1/2 1 0 15
0 1/3 0 1 25
0 20 10 0 0 2100

Como todos los costos reducidos son mayores o


iguales que cero nos encontramos en la solucin
ptima.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

x 1 15
x 2 0
x B x 4 15 xD
x 3 0
x 5 25

z* = - 40 x 15 - 60 x 25 = - 2100

En la formulacin inicial, tenemos como solucin


ptima x*=15, y *=25, con valor ptimo 2.100.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Resumen del Mtodo Simplex:

Paso 0 : Escribir el problema de programacin


lineal en su forma estndar.
Paso 1 : Escoger una solucin bsica factible
inicial.
Paso 2 : Escoger una variable no - bsica con
costo reducido negativo que determina la variable
entrante y seguir al paso tres. Sin embargo, si todos
los costos reducidos son mayores que cero , parar,
ya que la actual solucin es la ptima.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Paso 3 : Calcular el criterio de factibilidad que


determina que variable deja la base. Si todos los
cuocientes son negativos: problema no - acotado,
parar.
Paso 4 :Actualizar la tabla de modo de despejar el
valor de las nuevas variables bsicas, los costos
reducidos y el valor de la funcin objetivo. Volver al
Paso 2.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

No siempre es fcil obtener una solucin bsica


factible inicial, en las variables originales del
modelo. Para conseguir esto existen varios
procedimientos como son:

Mtodo Simplex de dos fases.


Mtodo de la M grande.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Fase 1: Se considera un problema auxiliar que


resulta de agregar tantas variables auxiliares a las
restricciones del problema, de modo de obtener una
solucin bsica factible. Resolver por Simplex un
nuevo problema que considera como funcin
objetivo la suma de las variables auxiliares. Si el
valor ptimo es cero ir a la Fase 2. En caso
contrario, no existe solucin factible.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Fase 2: Resolver por Simplex el problema original a


partir de la solucin bsica factible hallada en la
Fase1.

Ejemplo: Max 2x1 + x2


sa: 10x1 + 10x2 9
10x1 + 5x2 1
x1,x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Se debe agregar una variable de holgura (x3) y una


variable de exceso (x4), y llevarlo a su forma
estndar.
Min -2x1 - x2
sa: 10x1 + 10x2 +x3 =9
10x1 + 5x2 - x4 = 1
x1,x2, x3, x4 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Aplicamos Simplex de dos Fases :


Fase 1: Min x5
sa: 10x1 + 10x2 +x3 =9
10x1 + 5x2 - x4 + x5 = 1
x1,x2, x3, x4, x5 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Quedando la siguiente tabla:


x1 x2 x3 x4 x5
10 10 1 0 0 9
10 5 0 -1 1 1
0 0 0 0 1 0

donde: x 1 0
x 3 9
xB x D x 2 0
x 5 1
x 4 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Luego se hace cero el costo reducido de la variable


x5 de la tabla anterior, y queda la siguiente tabla
inicial.
x1 x2 x3 x4 x5
10 10 1 0 0 9
10 5 0 -1 1 1
-10 -5 0 1 0 -1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

La variable entrante a la base es x1 ( pues r1 < 0).


x1 x2 x3 x4 x5
10 10 1 0 0 9
10 5 0 -1 1 1
-10 -5 0 1 0 -1

Calculamos Min { 9/10, 1/10}= 1/10, por lo tanto


sale x5.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Obtenindose la siguiente tabla final:


x1 x2 x3 x4 x5
0 5 1 1 -1 8
1 0 -1/10 1/10 1/10
0 0 0 0 1 0

x 2 0
x 1 1/ 10
xB x D x 4 0
3
x 8
x 5 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Donde, al anterior, corresponde a la solucin


ptima del problema en la Fase 1, con valor ptimo
0. De aqu entonces tomamos x1 y x3 como
variables bsicas.
x1 x2 x3 x4
Fase 2: 0 5 1 1 8
1 0 -1/10 1/10
-2 -1 0 0 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

En la tabla hacemos 0 los costos reducidos de


variables bsicas
x1 x2 x3 x4
0 5 1 1 8
1 0 -1/10 1/10
0 0 0 -1/5 1/5

Luego la variable entrante a la base es x4 (pues


r4<0). Y calculando Min { 8/1, (-1/10)/(1/10) } = 8, se
tiene que sale x3.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

x1 x2 x3 x4
Quedando:
0 5 1 1 8
1 1 0 1/10 9/10
0 1 1/5 0 9/5

donde la solucin ptima del problema resulta ser:


x1 9 / 10 x 2 0
xB xD
4
x 8 x 3 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

Algunos casos especiales

1) Problema Infactible. Esta situacin se detecta


cuando el valor ptimo del problema de la Fase 1
da mayor que cero.
2) Mltiples soluciones ptimas. Esta situacin
se detecta cuando existen costos reducidos iguales
a cero en una o ms de las variables bsicas
ptimas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.4. El Mtodo Simplex.

Mtodo Simplex de dos Fases.

3) Problema no acotado. Esta situacin se detecta


cuando al realizar el clculo de la variable que deja
la base, todos los elementos ykj de la columna j en
la tabla, son negativos para j el ndice de una
variable no bsica con costo reducido negativo.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Consideremos un ejemplo de produccin de 2


productos finales que hacen uso de tres recursos
escasos (mquinas), cuyas disponibilidades en
horas corresponden a los lados derechos de las
restricciones.
P) Max 40x1 + 60x2
sa: 2x1+2x2 70
x1 + x2 40
x1 + 3x2 90
x1, x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

La solucin ptima y el valor ptimo del problema


P) esta dada por:

x1* = 5
x2* = 25

z = v(p) = 2100
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

En lo que sigue, combinaremos las distintas


restricciones del problema, ponderando por los
valores 1, 2 y 3 cada una, respectivamente, de
modo de obtener la mejor cota superior del valor
ptimo del problema P). Vale decir:

1(2x1+2x2) + 2(x1+x2) + 3(x1+3x2) 70 1 +


40 2 + 90 3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Para garantizar que el lado derecho de esta ltima


desigualdad sea una cota superior de la funcin
objetivo se debe cumplir que :

2 1 + 2 + 3 40
21 + 2 + 3 3 60
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

La mejor eleccin de esta cota se obtendra al


resolver:

D) Min 70 1 + 40 2 + 90 3
sa: 2 1 + 2 + 3 40
21 + 2 + 3 3 60
1, 2, 3 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Este problema se conoce como el problema Dual


D) asociado al problema Primal P).

Tambin resulta que al formular el problema dual


de D) se obtiene el problema primal (o uno
equivalente).

Cualquiera de los dos entrega la misma informacin


y el valor ptimo alcanzado es el mismo.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Ms generalmente, si el problema primal es:


n
P) Max c jx j
j1
n
sa : aij x j bi i 1,2,..., n
j1

xj 0 j 1,2,..., m
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

su dual resulta el problema:

m
D) Min bi i
i 1
m
sa : aij i c j j 1,2,..., n
i 1

i 0 i 1,2,..., m
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Lo que se puede expresar en forma matricial como:

P) Max cTx
sa: Ax b
x0

D) Min bT
sa: AT c
0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Si el problema primal corresponde a:


P) Max -cTx
sa: Ax b
x0
Su dual resulta ser:
D) Min -bT
sa: AT c
0
Es decir, el dual del dual es el problema primal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Teorema de dualidad dbil:

Si x IRn, es una solucin factible del problema


primal P) y IRm, una solucin factible del
problema dual D), entonces:
n m
c x c j x j bi i b T
T

j1 i 1

En particular, si ambas soluciones son los ptimos


de sus respectivos problemas, sus valores ptimos
cumplen que :
v(P) v(D)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Teorema de dualidad fuerte:

Si x* = (x1*, x2*, ..., xn*)T, es una solucin ptima


problema primal P), entonces el problema dual D)
tiene solucin ptima * = (1*, 2*, ..., m*)T que
satisface:
n m
v(P) c x * c j x j * bi i * bT v(D)
T

j 1 i 1

Adems:
i)Si P) es no-acotado entonces D) es infactible.
ii)Si D) es no-acotado entonces P) es infactible.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Ejemplo: P) Min 3x1 + 4x2 + 5x3


sa: x1+ 2x2 + 3x3 5
2x1 + 2x2 + x3 6
x1, x2, x3 0

D) Max 5 1 + 6 2
sa: 1 + 22 3
21 + 22 4
31 + 2 5
1, 2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Resolvemos D) por Simplex, en su forma estndar:

1 2 3 4 5 3 3
1 2 1 0 0 3 xB 4 4

2 2 0 1 0 4 5 5
3 1 0 0 1 5 1 0
xD
2 0
-5 -6 0 0 0 0

Luego la variable entrante a la base es 2 (pues


r2<0). Y calculando Min { 3/2, 4/2, 5/1 } = 3/2, se
tiene que sale 3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

1 2 3 4 5 2 3 / 2
1 0 0 3/2 xB 4 1

1 0 -1 1 0 1 5 7 / 2
5/2 0 -1/2 0 1 7/2 1 0
xD
-2 0 3 0 0 9 3 0

Luego la variable entrante a la base es 1 (pues


r2<0). Y calculando Min { (3/2)/(1/2), 1/1, (7/2)/(5/2)}
= 1, se tiene que sale 4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

1 2 3 4 5 1 1
x B 2 1
0 1 1 -1/2 0 1
1 0 -1 1 0 1 5 1
0 0 2 -5/2 1 1 3 0
xD
0 0 1 2 0 11 4 0

Sol. ptima de D):


1* = 1; 2* = 1; v(D) = 11
Sol. ptima de P):
x1* = 1; x2* = 2; x3* = 0; v(P) = 11
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

La idea de este mtodo consiste en resolver de


alguna manera el problema dual asociado a P) en
la tabla y variables del problema primal P), segn
veremos en su aplicacin a un problema primal
(ejercicio anterior).
Min 3x1 + 4x2 + 5x3
sa: x1+ 2x2 + 3x3 5
2x1 + 2x2 + x3 6
x1, x2, x3 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

Min 3x1 + 4x2 + 5x3 + 0x4 + 0x5


sa: x1 + 2x2 + 3x3 - x4 5 x(-1)
2x1 + 2x2 + x3 - x5 6 x(-1)
x1, x2, x3, x4, x5 0
x1 x2 x3 x4 x5
-1 -2 -3 1 0 -5
-2 -2 -1 0 1 -6
3 4 5 0 0 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

En la tabla anterior se toman dos variables de


exceso x4 y x5 , y se multiplica por un nmero
negativo con la finalidad de encontrar la matriz
identidad IRn, adems es necesaria la condicin de
que los costos reducidos de la tabla sean mayores
que cero ( lo que en este caso se cumple).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

En la tabla anterior se escoge, usando el lado


derecho, alguna variable con valor negativo.

Escogemos x5 , variable que dejar la base.


Enseguida , se obtiene la variable entrante
calculando:
Min { (-3/-2) , (-4/-2),(-5/-1)} = 3/2.

De donde resulta que x1 entra a la base.


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

x1 x2 x3 x4 x5
0 -1 -5/2 1 -1/2 -2
1 1 1/2 0 -1/2 3
0 1 7/2 0 3/2 -9

La tabla posee an un lado derecho negativo


(costos reducidos negativos del problema dual), por
lo cual no es factible en P).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

x4 (=-2) deja la base, luego calculamos :


Min {(-1/-1),((-7/2)/(-5/2)),((-3/2)/(-1/2))} = 1, por lo
que x2 entra a la base.
x1 x2 x3 x4 x5
0 1 5/2 -1 2
1 0 -2 1 -1 1
0 0 1 1 1 -11
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.5. Dualidad en Programacin Lineal.

Mtodo Simplex Dual:

La tabla posee lados derechos no-negativos (costos


reducidos positivos del problema dual) y tambin
los costos reducidos de las variables no bsicas x3,
x4 y x5 son no-negativos , por lo que tenemos una
solucin factible en P) que es la solucin ptima del
problema.
x 1 1
x x 2 2 v(P) 11

x 3 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

Temario:

II.1. Introduccin y ejemplos de modelamiento.


II.2. Resolucin grfica de problemas.
II.3. Anlisis de Sensibilidad.
II.4. El Mtodo Simplex.
II.5. Dualidad en Programacin Lineal.
II.6. Anlisis de Sensibilidad o Post-Optimal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

1) Qu ocurre con las actuales variables bsicas


si se cambia algn coeficiente del lado derecho (b)?

Si calculamos: xB B1b y se cumple: xB 0


Las mismas variables bsicas lo son tambin de la
nueva solucin ptima, calculada con el nuevo b .
Si lo anterior no se cumple, se puede aplicar el
Mtodo Simplex Dual.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

2) Qu ocurre con la actual solucin ptima si se


agrega una nueva variable al problema ?

Para decidir si la actual solucin bsica es ptima


para el nuevo problema, calculamos el costo
reducido de la nueva variable mediante la formula:

rk ck cBTB1Ak
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

donde k es el ndice de la nueva variable y Ak su


respectiva columna en la matriz de coeficientes. Si
se cumple que rk0 se conserva la actual solucin
ptima. En caso contrario, se sigue con el Simplex.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

3) Que ocurre con la actual solucin ptima del


problema P) si se cambian los coeficientes que
definen la funcin objetivo ?

Supongamos que el vector de coeficientes en la


funcin objetivo cambia a un vector c IR n
La actual solucin ptima tambin lo es para P
con: P) Min c x
T

sa : Ax b
x0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Siempre que los nuevos costos reducidos sean


mayores o iguales a cero (notar que tambin
cambia el valor de la funcin objetivo en la actual
solucin ptima). Es decir se debe cumplir que:

rD cD cBTB1D 0 o equivalent emente


T 1
rj c j cBB A j 0 "j

En caso contrario, se aplica el Simplex a partir de la


tabla final de P) con los nuevos costos reducidos y
nuevo valor de la actual solucin bsica.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Veamos los cambios que tienen lugar cuando slo


vara un coeficiente del vector c de la funcin obj.

a) Cambio de un coeficiente asociado a una


variable no-bsica xJ:
Se conserva la misma solucin ptima del problema
P) ssi. para esa variable xJ:
T
rj c j cBB 1A j 0 "j
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Consideremos :
c j c j j

Por lo tanto se conserva la misma solucin ssi:

j rj c j c j rj
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

b) Cambio en un coeficiente de la funcin objetivo


asociado a una variable bsica:
En este caso para tener la misma solucin ptima,
se debe cumplir que el costo reducido de todas las
variables.a cero. T
rj c j cBB 1A j 0

0
c i c i i cB cB i 1 cB iei

0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Si el incremento es cualquiera en el siguiente


intervalo, se conserva la misma solucin ptima:

rj rj
Max / yij 0 i Min / yij 0
yij yij

donde rj es el costo reducido de la respectiva


variable no bsica en la actual solucin ptima y los
coeficientes yij denotan las entradas en la tabla final
del Simplex asociadas a la variable bsica xi (cuyo
costo cambia) y la respectiva variable no bsica xj
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Ejemplo:

La siguiente tabla, es la tabla final de un problema


de programacin lineal.
1,00 2,33 1,67 0,00 0,27 -0,07 1333,33
0,00 -0,03 0,03 1,00 -0,01 0,03 66,67
0,00 6,67 3,33 0,00 2,93 0,27 18666,67

Con esta tabla realizaremos un anlisis de


sensibilidad:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

a) Variar los recursos ( lado derecho):


Las xB del problema primal no cambian como base
ptima, si los valores asociados a estas variables.

xB B1b y se cumple xB 0

Para calcular estos intervalos de recursos, se


necesita la matriz inversa asociada a las variables
bsicas del tabla final.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

4 10 4 / 15 1 / 15
B B 1

1 40 1 / 150 2 / 75
Intervalo recurso 1:
4 / 15 1 / 15 6000 b1
1 / 150 2 / 75 x 4000 0

20000 4 b1 10000 b1
0 0
15 15 150 150

b1 5000 b1 10000
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

5000 b1 10000
1000 b1 16000
Intervalo recurso 2:
4 / 15 1/ 15 6000
1/ 150 2 / 75 x 4000 b 0
2

2500 b2 20000
1500 b2 24000
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Variable x1:

Max {0} C1 Min {((20/3)/(7/3)),((10/3)/(5/3))}

0 D1 2 10 C1* 12

Variable x4:

Mx {((20/3)/(-1/30))} D4 Min {((10/3)/(1/30))}

-200 D4 100 -60 C4* 240


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

II.6. Anlisis de Sensibilidad o Post-Optimal

Variable x2:

C2* = C2 + 2 C2 = -20
2 - r2 C2* - 20 - ( 20/3)
C2* - 80/3

Variable x3:

C3* = C3 + 3 C3 = -18
3 - r3 C3* - 18 - ( 10/3)
C3* - 64/3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

BIBLIOGRFIA EN PROGRAMACIN LINEAL

1. Linear Programming and Network Flow, M.Bazaraa,


J.Jarvis and H.Sherali. John Wiley & Sons, Inc., New York,
Second Edition 1990.
2. Introduction to Linear Optimization, D.Bertsekas and
J.Tsitsiklis. Athena Scientific USA, 1997.
3. Linear Programming, V.Chvtal. W.H. Freeman and
Company, New York, 1983.
4. Linear Programming and Extensions, G. Dantzig.
Princeton University Press, New Jersey, tenth printing, 1993.
5. Introduccin a la Programacin Lineal y No Lineal,
D.Luenberger. Adisson Wesley Iberoamericana, 1989.
6. Linear and Combinatorial Programming, K. Murty. John
Wiley & Sons, Inc., New York, Second Edition 1976.
7. Model Building in Mathematical Programming, H.P.
Williams. John Wiley & Sons, Inc., New York, 4rd Edition
1999.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

DIRECCIONES ELECTRNICAS EN PROGRAMACIN LINEAL

Preguntas de consulta frecuente en Programacin Lineal:


http://www-unix.mcs.anl.gov/otc/Guide/faq/linear-programming-faq.html

Servidor NEOS, gua de software de Programacin Lineal:


http://www-fp.mcs.anl.gov/otc/Guide/SoftwareGuide/Categories/linearprog.html

Servidor NEOS, ejemplo problema de la dieta:


http://www-fp.mcs.anl.gov/otc/Guide/CaseStudies/diet/index.html

Gua de software de Programacin Lineal en revista OR&MS Today


(INFORMS Magazine):
http://lionhrtpub.com/software-surveys.shtml
Gestin de Investigacin de Operaciones
Contenidos
I. Introduccin a la Investigacin de Operaciones
II. Modelos de Programacin Matemtica
Programacin Lineal
Programacin Entera
Programacin No- lineal
III. Modelos Probabilsticos
Procesos Estocsticos y Cadenas de Markov
Sistemas de Espera
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

Temario:

III.1. Introduccin y ejemplos de modelamiento.


III.2. Resolucin de problemas de P. E.
III.3. Mtodo de Branch and Bound.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

a) Problema de la mochila.
Una empresa est pensando invertir en cuatro
proyectos diferentes, cada proyecto se finaliza a lo
ms en 3 aos. Los flujos de caja requeridos en
cada ao junto con el Valor Presente Neto de cada
proyecto, concludos los aos de ejecucin, y las
disponibilidades de recursos financieros se
resumen en la siguiente tabla:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Proy 1 Proy 2 Proy 3 Proy 4 Disp. Recursos


Ao 1 10 8 6 12 30
Ao 2 8 15 4 0 15
Ao 3 18 0 16 0 12
V.P.N. 35 18 24 16

Interesa determinar en cules proyectos invertir de


modo de conseguir el mayor V.P.N. de la inversin.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Variables de decisin:

1, si se invierte en el proyecto i
xi con i 1,2,3,4
0, sin o

Funcin objetivo:

Max 35x1 + 18x2 + 24x3 + 16x4


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Restricciones (tres alternativas):


1) Reinvirtiendo el dinero no utilizado en un
perodo:
Ao1: 10x1 + 8x2 + 6x3 + 12x4 + s1 = 30
Ao2: 8x1 + 15x2 + 4x3 + s2 = 15 + s1
Ao3: 18x1 + 16x3 12 + s2
xi {0,1} i = 1,2,3,4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

2) Sin invertir el dinero no utilizado en un perodo,


pero utilizando el retorno de los proyectos
concludos:
Ao1: 10x1 + 8x2 + 6x3 + 12x4 30
Ao2: 8x1 + 15x2 + 4x3 15 + 16x4
Ao3: 18x1 + 16x3 12 + 18x2
xi {0,1} i = 1,2,3,4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

3) Reinvirtiendo el dinero no utilizado en un perodo


y, tambin el retorno de proyectos concludos:
Ao1: 10x1+ 8x2+ 6x3+ 12x4+ s1 = 30
Ao2: 8x1+ 15x2+ 4x3 + s2 = 15 + s1 + 16x4
Ao3: 18x1 + 16x3 12 + s2 + 18x2
xi {0,1} i = 1,2,3,4
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Notar que el conjunto de las soluciones factibles es


finito. Esto ocurrir generalmente con los
problemas de Programacin Entera (puros). En el
ejemplo, el nmero de soluciones factibles no
supera el nmero de las soluciones binarias del
problema (variables restringidas slo a valores 0 o
1) que son 24 = 16, dado el nmero de variables
utilizadas, de hecho las soluciones factibles son
menos de 16 pues en particular xi=1 para i=1,2,3,4
no satisface las disponibilidades de capital en
cualquiera de las tres alternativas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Supongamos que adicionalmente la inversin


efectuada requiera nuevas restricciones.
i) Se debe invertir en al menos 1 de los 3 primeros
proyectos:
x1 + x2 + x3 1
i) El proyecto 2 no puede ser tomado a menos que
el proyecto 3 si sea tomado:
x2 x3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

iii) Se puede tomar el proyecto 3 o 4 pero no


ambos:
x3 + x4 1
iv) No se puede invertir en ms de dos proyectos:
x1 + x2 + x3 + x4 2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

b) Cumplimiento de un subconjunto de las


restricciones de un problema.

Consideremos un problema que posee las


siguientes restricciones:
12x1 + 24x2 + 18x3 2400
15x1 + 32x2 + 12x3 1800
20x1 + 15x2 + 20x3 2000
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Supongamos adems, que nos basta con obtener


alguna solucion ptima que verifique el
cumplimiento de al menos 2 de las 3 restricciones
anteriores.

Variables de decisin:
1, si la restriccin j se satisface
yj
0, sin o
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Cada inecuacin anterior la reemplazamos por:


12x1 + 24x2 + 18x3 2400 + M1 (1- y1)
15x1 + 32x2 + 12x3 1800 + M2 (1- y2)
20x1 + 15x2 + 20x3 2000 + M3 (1- y3)
Adems, debemos agregar la restriccin que
permita que a lo ms una de las restricciones no se
cumpla:
y1 + y2 + y3 2 Mi = constante lo suf. grande
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

c) Inclusin de costos fijos.

Supongamos que se desea tener lotes de compra


de un producto dado, para satisfacer demandas
que fluctan en el tiempo sobre un horizonte de
planificacin dividido en T perodos.
Asumimos conocidos: una estimacin de la
demanda dt, con t = 1, 2, ..., T, los costos fijos
asociados a la compra de una unidad pt,
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

los costos asociados al mantenimiento de una


unidad en inventario de cada perodo ht y los
costos fijos asociados a la gestin de compra en el
perodo t, st.

Observacin: no se permite unidades de faltante.


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Variables de decisin
xt: nmero de unidades compradas en t.
It : nivel de inventario al final del perodo t.
1, si se hace una compra en el periodo t
yt
0, sin o

con t: 1, 2, ..., T
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Funcin objetivo
T
Min st yt pt x t ht It
t 1

Restricciones
xt + It-1 - It = dt t = 1, 2, ..., T
I0 = inventario inicial
xt Mt yt t = 1, 2, ..., T
Mt = cte. grande
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

d) Problema de cobertura:

Dado un nmero de regiones o zonas, en las


cuales se ha subdividido una comuna, cuidad,
pas, etc., digamos que un total de m, se desea
instalar un cierto nmero de servidores (escuelas,
centros de atencin primaria de salud, compaas
de bomberos, etc.) de entre un conjunto de n
potenciales servidores ubicados en alguna de las
zonas dadas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Se conoce la informacin relativa a que zonas


pueden ser atendidas por cada uno de los n
potenciales servidores, es decir, se conoce la
matriz de incidencia A = (aij) donde :

1, si la zona i puede ser atendida por el servidor j


aij
0, sin o
con i 1,2,..., m y j 1,2,..., n
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Se desea determinar cules son los servidores que


deben ser instalados de modo de dar cobertura a
cada zona, dados los costos de instalacin cj del
servidor j.
Variables de desicin:

1, si se instala el servidor j
xj
0, sin o
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Funcin objetivo:
n
Min cj xj
j1
Restricciones:Para
n
cada zona i
aij x j 1
j 1

Se agrega la siguiente restriccin, si


adicionalmente, hay algn lmite en el nmero de
servidores que se pueden instalar (digamos k) :
m

xj k
j1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

e) Problema de transporte y localizacin :

Si se tiene un conjunto de m clientes que


demandan di unidades de un producto
determinado. Una compaa desea satisfacer esas
demandas desde un cierto conjunto de plantas
elegidas de n potenciales lugares donde se
instalarn.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Sean cj los costos asociados a la instalacin de la


planta j , vj el costo unitario de produccin de la
planta j y tij el costo de transporte de una unidad
desde la planta j al cliente i .
Se desea decidir cules plantas abrir y el tamao
de cada una de modo de satisfacer las demandas
estimadas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Variables de decisin:
1, si se abre la planta j
yj
0, sin o
xij = el nmero de unidades elaboradas en la
planta j para satisfacer el cliente i, con j = 1,...,n y
i = 1,....,m.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Funcin objetivo:


Min c j y j v j xij
n n m n m

i 1
tij xij
j 1 j 1 j 1 i 1

Costo de Costo de Costo de


Instalacin Produccin Transporte
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.1. Introduccin y ejemplos de modelamiento.

Restricciones:
m
1) Demanda cliente i:
xij di
i 1

2) Relacionar variables de produccin con las


asociadas a la apertura de plantas (variables
binarias): n

xij M j y j
j1

donde Mj es una constante grande (por ejemplo,


capacidad mxima de produccin de la planta j),
con xij 0 e yj {0,1}.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

Temario:

III.1. Introduccin y ejemplos de modelamiento.


III.2. Resolucin de problemas de P. E.
III.3. Mtodo de Branch and Bound.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Supongamos que tenemos el siguiente problema


de programacin lineal:
PL) Max cTx
s.a. Ax=b
x0
Pero todas o una parte de las variables deben
restringir su valor a nmeros enteros, dando origen
a un problema de Programacin Entera (puro) o
de Programacin Entera- Mixta, respectivamente.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Por ejemplo:
PLE) Max cTx
s.a. Ax=b
x 0, xj entero
El problema PL) corresponde a la relajacin
continua del problema PLE), que resulta de
eliminar las condiciones de integralidad de las
variables de decisin en PLE).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

El valor ptimo de PL) provee slo una cota


superior del valor ptimo de PLE). Notar sin
embargo, que si la solucin ptima de PL) cumple
con la integralidad de los valores requiridos,
entonces esta solucin es tambin solucin ptima
de PLE).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Ejemplo

PLE) Max x2
s.a. - 2x1 + 2x2 1
2x1 + x2 7
x1 0, x2 0 enteros
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

2x1 + x2 7 x2 - 2x1 + 2x2 1

. .
. . .
. . . . x1
3.5
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Notar que en el ejemplo la solucin ptima puede


ser hallada por simple enumeracin de todas las
soluciones factibles. Aqu las soluciones ptimas
son:
x1* = 1 o x1* = 2
x2* = 1 x2* = 1
Esta alternativa de enumeracin queda
naturalmente restringida a problemas muy
pequeos.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Alternativamente, podemos resolver la relajacin


continua asociada al problema PLE). Si la solucin
ptima de la relajacin continua da una solucin
entera, esa es la solucin ptima no solo del
problema lineal sino que tambin lo es del
problema lineal entero.
En el ejemplo, la solucin de la relajacin continua
es:
x1 = 3/2
x2 = 2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

A partir de esta ltima solucin podemos


redondear o truncar los valores que no salieron
enteros, obteniendo respectivamente en el
ejemplo:
x1 = 2 x1 = 1
x2 = 2 x2 = 2
las cuales no son soluciones factibles de PLE), de
modo que desde el punto de vista de una
resolucin numrica no es suficiente con resolver
la relajacin continua.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Todava podran resultar soluciones factibles de


PLE), pero no neceasariamente ptimas. Por
ejemplo:

PLE) Max f(x1, x2) = x1 + 5x2


s.a. x1 + 10x2 10
x1 1
x1 0, x2 0 enteros
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.2. Resolucin de problemas de P. E.

Solucin ptima de PL)


x1 = 1 f(1,9/10)=5,5
x2 = 9/10
Redondeando o truncando los valores
x1 = 1 infactible x1 = 1 f(1,0)=1
x2 = 1 x2 = 0
Pero la solucin ptima de PLE) es:
x1 = 0; x2 = 1; v(PLE) = 5
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

Temario:

III.1. Introduccin y ejemplos de modelamiento.


III.2. Resolucin de problemas de P. E.
III.3. Mtodo de Branch and Bound.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Consideremos el siguiente problema de


programacin entera:

PLE) Max 21x1 + 11x2


s.a. 7x2 + 4x2 13
x1 0
x2 0
x1, x2 enteros
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Consideremos inicialmente la resolucin de la


relajacin continua de PLE), que consiste en
eliminar las condiciones de integralidad.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.


x2

3 x2 = 3

3/2
2 x2 = 2

21x1+11x2=39
1 x2 = 1

13/7 sol. relajada

x1
x1 = 1 x1 = 2
21x1+11x2 7x1+4x2=13
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Descripcin del mtodo Branch and Bound


(maximizacin)

Paso 0
Hacer P0), la relajacin continua de PLE)
Fijar la cota inferior del v(PLE) en -.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Paso1
Seleccionar un problema no resuelto, Pi)
Resolver Pi) como problema de programacin
lineal.
Agotar este problema, usando:
(i) que se encontr una solucin entera
(ii) que el problema resulta infactible
(iii) que el problema no provee un valor mejor que
la actual cota del valor ptimo v(PLE).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Si el problema Pi) resulta agotado y da solucin


entera, mejorar el valor de la cota inferior de
v(PLE).
Si todos los problemas estn agotados, parar.
Solucin ptima de PLE), la solucin entera
asociada a la actual cota inferior de v(PLE), si
existe (si no existe entonces PLE) es infactible)
Si el problema no est agotado pasar al paso 2.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.

Paso 2
Seleccionar una variable xj= j, cuyo valor en la
solucin ptima de Pi) no de entero.
Eliminar la regin correspondiente a
j < j < j + 1
Crear dos nuevos problemas de programacin
lineal que incorporen a Pi) dos restricciones
mutuamente excluyentes: xj j, xj j +1 una
en cada problema y volver al paso 1.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

III.3. Mtodo de Branch and Bound.


x1 = 13/7
P0) Relajacin continua
x2 = 0
P0 -< z 39
z = 39
P1) Max 21x1 + 11x2
x11 x12
x1 = 1 s.a. 7x1 + 4x2 13
x2 = 3/2
P1 P2 x1 1
z = 37.5 x1 0
x22 infactible
x21 x2 0
x1 = 1 x1 = 5/7 P2) Max 21 x1 + 11x2
x2 = 1 P11 P12 x2 = 2 s.a. 7x1 + 4x2 13
z = 32 z = 37 x1 1
x11 x2 1
x1 = 0
x2 = 13/4 x1 0
P121 P122
z = 35.75 x2 0
x24 infactible De donde 32 z 39
x23
x1 = 0
x2 = 3 P1211 P1212 Solucin ptima
z = 33 infactible x1* = 0; x2* = 3; z = 33
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

BIBLIOGRFIA EN PROGRAMACIN ENTERA

1) Integer Programming, L.A.Wolsey. John Wiley & Sons,


Inc., New York, 1998.
2) Combinatorial Optimization C.H.Papadimitriou and
K.Steiglitz. Prentice Hall Inc., USA, 1982.
3) Linear and Combinatorial Programming, K. Murty. John
Wiley & Sons, Inc., New York, Second Edition 1976.
4) Integer and Combinatorial Optimization, George L.
Nemhauser and Laurence A. Wolsey. John Wiley & Sons, Inc.,
New York, 1999.
5) Model Building in Mathematical Programming, H.P.
Williams. John Wiley & Sons, Inc., New York, 4rd Edition
1999.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Entera

DIRECCIONES ELECTRNICAS EN PROGRAMACIN ENTERA

Preguntas de consulta frecuente en Programacin Lineal:


http://www-unix.mcs.anl.gov/otc/Guide/faq/linear-programming-faq.html

Servidor NEOS, gua de software de Programacin Entera:


http://www-fp.mcs.anl.gov/otc/Guide/SoftwareGuide/Categories/intprog.html

Servidor NEOS, ejemplo problema corte de rollos:


http://www-fp.mcs.anl.gov/otc/Guide/CaseStudies/cutting/index.html

Gua de software de Programacin Lineal en revista OR&MS Today


(INFORMS Magazine):
http://lionhrtpub.com/software-surveys.shtml
Gestin de Investigacin de Operaciones
Contenidos
I. Introduccin a la Investigacin de Operaciones
II. Modelos de Programacin Matemtica
Programacin Lineal
Programacin Entera
Programacin No- lineal
III. Modelos Probabilsticos
Procesos Estocsticos y Cadenas de Markov
Sistemas de Espera
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

A esta clase de problemas de optimizacin


pertenecen todos aquellos, en los cuales la funcin
objetivo y/o las restricciones son funciones no-
lineales de las variables de decisin.

En particular, la programacin no-lineal provee una


manera de abordar el no cumplimiento del
supuesto de proporcionalidad de la programacin
lineal, permitiendo la programacin de economas
o deseconomas de escala y/o retornos crecientes
o decrecientes a escala.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.


a) Rendimientos decrecientes a escala.
Una compaa vende cuatro productos diferentes.
El retorno que provee cada producto es una
funcin de la cantidad de recursos asignados a la
promocin y venta de cada producto, segn la
siguiente tabla:

PRODUCTO RETORNO (M$)


Producto 1 10.000 x1 0.50
Producto 2 7.500 x2 0.75
Producto 3 9.000 x3 0.60
Producto 4 15.000 x4 0.30
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

En este ejemplo:
xi es la cantidad de recursos asignados al producto
i, con i = 1,2,3,4.

El siguiente modelo provee una asignacin de


estos recursos, de modo de maximizar las
utilidades, considerando una inversin anual no
superior a los M$ 75.000.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Max

10.000 x10.5 + 7.500 x20.75 + 9.000 x30.6 + 15.000 x40.3

s.a:

x1 + x2 + x3 + x4 75.000
xi 0; i = 1, 2, 3, 4, 5.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

b) Aproximacin y ajuste de curvas.


Supongamos que se tiene un conjunto de datos
correspondientes a una determinada funcin
y=g(x) (desconocida), digamos (x1,y1), (x2,y2), ..,
(xm,ym) y se desea aproximar g(x) por una
funcin h(x)
ym

y2
y1

x1 x2 xm
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Algunas elecciones posibles:

i) h (x) = a0 + a1 x
ii) h (x) = a0 + a1 x + a2 x2
iii) h (x) = a0 + a1x a2
iv) h (x) = a0 ea1x
v) h (x) = a0 + a1 x + a2 ea3x
vi) h (x) = a0 + a1 ln(x)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Cmo elegir los coeficientes a=(a0,...,an) en la


funcin h(x) que aproxima o ajusta los datos
observados?

Se define una funcin de error: e(x,a) = g(x) h(x)

Una eleccin posible de los coeficientes ai resulta


de minimizar la suma ponderada de los errores al
cuadrado en cada uno de los datos , es decir:
m m
F(a) = i e(x i , a) = i ( yi h(x i ))
2 2
Min
i1 i1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Que da origen a un problema de programacin no-


lineal sin restricciones.
Si escogemos 1 = ... = m = 1 y h(x) = a0 + a1x, el
problema corresponde a una regresin lineal.

h(x)= a0 + a1x
ym

y2
y1
x1 x2 xm
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Cuya solucin resulta ser:


m
yi
a0
i1 m

m
yi x i
a 1 i1m
2
xi
i 1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

c) Localizacin de instalaciones.
Una compaa petrolera desea construir una
refinera que recibir suministros desde tres
instalaciones portuarias, cuyas coordenadas se
muestran en la siguiente figura:

Puerto B
40
30 Puerto C

Puerto A
30 80
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Si denotamos por x e y las respectivas


coordenadas de la refinera que se debe instalar,
una posible eleccin es aquella que resulta de
minimizar la cantidad total de tubera necesaria
para conectar la refinera con los puertos, dada
por:

Min f(x,y) = ( x 0)2 ( y 0)2


(x 30)2 ( y 40)2
(x 80)2 ( y 30)2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

La solucin ptima calculada por el solver de Excel


es:

Puerto B
x*=30,8052225
y*= 37,8900128
Puerto C

Refinera

Puerto A
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

d) Optimizacin de carteras de inversin


Se desea obtener una cartera de inversiones en
base a distintos instrumentos (acciones, pagars,
bonos, etc). La cartera elegida deber reflejar un
compromiso entre los retornos de los instrumentos
elegidos y el riesgo asociado a cada uno de ellos,
de hecho es natural esperar que a mayor retorno
haya un mayor riesgo y tambin que exista cierta
correlacin entre los retornos de los distintos
instrumentos de la cartera.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

A continuacin se formula un modelo para obtener


una cartera de inversin de un tomador de
decisiones con aversin al riesgo, con un vector de
retornos que tiene una distribucin normal con
media: r = (r1, r2, ..., rn)T y matriz de
covarianza: Q = (sij) con i = 1, 2, ..., n y j = 1, 2,
..., n donde sii denota la varianza del retorno del
instrumento i y donde sij (i j) es la covarianza de
los retornos del instrumento i con el j.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Sea xi el porcentaje de inversin del instrumento i


en la cartera, con i = 1, 2, ..., n las variables de
decisin del modelo y sea K una constante de
aversin al riesgo.

El siguiente modelo (propuesto por Markowitz,


Premio Nobel de Economa 1991), combina ambos
elementos presentes en una decisin de esta
naturaleza:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

n n n
Max rixi K sij xix j
i1 i1 j1
n
sa : xi 1
i1
xi 0 1 1,2,...,n

Usando el servidor Neos para una cartera con tres


acciones seleccionadas del men para este
problema en el servidor y un bono, se tiene:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Selected value of K is 10.00


Risk less rate of return (monthly) is 0.00407

Name Avg Return Std Pet of optimal


(monthly, pet) Desviation Portfolio
Coca Cola Co 2,885 6,574 48,6
Exxon Corp 1,647 4,939 13,7
Texaco Inc 1,869 6,381 16,6
Bond 0,407 0 21
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.1. Introduccin y ejemplos.

Optimal Portfolio Statistics


Avg Return (monthly, pet) 2,03
Std Desviation 4,02
Pet of Optimal Potrfolio 27,2

21.0% Coca Cola


48.6% Exxon Corp
Texaco Inc
16.7%
Bond
13.7%
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

De manera general, un problema de optimizacin


considera la resolucin de un modelo como el que
sigue:
P) Min f(x)
s.a. x D IRn

Donde f: IRn IR es una funcin, comnmente


continua y diferenciable, y D es el dominio de
factibilidad del problema, generalmente dado por:
D = {x IRn / gi(x) = bi i=1,...,m; hr(x) dr r =1,...,l}
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Decimos que x* D es un mnimo global o


solucin ptima del problema P) ssi:
f(x*) f(x) para todo x D

Por otra parte, decimos que x^ D es un mnimo


local del problema P) ssi:
f(x^) f(x) para todo x en una vecindad de x^
(x D B(x^, ))
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Min f(x) = (x - 1) (x - 2) (x - 3) (x - 4) (x - 5)
s.a: 1x5

f(x) Son mnimos locales x=1,


x+ y x*, en tanto la
solucin ptima o
minimo global es x*
x*
x
1 2 3 4 5

x+
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL


f(x,y) = -4x3 + 3x - 6y
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL


f(x,y) = x2 - 4x - 2y
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Existen resultados que garantizan la existencia y


unicidad de la solucin de un problema de
programacin no lineal.

Teorema (Weiertrass). Si f es una funcin continua


y D es un conjunto no vaco cerrado y acotado de
IRn, entonces P) tiene solucin ptima.

Teorema. Si f es una funcin continua y D es un


conjunto cerrado no vaco y adems f cumple que:
lim f (x ) , entonces P) tiene solucin ptima.
|x|
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Por su parte, la unicidad de la solucin ptima se


puede garantizar slo bajo ciertas condiciones muy
especiales.
De igual modo es posible garantizar si un mnimo
local es un mnimo global del problema.
Para esto se requiere saber si el problema P) es un
problema convexo, esto es si la funcin objetivo
f(x) es convexa y el conjunto D de puntos factibles
es un conjunto convexo.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Definicin. Decimos que f: IRnIR es una funcin


convexa ssi:
fx + (1-)y ) f(x) + (1-)f(y)
para todo x, y D (x y) con [0, 1]

Si la desigualdad anterior se cumple de manera


estricta, decimos que f es estrictamente convexa.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Lineal a trozos

f(y)
f(x)

x y
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Adicionalmente, se tiene el siguiente resultado


Teorema. Si f es una funcin dos veces
continuamente diferenciables, las siguientes
afirmaciones son equivalentes:
i) f es una funcin convexa
ii) f(x) f(y) + fT(y)(x-y) para dos puntos
cualesquiera x e y.
iii) La matriz hessiana de las segundas derivadas
parciales de f, denotada en lo que sigue por D2f(x),
es semi positiva definida para todo x.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Por otra parte, tambin podemos caracterizar si un


conjunto cualquiera es convexo o no, de acuerdo a
la siguiente:
Definicin. D IRn, un conjunto no vaco, es
convexo ssi x + (1-) y D, para todo x D,
y D con [0,1].

y y
x
x
Es convexo No es convexo
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

As por ejemplo, si h(x) es una funcin convexa el


conjunto D = { x IRn h(x) d } es convexo para
cualquier escalar real d.
Tambin es posible demostrar que la interseccin
de conjuntos convexos es un conjunto convexo. De
aqu que por ejemplo el problema
P) Min f(x)
s.a hr(x) dr r=1,2,...,l
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Con f(x) y hr(x) funciones convexas para r=1,2,..,l


definen un problema convexo, pues el dominio de
factibilidad es la interseccin de los conjuntos
convexos Dr={ x IRn hr(x) dr }, para r=1,2,..,l.
Teorema. Si P) es un problema convexo y x* es un
mnimo local de P) entonces x* es un mnimo
global o solucin ptima de P), si adems, f es una
funcin estrictamente convexa x* es una solucin
ptima nica.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

La principal dificultad en los problemas de


programacin no lineal es que incluyen restriciones
no lineales de igualdad como g(x) = b y el conjunto
de puntos {xIRn : g(x)=b} generalmente no es
convexo cuando g(x) es una funcin no lineal
cualquiera. Por lo tanto no todos los problemas de
programacin no lineal son convexos y esto hace
ms difcil garantizar que la solucin encontrada
por un solver sea una solucin ptima del
problema.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Como puede verse en el siguiente ejemplo, que


resolveremos grficamente, la geometra de los
problemas tambin cambia respecto de lo
observado en programacin lineal.
Consideremos el siguiente problema:
Min (x1 - 3)2 + (x2 - 4)2
s.a. x1 + x2 5
x1 - x2 5/2
x1 0, x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

La solucin ptima x* de este problema se alcanza


el punto x1* = 2, x2* = 3 correspondiente al nico
punto de la curva de nivel que tiene el menor valor
y que intersecta la regin de puntos factibles.
Notar que la solucin ya no corresponde a un
vrtice del dominio de factibilidad del problema,
an cuando todava esta solucin se alcanza en la
frontera de dicho conjunto.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Sin embargo, esto ltimo, a diferencia de lo que


ocurre en programacin lineal, no siempre se
produce. Si por ejemplo el problema es ahora:
Min (x1 - 2)2 + (x2 - 2)2
s.a x1 + x2 5
x1 - x2 5/2
x1 0, x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

La solucin cambia a lo representado en la


siguiente figura, donde la solucin ptima se
alcanza en x1* = 2, x2* = 2, ahora perteneciente al
interior del dominio de factibilidad del problema.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.2. Propiedades bsicas de los prob. de prog. NL

Grficamente,
tambin
podemos
observar la
presencia de
divesos mnimos
locales en un
problema no
lineal.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

En esta seccin consideraremos un problema


P) Min f(x) con x IRn
A esta clase de problemas pertenece por ejemplo
el problema de aproximacin y ajuste de curvas.
Sin embargo, la principal razn para su estudio
radica en la extensin de las ideas y mtodos para
esta clase de problemas a los problemas de
optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

A continuacin se resumen algunos resultados


tericos para esta clase de problemas:

Teorema (condiciones necesarias de primer


orden). Si f es una funcin continuamente
diferenciable y x+ IRn es un mnimo local de P),
entonces: f(x+) = 0.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Teorema (condiciones necesarias de segundo


orden). Si f es una funcin dos veces
continuamente diferenciable y x+ IRn es un
mnimo local de P), entonces:
f(x+) = 0 y D2 f(x+) es semi positiva definida.

Dado lo anterior, no todos los puntos x IRn que


satisfacen las propiedades mencionadas son
mnimos locales de la funcin, sin embargo existen
resultados que proveen condiciones necesarias y
suficientes para que un punto sea un mnimo local.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Teorema (condiciones necesarias y suficientes de


segundo orden). Sea f una funcin dos veces
continua diferenciable en x+ IRn . Si f(x+) = 0 y
D2f(x+) es positiva definida, entonces x+ es un
mnimo local estricto.

Teorema. Sea f una funcin convexa


continuamente diferenciable, entonces x+ es un
mnimo global ssi f(x+) = 0.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Ejemplo. Considere la funcin:


f(x1,x2) = 3 x12 + x23 - 3/2 x22
su gradiente y matriz Hessiana corresponden a:

6x1
f ( x ) 2
2
3 x 3 x 2

6 0
D f (x )
2

0 6 x 2 3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

De modo que hay dos posibles candidatos,


x+ = (0, 0)T y x* = (0, 1)T, que satisfacen las
condiciones necesarias de primer orden. Sin
embargo
6 0
D f (x )
2

0 6 x 2 3

slo es positiva definida en x* = (0,1), de modo que


x* es un mnimo local del problema.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

La mayor parte de los algoritmos de optimizacin


para abordar esta clase de problemas pertenecen
a la clase de algoritmos generales de descenso
que reducen el clculo de un mnimo local a una
secuencia de problemas de bsqueda lineal (o
bsqueda unidimensional).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Decimos que un vector d IRn es una direccin de


descenso de la funcin f en el punto x+ ssi la
derivada direccional de f en x+ en la direccin d, es
negativa: x2

f(x)

d
x+

-f(x)

Z=20
Z=10 x1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Consideremos adems la funcin unidimensional


(en una variable)
g() = f(x+ + d)
donde es un escalar real llamado el tamao del
paso. Esta funcin da el valor de la funcin f
cuando uno se mueve a partir del punto x+ en la
direccin d un cierto paso .
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Claramente, si g(0) = fT(x+)d < 0, es posible


escoger un paso tal que:
g() = f(x+ + d) < f(x+) = g(0)
esto es, que reduzca el valor de la funcin respecto
del valor actual en x+.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Algoritmo general de descenso


1) Considere un punto inicial x = x0. Hacer k = 0.
2) Escoger una direccin de descenso dk.
3) Realizar una bsqueda lineal que seleccione un
paso k tal que: gk(k) = f(xk + kdk) < f(xk) = gk(0)
4) Hacer xk+1 = xk + kdk.
5) Hacer un test de convergencia. Si converge
parar. En caso contrario, hacer k=k+1 y volver a 2)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

En el paso 5), los criterios ms usuales de


convergencia son que se cumpla:
f(xk)
f(xk+1) - f(xk)/ (1+ f(xk))
para un cierto nmero L de valores consecutivos
de k, y donde es una tolerancia de error dada,
por ejemplo = 10-4.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Existen varios mtodos para escoger una direccin


de descenso, uno de ellos es:

Mtodo del Descenso ms Pronunciado


En este mtodo, tambin conocido como Mtodo
del Gradiente o Mtodo de Cauchy, dado la actual
aproximacin xk, la direccin de descenso se
escoge como:
dk = -f(xk)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Ejemplo.Considerar el problema:

Min (x1 2)4 + (x1 2x2)2


sa: x1
x IR 2

que resolvemos usando el mtodo del descenso


ms pronunciado a partir del punto x10 = 0, x20 = 3
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Iteracin k xk f(xk) f(xk) k


1 (0.00,3.00) 52.00 (-44.00,24.00) 0.062
2 (2.70,1.51) 0.34 (0.73, 1.28) 0.24
3 (2.52,1.20) 0.09 (0.80,-0.48) 0.11
4 (2.43,1.25) 0.04 (0.18, 0.28) 0.31
5 (2.37,1.16) 0.02 (0.30,-0.20) 0.12
6 (2.33,1.18) 0.01 (0.08, 0.12) 0.36
7 (2.30,1.14) 0.009 (0.15,-0.08) 0.13
8 (2.28,1.15) 0.007 (0.05, 0.08)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Otra eleccin posible para la direccin de


descenso es la que usa el:

Mtodo de Newton
Aqu el vector dk se calcula como la solucin del
siguiente sistema de ecuaciones:
D2f(x)dk = - f(x)
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Sin embargo, a pesar de ser un mtodo ms


eficiente que el anterior respecto de su rpidez de
convergencia, requiere en cada iteracin, el clculo
de las segundas derivadas parciales y la resolucin
de un sistema de ecuaciones. Adems, dk est
garantizada que es una direccin de descenso slo
si D2f(xk) es positiva definida.

Al aplicar el mtodo al ejemplo anterior se tiene:


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.3. Problemas de optimizacin no restringida.

Iteracin k f(xk) f(xk)


1 (0.00,3.00) 52.00 (-44.00,24.00)
2 (0.67,0.33) 3.13 (-9.39,-0.04)
3 (1.11,0.56) 0.63 (-2.84,-0.04)
4 (1.41,0.70) 0.12 (-0.80,-0.04)
5 (1.61,0.80) 0.02 (-0.22,-0.04)
(-0.07, 0.00)
6 (1.74,0.87) 0.05 (-0.0003,-0.04)
8 (1.83,0.91) 0.0009
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

El problema que se desea abordar consiste en:

P) Min f(x)
s.a. g1(x) = b1
g2(x) = b2

g m(x) = bn mn
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Definicin. Decimos que x IRn es un punto


regular de las restricciones del problema P) ssi:

gi(x) = bi i = 1, 2, ..., m

g1(x), g2(x), ..., gm(x) son vectores l.i.


Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Para presentar algunos resultados tericos, que


permiten el clculo de mnimos locales, se
introdujo la definicin anterior, que se relaciona con
el cumplimiento de ciertas condiciones de
regularidad del problema.

A continuacin, introducimos la funcin


Lagrangiana asociada a P):
m
L(x, ) f (x) i (gi (x) bi )
i1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

donde 1, 2, ..., m)T representa el vector de


los Multiplicadores de Lagrange.

Los siguientes resultados tericos establecen


ciertas propiedades que satisface un mnimo local,
las cuales muestran, en particular, que dicho punto
es un punto estacionario de la funcin
lagrangeana.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Teorema. (Condiciones necesarias de primer


orden):
Sean f(x) y g1(x),g2(x),...,gm(x) funciones
continuamente diferenciales y sea x^ un mnimo
local que adems es un punto regular de las
restricciones de P), entonces existe un vector
^ IRm, de multiplicadores de Lagrange tales que:
m
x L(x ^ , ^ ) f (x ^ ) ^i gi (x ^ ) 0
i1
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Teorema (Condiciones necesarias y suficientes de


segundo orden).
Sean f, g1 ,g2, ..., gm funciones dos veces
continuamente diferenciables y sea x^ IRn un
punto regular de las restricciones de P) que junto
con ^ IRm, satisfacen:
m
xL(x , ) f (x ) ^igi (x ^ ) 0
^ ^ ^

m i1
y que
D2 f ( x ^ ) ^i D2gi (x ^ )
i1
es una matriz positiva definida entonces x^ es un
mnimo local de P).
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Ejemplo: Min x12 x 22


sa : x1 x 2 4
x1
x IR 2

Buscamos la solucin ptima usando las


condiciones de optimalidad:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

f (x ) x12 x 22 ;m 1 h1(x ) x1 x 2 4

f (x ) (2x1, 2x 2 )T 0 0
h1( x )
0 0

2 0 0 0
D f (x )
2 D h( x )
2

0 0
0 2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

Luego las condiciones de primer orden son:

2x1 + 1 = 0
2x2 + 1 = 0
x1 + x2 - 4 = 0 ( Factibilidad)

Resolviendo el sistema: x1 = x2 = 2; 1 = -4, luego


por existencia de la solucin ptima de P) se tiene
que la solucin ptima es :
x1=2 , x2=2
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.4. Problemas con restricciones de igualdad.

De todos modos las condiciones de segundo orden


se cumplen pues:

2 0 0 0 2 0
0 2 1 0 0 0 2

es positiva definida. m
Notar que en x* se tiene: f ( x ) *i hi ( x * )
*

i1

4 4 T 41 1T
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.5. Prob. con rest. de igualdad y desigualdad.

Por ltimo consideramos un problema ms general


de optimizacin:
P) Min f(x)
s.a. gi(x) = bi i = 1, 2, ..., m
hr(x) = dr r = 1, 2, ..., l

En este caso decimos que x^ es un punto regular


de las restricciones del problema ssi:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.5. Prob. con rest. de igualdad y desigualdad.

gi(x^) = bi ; i = 1, 2, ..., m

hr(x^) dr ; r = 1, 2, ..., l

g1(x^), g2(x^), ..., gm(x^), hj(x^) vectores l.i.

con j { r / hr(x^) = dr }
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.5. Prob. con rest. de igualdad y desigualdad.

Teorema (condiciones necesarias de primer orden


de Karush-Kuhn-Tucker (KKT)).
Suponga que las funciones f, g1, ..., gm, h1, ..., hl
son continuamente diferenciables. Sea x^ un
punto regular de P) y mnimo local del problema,
entonces existen multiplicadores de lagrange: 1, 2
, ..., m y m1 , m2 , ..., ml 0 :
m l
f (x ) i gi (x ) m r hr (x ^ ) 0
^ ^
i 1 r 1
m r (hr (x ^ ) dr ) 0 ; r 1, 2, ..., l
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

Temario:

IV.1. Introduccin y ejemplos.


IV.2. Propiedades bsicas de los problemas de
programacin no-lineal.
IV.3. Problemas de optimizacin no restringida.
IV.4. Problemas con restricciones de igualdad.
IV.5. Problemas con restricciones de igualdad y
desigualdad.
IV.6. Mtodos de optimizacin restringida.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

a) Mtodo de activacin de restricciones


Este mtodo se aplica en esta descripcin a
problemas que slo poseen restricciones de
desigualdad.
La idea es que si el problema no restringido tiene
una solucin ptima que no satisface una parte de
las restricciones, se considera k restricciones como
de igualdad y se resuelve este problema
restringido hasta llegar a un conjunto de
restricciones activas cuya solucin tambin
satisface las restricciones omitidas.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Paso1: Resuelva el problema no restringido. Si el


ptimo satisface todas las restricciones parar, en
caso contrario, hacer k=1 e ir al paso 2.
Paso 2: Activar cualquiera de las k restricciones y
hallar una solucin que satisfaga las condiciones
de optimalidad KKT. Si la solucin resulta factible
para las restantes restricciones parar. Sino, active
otro conjunto de k restricciones y repita el paso. Si
se han tomado todos los conjuntos de k
restricciones sin hallar solucin factible ir al paso 3.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Paso 3: Si k = L (# total de restricciones) no existe


solucin factible. En caso contrario, hacer k= k+1 e
ir a paso 2.

Ejemplo. Consideremos el problema:


Min (2x1 5)2 + (2x2 1)2
s.a. x1 + 2x2 2
x1, x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

El problema no restringido tiene como solucin a

x1* = 5/2 y x2* =

obtenida al resolver: f(x) = 0

Claramente, este punto no satisface la restriccin:


h1(x1,x2) = x1 + 2x2 2.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Consideramos entonces activa la restriccin lineal,


esto es resolvemos:
f(x1, x2) + m1 h1(x1, x2) = 0
h1 (x1, x2) = 2

Cuya solucin optima es:


x1^ = 22/10 = 11/5
x2^ = -1/10
m1^ = -12/5 que no satisface x2 0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Continuando con el mtodo, si slo se activa x1= 0


se llega al mnimo local:
x1 = 0, x2 = m2= 0, m1= 0, m3= 0

Notar que otro mnimo local se tiene con


x1 + 2x2 2 y x2 = 0 activas, obtenindose:
x1 = 2, x2 = 0.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

b) Mtodo de Frank Wolfe.


Este mtodo permite la resolucin de un problema
cuya funcin objetivo es una funcin convexa no-
lineal y cuyas restricciones son todas lineales. Este
mtodo reemplaza la funcin objetivo por una
secuencia de funciones lineales que la aproximan,
dando as origen a una secuencia de problemas de
programacin lineal.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Si xk es la actual aproximacin a la solucin ptima


del problema
P) Min f(x)
s.a. Ax = b
x0

Entonces la expansin en serie de Taylor en torno


a x =xk, a saber f(x) = f(xk) + f(xk)(x xk), permite
aproximar el problema P) por el problema lineal:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Min f(xk) + f(xk)(x xk)


s.a. Ax = b
x0
o equivalentemente, eliminando los trminos
constantes, se puede considerar el problema:
PLk) Min f(xk)x
s.a. Ax = b
x0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Si xPLk denota la solucin ptima de PLk), este


punto no necesariamente es cercano a xk de modo
que es necesario proponer un punto que resulte de
hacer una minimizacin unidimensional en el
segmento que une xk con xPLk.

Todo lo anterior se resume en el siguiente


algoritmo:
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Pao 0: Escoger un punto inicial factible x0. Hacer


k = 1.
Paso 1: Evaluar c= f(xk-1)
Paso 2: Hallar la solucin ptima xPLk del siguiente
problema lineal
Min cT x
s.a. Ax = b
x0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Paso 3: Para la variable [0, 1], se define


g() = f(xk-1 + [xPLk xk-1])
Usar algn procedimiento de minimizacin
unidimensional para hallar un k que aproxime la
solucin de Min { g() / [0, 1]}
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Paso 4: Hacer xk = xk-1 + k (xPLK xk-1)


Paso 5: Si se satisface el criterio de parada del
mtodo, parar. En caso contrario, hacer k = k + 1 y
volver al Paso 1.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

IV.6. Mtodos de optimizacin restringida.

Ejemplo.
Min x12 5x1 + 2x22 8x2
sa: 3x1 + 2x2 6
x1, x2 0

Iteracin k x k-1 f(x k-1) xLPk xk k


1 (0, 0) (-5, -8) (0, 3) (0, 2) 2/3
2 (0, 2) (-5, 0) (2, 0) (5/6, 7/6) 5/12
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

BIBLIOGRFIA EN PROGRAMACIN NO LINEAL

1. Nonlinear Programming, M.Bazaraa, H.Sherali and C.Shetty.


John Wiley & Sons, Inc., New York, Second Edition 1993.
2. Nonlinear Programming, D.Bertsekas. Athena Scientific USA,
1995.
3. Numerical Methods for Unconstrained Optimization and
Nonlinear Equations, J.Dennis and R.Schnabel. SIAM Classics in
Applied Mathematics 16. SIAM Publications, Philadelphia, 1996.
4. Practical Methods of Optimization, R.Fletcher. John Wiley &
Sons, Inc., 1981.
5. Introduccin a la Programacin Lineal y No Lineal,
D.Luenberger. Adisson Wesley Iberoamericana 1989.
6. Mathematical Programming: Theory and Algorithms, M.Minoux.
John Wiley & Sons, Inc., New York, 1986
7. Optimization Software Guide, J.Mor and S.Wright, SIAM
Frontiers in Applied Mathematics 14, SIAM Publications,
Philadelphia 1993.
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin No - lineal

DIRECCIONES ELECTRNICAS EN PROGRAMACIN NO


LINEAL

Preguntas de consulta frecuente en Programacin No Lineal:


http://www-unix.mcs.anl.gov/otc/Guide/faq/nonlinear-programming-faq.html

Servidor NEOS, gua de software de Programacin No Lineal :


http://www-fp.mcs.anl.gov/otc/Guide/SoftwareGuide/Categories/unconstropt.html
http://www-fp.mcs.anl.gov/otc/Guide/SoftwareGuide/Categories/constropt.html

Servidor NEOS, ejemplo problema de carteras de inversin:


http://www-fp.mcs.anl.gov/otc/Guide/CaseStudies/port/index.html

Gua de software de Programacin No Lineal en revista OR&MS Today


(INFORMS Magazine):
http://lionhrtpub.com/software-surveys.shtml
Gestin de Investigacin de Operaciones
Contenidos
I. Introduccin a la Investigacin de Operaciones
II. Modelos de Programacin Matemtica
Programacin Lineal
Programacin Entera
Programacin No- lineal
III. Modelos Probabilsticos
Procesos Estocsticos y Cadenas de Markov
Sistemas de Espera
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de Markov

Temario:

V.1. Introduccin.
V.2. Proceso de Poisson.
V.3. Cadenas de Markov en tiempo discreto.
V.4. Clasificacin de los estados y distribucin
lmite.
V.5. Cadenas de Markov en tiempo continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de Markov

V.1. Introduccin.

Un Proceso Estocstico se define como secuencia


de variables aleatorias {Xt} tT, donde el conjunto
de ndices T puede ser un conjunto discreto, por
ejemplo T = {0,1,2,3,...}, caso en el cual decimos
que el proceso es tiempo discreto o bien T puede
ser un intervalo, por ejemplo T= [0,), caso en el
cual decimos que el proceso es en tiempo
continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de Markov

V.1. Introduccin.

El proceso estocstico {Xt} tT puede representar


por ejemplo:
El nmero de vehculos esperando en una plaza
de peaje en el instante t.
El nmero total de llamadas recibidas solicitando
un determinado servicio hasta el instante t.
El nmero de mquinas descompuestas o en
reparacin en un determinado taller en el instante
t.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de Markov

V.1. Introduccin.

El nivel de inventario de cierto producto al final


del da t.
El valor de una determinada accin en el instante
t.
Por ejemplo, la evolucin del nmero de
compradores en una tienda al ser abierta al
pblico, entre las 8:00 y 9:40 de la maana (100
minutos) puede ser representada por un proceso
estocstico y una posible realizacin de ste se
observa en la siguiente grfica:
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de Markov

V.1. Introduccin.

Nmero 4
de
3
compradores
en el
2
sistema
1

0
20 40 60 80 100
Tiempo (en minutos)
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

Temario:

V.1. Introduccin.
V.2. Proceso de Poisson.
V.3. Cadenas de Markov en tiempo discreto.
V.4. Clasificacin de los estados y distribucin
lmite.
V.5. Cadenas de Markov en tiempo continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

En primer lugar, definimos un proceso estocstico


de conteo {Nt} t0, que corresponde al nmero total
de eventos o llegada de entidades, a un sistema
dado, ocurridas hasta el instante t, el cual
satisface:
i) N0=0.
ii) Los valores de Nt estn restringidos a nmeros
enteros.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

iii) Nt es un proceso no decreciente en el tiempo,


es decir si s < t entonces Ns Nt
iv) Si s < t entonces Nt Ns es el nmero total de
eventos en el intervalo (s,t]

Si por ejemplo, Nt denota el nmero total de


llamadas recibidas en una central telefnica hasta
el instante t, para todo t 0, una realizacin
posible del proceso estocstico {Nt} t0 puede ser:
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

6 Nt
Nmero 5
de
4
llamadas
3

Tiempo
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Un proceso estocstico de conteo {Nt} t0 se dice


un proceso de Poisson ssi satisface las siguientes
propiedades:

i) Incrementos estacionarios. La probabilidad de


que ocurra exactamente k eventos en el intervalo
(s,s+h] depende slo del tiempo de duracin h y
no del instante s, es decir, si t10, t20 y h0
entonces Nt1+hNt1 y Nt2+hNt2 son v.a. con igual
distribucin.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

ii) Incrementos Independientes. El nmero de


eventos que ocurren durante intervalos de tiempo
disjuntos son independientes. Es decir, si
0<t0<t1<...<tn entonces Nt0, Nt1-Nt0, ..., Ntn-Nt(n-1)
son v.a. Independientes.

iii) Propiedad de orden. Se asume que no tiene


lugar de manera simultnea la llegada u ocurrencia
de dos o ms eventos.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Existe una constante > 0 tal que para todo


t [0,[ y h > 0, se tiene:
IP(Nt+h Nt =1) = h +o(h)
IP(Nt+h - Nt 2) = o(h)
Si {Nt}t0 es un proceso de Poisson, entonces para
todo t 0, la variable aleatoria Nt es una variable
aleatoria Poisson de parmetro t, esto es
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

IP(Nt = k) = -et (t)k / k ; k= 0,1,2,3,...,


donde es la tasa de ocurrencia de eventos por
unidad de tiempo. De aqu entonces que
IE (Nt) = t
Var(Nt) = t
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Ejemplo. Para un proceso de Poisson a tasa , se


sabe que entre 0 y t han ocurrido n eventos. Hallar
la probabilidad de que en un subintervalo de
longitud h haya ocurrido exactamente k de esos
eventos.
Sea {Nt}t0 dicho proceso, entonces
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

IP(Nh=k / Nt=n)
= IP(Nh=k, Nt=n) / IP(Nt=n)
= IP(Nh=k, Nt Nh = n - k) / IP(Nt=n)
= IP(Nh=k)IP(Nt Nh = n - k) / IP(Nt=n)
= IP(Nh=k)IP(Nt-h= n - k) / IP(Nt=n)
= e-h(h)k / k e-(t-h) ((t-h))n-k / (n-k) /
e-t(t)n / n
k n k
= h h t h

k t t
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Ejemplo.
Suponga que llegan pasajeros a un terminal de
buses de acuerdo a un proceso de Poisson {Nt}t0
a tasa =3 pas./min. En el instante t=0 acaba de
salir un bus y no deja ningn pasajero en la fila,
suponga adems que cada bus tiene una
capacidad suficiente para no dejar pasajeros
esperando en el terminal.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Sea T el tiempo que transcurre hasta la prxima


salida de un bus, este corresponde a una v.a.
uniforme en el intervalo (9 min, 11 min) y es
independiente del proceso {Nt}t0. Se desea
calcular el nmero esperado de pasajeros que
aborda cada bus.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Solucin
11
1
IE(Y n) IE(Y / T t ) dt
9 11 9
11
1
IE(Nt ) dt
9 2
1 11
3t dt
29
30
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Interesa estudiar sistemas en los cuales ocurren


determinados eventos a travs del tiempo. Hemos
utilizado un proceso de Poisson {Nt}t0 para el
nmero de eventos que ocurran hasta un instante
t, asociado a este proceso tambin existen v.a.
continuas T1, T2,..., Ti, ... que indican el instante de
ocurrencia del i-simo evento y v.a. continuas
S1 = T1, S2 = T2 - T1, ... que representan el tiempo
transcurrido entre eventos sucesivos.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

6 Nt
Nmero 5
de
eventos 4
3
2
1
0
T1 T2 T3 T4 T5 Tiempo
S1 S2 S3 S4 S5
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Teorema. Si {Nt}t0 es un proceso de Poisson a


tasa , las v.a. S1, S2, S3, ... de los tiempos entre
eventos sucesivos, son i.i.d. con distribucin
exponencial de parmetro . Es decir, para t0

F(t) = IP (Si t) = 1 e-t f(t) = e-t

son sus respectivas funciones de distribucin y


densidad.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Ejemplo.
Sea {Nt}t0 un proceso de Poisson a tasa , que
cuenta el nmero de veces que se ha
reemplazado una ampolleta en una lmpara
determinada. Si la primera ampolleta lleva s horas
funcionando, calcular la probabilidad de que
complete ms de s + t horas funcionando.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Denotamos por T1 la v.a. correspondiente al


tiempo transcurrido hasta que se produce el primer
reemplazo. Entonces T1 Exp(), luego

IP(T1 s t )
IP(T1 s t / T1 s)
IP(T1 s)
e (s t ) s
t
e IP(T1 t )
e
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Lo anterior quiere decir que el funcionamiento de


la ampolleta durante las siguientes t horas no
depende de cuantas horas lleva funcionando, esta
propiedad es conocida como la falta de memoria
de la distribucin exponencial.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Ejemplo.
Suponga que en un proceso productivo se tiene
dos mquinas que trabajan en paralelo elaborando
un mismo producto. Sean Nt1 y Nt2 procesos de
Poisson independientes a tasas 1 y 2 que
cuentan el nmero de fallas hasta el instante t de
la mquina 1 y 2 respectivamente. Calcular la
probabilidad de que la mquina 2 falle por primera
vez antes de que la mquina 1 falle por primera
vez.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Sean T1 y T2 los tiempos transcurridos hasta que


se produce la primera falla en la mquina 1 y 2
respectivamente.
Entonces, T1 Exp(1) y T2 Exp (2) y se pide
calcular IP(T2<T1) lo cual resulta, condicionando
por ejemplo en el valor de T1,

IP (T2<T1 ) = 2/(1 +2)


Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Condicionando el valor de T1 se tiene:

IP(T 2 T 1 ) IP(T 2 T 1 t ) 1e dt 1

IP(T 2 t ) 1e t dt
1

IP(1 e t ) 1e t dt
2 1

1 1 e ( ) t dt
1 2

1 1 /( 1 2 )
2 /( 1 2 )
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Por otra parte, las variables aleatorias T1,T2,..., de


los instantes de ocurrencia de los eventos
satisfacen:
T1 = S1 Exp ()
T2 = S1 + S2 Gamma (2,)
.
.
.
Ti = S1 + S2 + ... + Si Gamma (n,)
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.2. Proceso de Poisson.

Cuya funcin de distribucin corresponde a:

n 1 ( t )k
IP(Ti t ) 1 e t
k 0 k!
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

Temario:

V.1. Introduccin.
V.2. Proceso de Poisson.
V.3. Cadenas de Markov en tiempo discreto.
V.4. Clasificacin de los estados y distribucin
lmite.
V.5. Cadenas de Markov en tiempo continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Consideremos un ejemplo simplificado relacionado


con la propagacin de una enfermedad
contagiosa. La transmisin de la enfermedad se
produce desde un individuo infectado a uno
susceptible. Consideremos periodos semanales.
Sea p la probabilidad de que durante una semana
cualquiera un individuo infectado le transmita la
enfermedad a uno susceptible. Asuma que una
vez que una persona ha sido infectada queda
inmune, una vez que ha sido tratada.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Sea Xn el nmero de individuos susceptibles de


contagio en la poblacin, al final de la semana
n=1,2,...
Se define pij IP(Xn1 j / Xn i) , como la
probabilidad de que haya j individuos susceptibles
al final de la semana n+1 dado que hay
exactamente i individuos susceptibles al final de la
semana n (i j ).
i i j
Entonces: pij p (1 p) j
j
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Un proceso estocstico en tiempo discreto


{Xn}n=1,2,.... se denomina una Cadena de Markov
en tiempo discreto ssi satisface las siguientes
propiedades:
i) Propiedad Markoviana:
IP(X n1 j / X 0 i0 , X 1 i1,...,X n1 in1, X n i)
IP(X n1 j / X n i)
Donde i0, i1, ..., in-1, i, j son posibles estados o
valores que puede tomar el proceso estocstico en
las distintas etapas.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

ii) Propiedad estacionaria:


La probabilidad pij IP(Xn1 j / Xn i) , no
depende de la etapa n.
Las probabilidades pij son llamadas
probabilidades de transicin en una etapa del
estado i al estado j . Suponiendo que cada etapa
n la v.a. Xn toma un nmero finito de valores
(estados), digamos 1,2,... M; estas probabilidades
definen una matriz P de probabilidades de
transicin en una etapa.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

p11 p12 p1M


p p 22 p 2M
21
P (pij )i1...M
j1...M p
(M1)1 p (M1)2 p (M1)M
pM1 p M2 pMM
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Adicionalmente, se supone conocida la


distribucin de probabilidad de la Cadena de
Markov en la etapa inicial, que denotamos segn
f0 , donde :
IP(X 0 1)
IP(X 2)
f0 0

IP(X M)
0
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

El conocimiento del proceso estocstico


{Xn}n=0,1,2,...consiste en poder determinar la
distribucin de probabilidad en cada etapa,
esto es calcular IP (Xn = j) para cada n 1 y
estado j= 1,2,.....,M.
Notar que para cada j:
IP(X n j) IP(X n j / X n1 i) IP(X n1 i)
i
pij IP(X n1 i)
i
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Matricialmente esto equivale a tener:


IP(X n 1) p11 p 21 pM1 IP(X n1 1)
IP(X 2) p p p IP(X 2 )
n 12 22 M2 n 1
fn


IP(X n M) p1M p 2M pMM IP(X n1 M)
De manera recursiva se tiene entonces:

fn = PT fn-1 = (PT)n f0
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Tambin es posible obtener las probabilidades de


transicin de un estado a otro al cabo de k etapas,
que denotamos por :
pij(k ) IP(X nk j / X n i) IP(X k j / X 0 i)
Que resumidas en una matriz ( para el caso de un
nmero finito de estados).
P (k ) (pij(k ) )

Estas satisfacen las ecuaciones de Chapman y


Kolmogorov que implican: P(k) = Pk
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Ejemplo 1.
Considere una tienda que mantiene un inventario
de un producto dado para satisfacer una demanda
(aleatoria). La demanda diaria D, tiene la siguiente
distribucin:
IP (D = 0) = 1/4, IP (D = 1) = 1/2,
IP (D = 2) = 1/4, IP (D >= 3) = 0
Sea Xn el nivel de inventario al inicio del da n y
suponga que la tienda tiene la poltica de
mantencin de inventario (s, S), que consiste en
que si al final del da se posee menos de s, se
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

hace una orden de pedido que al inicio del da


siguiente eleva las existencias al nivel S y en caso
contrario, no se pide nada. Asuma que la
demanda no satisfecha es demanda perdida y que
al inicio del horizonte de planificacin hay S
unidades en inventario con s = 1 y S = 2.

Se tiene que:
Xn {1, 2} ; n = 0, 1, 2, ...
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

IP(x 0 1) 0
f
0

IP(x 0 2) 1
pi, j IP(X n1 j / X n i) ; i, j {1,2}

p11 IP(D 0) 1/ 4
p12 IP(D 1) 3 / 4

p 21 IP(D 1) 1/ 2
p 22 IP(D 0) IP(D 2) 1/ 2
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Entonces la matriz de probabilidades de transicin


en una etapa corresponde a:

1/ 4 3 / 4
P
1 / 2 1 / 2
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Ejemplo 2.
Suponga que en el sistema de las AFP existen
solo 2; las AFP A y las AFP B. Sea N el nmero
de personas afiliadas al sistema; la
superintendencia est preocupada de que las
cuentas individuales estn al da. Para ello ha
establecido un sistema de control basado en el
siguiente procedimiento: al final de cada mes
escoge una persona al azar de los N existentes en
el sistema.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Si la AFP a la cual pertenece la persona no tiene


su cuenta individual al da; la persona es
traspasada de inmediato a la otra AFP, en caso
contrario la deja en la AFP en la que estaba.
Suponga que la probabilidad de que un afiliado en
la AFP A tenga su cuenta al da es P1 y que esta
probabilidad para la AFP B es P2.
Se desea estudiar la movilidad de los clientes en
cada AFP en cada mes del horizonte de
planificacin.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.

Se tiene:

Xn: el nmero de personas en la AFP A al final del


mes n; con n = 0, 1, 2, ..., n
xn {0, 1, 2, ..., N}

Calculemos las probabilidades de transicin en


una etapa (mes)
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.3. Cadenas de Markov en tiempo discreto.


i
pi,i1 (1 P1 ) ; 1 i N 1
N
i (N i)
pi,i P1 P2
N N
(N i)
pi,i1 (1 P2 )
N
pij 0 ; j i 1, i, i 1

p 0,0 P2 p 0,1 (1 P2 ) p 0, j 0 j 0,1


pN,N1 1 P1 pN,N P1 pNj 0 j N 1, N
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

Temario:

V.1. Introduccin.
V.2. Proceso de Poisson.
V.3. Cadenas de Markov en tiempo discreto.
V.4. Clasificacin de los estados y distribucin
lmite.
V.5. Cadenas de Markov en tiempo continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

En esta seccin se presentan algunos resultados


que tienen relacin con la existencia y clculo de
una distribucin para la Cadena de Markov en el
largo plazo. Previamente, se enumeran algunas
definiciones que clasifican los estados de una
cadena:
i) Un estado j se dice accesible desde el estado i
ssi para algn n

pij(n) IP(X n j / X 0 i) 0
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

ii) Si tanto el estado i es accesible desde j como


viceversa decimos que los estados i y j se
comunican.

iii) Dos estados que se comunican estn en una


misma clase de estados.

iv) Se dice que una cadena es irreducible si hay


una sola clase de estados.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

v) Un estado se dice que tiene periodo d, para el


mayor valor del entero d que cumple:

pii(n) IP(X n i / X 0 i) 0

slo para valores de n pertenecientes al conjunto


{d, 2d, 3d, ....}. Si d=1 decimos que el estado es
aperidico.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

vi) Se define T(i,j) como el nmero de etapas


requeridas por el proceso para pasar de estado i al
estado j por primera vez. De igual modo se define:

Fk (i, j) IP(T(i, j) k )
es decir :
Fk (i, j) IP(Xk j, Xk 1 j,...,X1 j / X 0 i)

como la probabilidad de que comenzando en i,


ocurra la primera transicin al estado j al cabo de
exactamente k etapas.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Puede probarse por induccin, la siguiente formula:


F1(i, j) pij
Fk (i, j) pim Fk 1(m, j), k 1
m j

vii) En particular, se denota por Fk(i,i) la


probabilidad de que el proceso retorne al estado i
por primera vez al cabo de k etapas. De modo que:

F(i,i) Fk (i,i)
k 1
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

que es la probabilidad que partiendo en i , el


proceso regrese al estado i alguna vez.

viii) Un estado se dice recurrente ssi F(i,i) = 1

ix) Un estado se dice transciente ssi F(i,i)< 1


x) Sea IE(T(i,i)) k 1k Fk (i,i) , el valor esperado
de el nmero de etapas que le toma al proceso
volver al estado i por primera vez, partiendo del
estado i.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Un estado se dice recurrente positivo ssi:

F(i,i) 1 y IE(T(i,i))

Un estado se dice recurrente nulo ssi :

F(i,i) 1 y IE(T(i,i))
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Ejemplo
Define una cadena
1/ 2 1/ 2 0
p 0 1/ 3 2 / 3
de estados irreducible
con estados recurrente
1/ 3 1/ 3 1/ 3 positivos peridicos

Posee dos clases


1 1/ 2 0
p 1/ 2 1/ 6 1/ 3
de estados y uno de
los estados es
1/ 5 3 / 5 1/ 5 transciente.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Es una cadena
irreducible, de
0 1 0 0
1/ 2 0 1/ 2 0
estados recurrentes
p positivos y todos
0 0 0 1
1 sus estados son
0 0 0
peridicos de
periodo d=2.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Si la distribucin de probabilidad del proceso en el


largo plazo existe y es independiente de la
distribucin inicial (o del estado inicial), decimos
que el proceso tiene una distribucin estacionaria
1, 2, ..., MT

j lim IP(X n j) lim pij(n)


n n
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Proposicin.
Sea {Xn}n=0,1,2 una cadena de Markov irreducible
con estados recurrentes positivos aperidicos,
entonces existe una distribucin estacionaria , tal
que > 0 y que se obtiene como la solucin nica
del sistema:
PT
j 1
j
j 0
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Ejemplo. Se desea calcular las probabilidades


estacionaria j, que tambin representan la
fraccin del tiempo que el sistema esta en el
estado j en el largo plazo 1/2
1/2
1/ 2 1/ 2 0 1
p 0 1/ 3 2 / 3 1/3 2
1/3

1/ 3 1/ 3 1/ 3 1/3
2/3
P T 3

1 2 3 1 1/3
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Sistema que corresponde a las siguientes


ecuaciones:
1 1
(1) 1 1 3
2 3
1 1 1
(2) 2 1 2 3
2 3 3
2 1
(3) 3 2 3
3 3
(4) 1 2 3 1
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

2
de (1) 1 3
3
de (2) 2 3
2
as 3 3 3 1
3
1 3
\ Solucin 1 2 3
4 8
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Ejemplo:
Una compaa esta considerando emplear
cadenas de markov para analizar los cambios en
las preferencias de los usuarios por tres marcas
distintas de un determinado producto. El estudio ha
arrojado la siguiente estimacin de la matriz de
probabilidades de cambiarse de una marca a otra
cada mes:
1 2 3
1 0.8 0.1 0.1
2 0.03 0.95 0.02
3 0.2 0.05 0.75
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

En la actualidad los porcentajes de mercado son


45%, 25% y 30%, respectivamente.
Cuales sern los porcentajes de mercado de
cada marca en dos meses ms?
xn{1,2,3}: marca que adquiere un cliente
cualquiera en el mes n=0,1,2,3,...
IP(X 0 1) 0.45 0 .8 0 .1 0 .1
f 0 IP(X 0 2) 0.25 P 0.03 0.95 0.02

IP(X 0 3) 0.30 0.2 0.05 0.75
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

Al trmino del mes siguiente:


IP(X 1 1) 0.4275
f 1 P T f 0 IP(X 1 2) 0.2975

IP(X 1 3) 0.2750
Y dos meses despus:
IP(X 2 1) 0.4059
f 2 P T f 1 IP(X 2 2) 0.3391

IP(X 2 3) 0.2550
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

De aqu las cuotas de mercado en dos meses a


cambiado de un 45% a un 40.59%; de un 25% a un
33.91% y de un 30% a un 25.50%, para las marcas
1,2 y 3 respectivamente.

Cul es la cuota de mercado en el largo plazo


para cada una de las marcas?
La cadena resultante es irreducible con estados
recurrentes positivos y aperidicos . Denotando por
=(1, 2, 3)T, las probabilidades estacionarias de
largo plazo, las cuales satisfacen:
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

=PT
i = 1 ; i = 1,2,3.

1=0.8 1+ 0.03 2+0.20 3


2=0.10 1+ 0.95 2+0.05 3
3=0.10 1+ 0.02 2+0.75 3
1 + 2+ 3 =1

Cuya solucin resulta:


1= 0.2373 2= 0.6184 3= 0.1443
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.4. Clasificacin de los est. y distribucin lmite.

De aqu que la cuotas de mercado en el largo


plazo resultan ser 23.73%, 61.84% y 14.43% para
las marcas 1,2 y 3 respectivamente.

Notar que las actuales cuotas difieren


significativamente de las cuotas obtenidas en el
largo plazo lo cual puede implicar que de alguna
manera deban ser corregidas las probabilidades de
transicin.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

Temario:

V.1. Introduccin.
V.2. Proceso de Poisson.
V.3. Cadenas de Markov en tiempo discreto.
V.4. Clasificacin de los estados y distribucin
lmite.
V.5. Cadenas de Markov en tiempo continuo.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Se desea estudiar el comportamiento de sistemas


que dependen en forma continua del tiempo:

Xt: nmero de ambulancias disponibles en el


instante t.
Xt: nmero de personas esperando ser atendidas
en el banco o en el supermercado en el instante t.
Xt: nmero de mquinas funcionando
correctamente en un taller en el instante t.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Propiedad Markoviana:

IP(X t s j / X u X(u), 0 u t, X t i)
IP(X t s j / X t i)

Propiedad Estacionaria

IP(X t s j / X t i) , no depende de t, slo de s.


Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Una realizacin posible del proceso estocstico es:

4
Xt
3
2
1

t
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Cmo representar el proceso?


- Se necesitan las probabilidades de que ocurra un
salto de un estado a otro.
- La distribucin de los tiempos de permanencia en
un estado.

Se necesita explicitar:
i) Probabilidades de transicin pij (asumiendo pii=0)
ii) Tasas vi de los tiempos exponenciales Ti de
permanencia en el estado i.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Distribucin de Xt :
pij (t ) IP(X t j / X 0 i)

Estas probabilidades satisfacen:


d
pij (t ) pik (t )vkpkj v jpij (t )
dt k j

Si existe una distribucin estacionaria:


j lim pij (t )
t
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

La ecuacin diferencial anterior provee el siguiente


sistema de ecuaciones para las probabilidades
estacionarias (de existir):
0 k vkpkj v j j ; j 1,2,... j 1
k j j

O equivalentemente el sistema:

v j j k vkpkj ; j 1,2,... j 1
k j j
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Ejemplo :
En el puerto de Valparaso existen N trenes
encargados de traer cargas de contenedores
desde los buques hasta una unidad de descarga.
En esta unidad existen c gras ( c < N) para
descargar los trenes. El tiempo que le toma a una
gra descargar un tren es exponencial a tasa m. Un
tren deja la unidad de descarga cuando la gra
termina de atenderlo y vuelve con una nueva carga
despus de un tiempo exponencial de tasa .
Formular un modelo que nos permita obtener en el
largo plazo :
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

- Nmero medio de trenes esperando ser


atendidos en la cuidad de descarga
- Nmero medio de gras que se encuentran
atendiendo trenes
- Fraccin del tiempo en que hay al menos una
grya desocupada

Xt : El nmero de trenes que estn en la unidad de


descarga (Xt {0,1,2,...,N})

Si existen 0 j c trenes en la unidad de descarga

vj= j m+ (N j)
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Es decir, el tiempo que transcurre con j trenes en


la unidad de descarga es una v.a. Exponencial
correspondiente al mnimo entre los tiempos que
transcurren hasta que se descarga completamente
un tren de los j existentes en dicha unidad y los
tiempos que transcurren hasta que retorna uno de
N j trenes que vuelve con carga.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Adems, las nicas posibles transiciones son:

pj,j-1= j m / (j m + (N j ) ) j>0

pj,j+1=( N- j ) / (j m + (N j ) )

Esto es, las probabilidades que se termine de


descargar un tren antes de que vuelva uno con
carga y viceversa.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Anlogamente si c < j N estos parmetros


resultan:

vj= c m+ (N j)

pj,j-1= c m / (cm + (N j ) )

pj,j+1=( N - j ) / (cm + (N j ) ) (jN)


Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

En este caso las ecuaciones que determinan las


probabilidades estacionarias : j lim pij (t )
t

Resultan ser las siguientes:

N 0 = m 1
[m + ( N 1 )] = N 0 + 2 m 2
...
[cm + ( N c ) ] C = (N ( c 1)) c-1 + c m C+1
...
[cm + ] N-1 = 2 N-2 + c m N
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

c m N = N-1
1+ 1+...+ N = 1

As, el nmero de trenes esperando ser atendidos


en la unidad de descarga es :
N
(n c) n
n c

El nmero promedio de gras atendiendo trenes


c N
n n c n
n 1 n c 1
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Ptrocesos Estocsticos y Cadenas de MarkoIII.

V.5. Cadenas de Markov en tiempo continuo.

Y la fraccin de tiempo en que hay al menos una


gra desocupada es :
c 1
n
n0
Gestin de Investigacin de Operaciones II. Modelos de Programacin Matemtica
Programacin Lineal

BIBLIOGRFIA EN MODELOS PROBABILSTICOS

1. Introduction to Probability Models, Ross, S.M. Academic


Press, New York, 1980.
2. Applied Probabability Models with Optimization
Applications, Ross, S.M. Dover Publications, Inc. New York,
1992.
3. Modelos Estocsticos para la Gestin de Sistemas,
Gazmuri, P. Ediciones Universidad Catlica, Santiago, 1995.
4. Simulation Modeling and Analysis, Law, A.M. Kelton,
W.D. Mc.Graw Hill, New York, Third Edition, 2000.
Gestin de Investigacin de Operaciones III. Modelos Probabilsticos
Sistemas de Espera

DIRECCIONES ELECTRNICAS EN MODELOS PROBABILSTICOS

Seccin de simulacin en INFORMS:


http://www.informs-cs.org/

Simulation Education Homepage: :


http://www.acs.ilstu.edu/faculty/wjyurci/nsfteachsim/indexnew.html

You might also like