UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE INGENIERA
POSTGRADO DE INVESTIGACIN DE OPERACIONES
ANLISIS MULTIPARAMTRICO EN PROGRAMACIN ENTERA










RESPUESTAS TAREA 2









Ing. Alexnder Useche
Enero, 2013

1. Realice una revisin bibliogrfica sobre artculos que
traten sobre el Anlisis Multiparamtrico en Programacin
Lineal y en Programacin Entera. En cada caso elabore un
pequeo resumen.
Luego de una rauda revisin bibliogrfica en cumplimiento de
lo solicitado, se pudo inferir que el antecedente del
anlisis paramtrico en programacin lineal, es el anlisis
de sensibilidad. Este anlisis contempla tres (3) casos: 1)
cambios en los coeficientes de la funcin objetivo, 2)
cambios en los lados derechos de las restricciones y 3)
cambios en los coeficientes de las restricciones (Lpez
Casuso, 1993, pp. 107-121); cada uno de los casos mencionados
consiste en involucrar nuevos parmetros constantes al
problema de programacin lineal, con el objeto de contrastar
el resultado de este nuevo caso con el original.
Posterior al anlisis de sensibilidad surge el anlisis
postoptimal, el cual responde a las inquietudes formuladas
sobre parmetros que se incorporan a un problema de
programacin lineal ya resuelto, es decir, qu ocurre en un
problema de de programacin lineal que ya hemos resuelto si
realizamos un cambio en alguno de los elementos que lo
definen? (P.M. y Lahoz, 2009, p. 1) y estos elementos que la
definen son: la funcin objetivo, la matriz de restricciones
y el lado derecho, los cuales una vez ms son mencionados
como los objetos de trabajo para este tipo de anlisis.
P.M. y Lahoz (2009) igualmente manifiestan respecto a este
tipo de anlisis:
En todos los modelos de programacin lineal los
coeficientes de la funcin objetivo y las
restricciones se dan como datos de entrada o como
parmetros fijos del modelo. En los problemas
reales los valores de estos coeficientes no estn,
en general, perfectamente fijados, debido a que la
mayora de ellos dependen de parmetros no
controlables, por ejemplo, futuras demandas, coste
de materias primas, costo de energa, etc. y no
pueden ser predichas con exactitud antes de que el
problema sea resuelto. Tambin puede suceder que
aunque conozcamos los parmetros exactamente
estemos interesados en estudiar cmo vara la
solucin ptima si cambiamos algn parmetro
intencionadamente, a efectos de tratamiento, ambas
situaciones se resuelven de forma anloga (p. 3).


En una rauda navegacin por la red se encontr una variedad
de estudios los cuales presentaron una caracterstica comn
en los anlisis multiparamtricos, los cuales se enfocan en
los elementos antes mencionados que definen los problemas de
programacin lineal. En la VII jornada de aplicaciones
matemticas llevada a cabo por FACES de la Universidad de
Carabobo, el profesor Alejandro Crema hizo una importante
declaracin cuando dict la conferencia Programacin Entera
Multiparamtrica, tomada del peridico Tiempo Universitario y
reseado por Leandro Rodrguez (2008):
La necesidad del anlisis multiparamtrico en la
programacin matemtica (clculo de la solucin
ptima de un problema como funcin de algunos de
los parmetros que lo definen) surge por la
incertidumbre que en muchas oportunidades tienen
los tomadores de decisiones sobre los datos que
intervienen en un problema. Este anlisis pudiera
indicar cules datos es necesario disminuir la
incertidumbre debido a que su variacin produce
cambios significativos en el valor de la solucin
obtenida. En los ltimos aos hemos desarrollado
algoritmos para realizar un anlisis
multiparamtricos completo (se encuentra una
solucin ptima, si existe, para cada uno de los
posibles valores de los parmetros) en el caso de
la Programacin Lineal Entera 0-1 (todas las
variables deben tomar como valor 0 o 1). Los
parmetros pueden afectar a la funcin objetivo y/o
a la matriz de restricciones y/o al vector del lado
derecho (p. 9).
De manera que de acuerdo a lo anterior, se puede inferir que
la Programacin Multiparamtrica Lineal o Entera tiene tres
objetos de estudio de acuerdo a lo manifestado por el
profesor Crema: funcin objetivo, matriz de restricciones y/o
vector del lado derecho; para ilustrar lo recientemente
manifestado, basta con echar un raudo vistazo a los
ejercicios de la tarea 1.
Ms casos ilustrativos se pueden encontrar en la variedad de
investigaciones dentro del rea cuya data no es reciente, lo
que lleva a concluir que el problema multiparamtrico
preocupa desde hace tiempo y ha permitido a mltiples
profesionales, contribuir en el desarrollo de algoritmos.
Otro caso ejemplar es reseado en el siguiente resumen de una
tesis de grado realizado por Newman y Rivero (1998) para el

desarrollo de un algoritmo explcito para el problema
multiparamtrico relativo al vector del lado derecho:
El problema multiparamtrico relativo al lado
derecho de un Problema de Programacin Lineal
Entera, consiste en resolver una familia de
problemas cuyos miembros se relacionan por tener
una funcin objetivo y una matriz de coeficientes
idnticos. Con el algoritmo original, decimos que
el problema multiparamtrico ha sido resuelto de
una manera implcita, mientras que con la nueva
alternativa sera resuelto de una forma explcita,
de modo que el objetivo de este trabajo es exponer
el tratamiento del problema resuelto explcitamente
(1).
Ntese que de acuerdo al resumen anterior, el autor realiz
un estudio multiparamtrico relativo al lado derecho para una
familia de problemas con funcin objetivo y matriz de
coeficientes idnticos, es decir, no trabaj con esas ltimas
partes especficas. Otro caso lo podemos ilustrar con el
algoritmo de contraccin explcito para el problema de
programacin lineal entera multiparamtrico relativo al lado
derecho, desarrollado por Garca y Guzmn (1995) o el trabajo
del profesor Crema (1994) en su tesis doctoral: tpicos en
anlisis de sensibilidad en problemas de programacin lineal
entera, cuyo resumen es como a continuacin se cita:
Se ha diseado un algoritmo para resolver el
problema multiparamtrico continuo relativo al lado
derecho para problemas de PLE definido como una
familia de problemas PLE relacionados por tener la
misma funcin objetivo y matriz de restricciones.
Nuestro algoritmo trabaja seleccionando una
secuencia finita de problemas puntuales de PLEM
para obtener un anlisis multiparamtrico completo.
Los problemas de la secuencia pueden ser resueltos
utilizando algoritmos disponibles comercialmente
(1).
Hasta ahora se han mencionado algunos trabajos cuyo objeto ha
sido el lado derecho de un PPLE o PPL; para ilustrar otros
casos se encontr el trabajo de Rodrguez (1999) el cual
consisti en la implantacin y comparacin de dos algoritmos
para el problema paramtrico relativo a la funcin objetivo
en problemas de PE-0-1.
Todos los casos mencionados (adems de ser tutoriados en su
mayora por el profesor Crema) son estudios que pueden ser

extensibles a aplicaciones prcticas y tiles para otras
disciplinas del conocimiento; tal es el caso del trabajo de
Lpez y Barrios (2007) que consisti en la programacin
lineal y anlisis paramtrico en planificacin forestal, el
cual explican en el siguiente resumen:
El proceso de planificacin forestal muchas veces
llega a ser tan complejo, que requiere del uso de
herramientas que faciliten la toma de decisiones.
Dentro de este grupo de herramientas, se encuentra
la programacin lineal. La solucin de un problema
de programacin lineal garantiza la asignacin
optima de recursos entre un numero finito de
actividades. Un modelo de programacin lineal se
us para resolver un problema de planificacin de
la cosecha forestal en el contexto de la
planificacin forestal multipropsito, el cual
maximiz el valor presente neto del bosque a travs
del horizonte de planificacin. Usando anlisis
paramtrico, se evalu el efecto de la
incorporacin en el modelo de restricciones
ambientales como la conservacin de la vida
silvestre, el mantenimiento de un flujo de volumen
no decreciente y un inventario de madera en pie al
final del horizonte de planificacin. (p. 124).

Otra aplicacin la podemos referenciar en el trabajo de Mula,
Poler y Garca (2006) los cuales propusieron un modelo de
programacin lineal paramtrica para la resolucin del MRP
(Material Requirements Planning) con restricciones de
capacidad y que presentan en el siguiente resumen:

se propone un enfoque de programacin lineal
paramtrica para su aplicacin a un problema MRP
con restricciones de capacidad e incertidumbre en
los datos de costes. El modelo propuesto considera
nicamente la posible ambigedad en los
coeficientes de la funcin objetivo, mientras que
todas las restricciones se consideran
deterministas (1)

Por ltimo se mencionan los trabajos del profesor Quintero,
los cuales consistieron en el diseo e implementacin de
algoritmos para el problema paramtrico de programacin
lineal entera 0-1 relativo a la funcin objetivo y a la
matriz de restricciones (2000) y el diseo e implantacin de
algoritmos para el problema multiparamtrico generalizado de
programacin lineal entera 0-1 relativo a la funcin objetivo

(2008) y el trabajo de Gil (2009) el cual consisti en el
diseo e implantacin de algoritmos para el problema
multiparamtrico direccional de programacin lineal entera 0-
1.

De todo lo anterior se puede concluir, que en las distintas
investigaciones llevadas a cabo en anlisis paramtricos y
multiparamtricos, han sido una oportunidad para el
desarrollo de algoritmos que permitan disminuir la
incertidumbre en los parmetros involucrados en cada una de
las partes que definen a un problema de programacin lineal o
programacin lineal entera, como son: la funcin objetivo, la
matriz de restricciones, el lado derecho y ms recientemente
el problema multiparamtrico direccional.


2. Realice una revisin bibliogrfica sobre CPLEX 12.2
elaborando un pequeo resumen de dicha herramienta para la
resolucin de problemas de Programacin Entera.
En la revisin bibliogrfica solicitada -el cual una vez ms
se realiz de manera rauda- se pudo recopilar algunas
caractersticas los cuales se mencionan a continuacin:
a. Es un software desarrollado por IBM, para la
resolucin de problemas de:
i. Programacin lineal.
1.
m n n x m
n
T
R b R c R A
R x
b Ax to Subject
x c Maximize
e e e
e
s
, ,
:
:
(Lima, 2010, p.5)
ii. Programacin lineal entera y entera-mixta.
1.
m k n k x m n x m
k
n
T T
R b R d R c R B R A
Z y
R x
b By Ax to Subject
y d x c Maximize
e e e e e
e
e
s +
+
+
, , , ,
:
:
(dem, p. 6)



iii. Programacin cuadrtica.
1.
n x n
m n n x m
n
T T
R Q
R b R c R A
R x
b Ax to Subject
Qx x x c Maximize
e
e e e
e
s
+
, ,
:
2
1
:
(dem, p. 7)
Observacin: Si la matriz Q es positiva
simidefinida, entonces el problema de
programacin cuadrtica es convexo.

iv. Programacin cuadrtica entera mixta.
1.
n x n
m n n x m
j j
l
k
l
T T
R Q
R b R c R A
N j R x
N l Z x
b Ax to Subject
Qx x x c Maximize
e
e e e
e e
e e
s
+
+
, ,
,
,
:
2
1
:
(dem, p. 8)
Observacin: Si la matriz Q es positiva
simidefinida, entonces el problema de
programacin cuadrtica es convexo.

v. Programacin cuadrtica restringida.
1.
1
1
, ,... 1 ,
, ,
..., , 1 ,
2
1
:
2
1
:
m i R B
R b R c R A
R x
m i b x a x B x
b Ax to Subject
Qx x x c Maximize
n x m
i
m n n x m
n
i i
T
T T
= e
e e e
e
= s +
s
+
(dem, p. 9)



vi. Programacin cuadrtica entera mixta
restringida.
1.
1
1
, ,... 1 ,
, ,
,
,
..., , 1 ,
2
1
:
2
1
:
m i R B
R b R c R A
N j R x
N l Z x
m i b x a x B x
b Ax to Subject
Qx x x c Maximize
n x m
i
m n n x m
j
n
j
l l
i i
T
T T
= e
e e e
e e
e e
= s +
s
+
+
y finalmente
(dem, p. 10).
vii. Se emplea tambin para la resolucin de
problemas MINLP (Mixed Integer NonLinear
Programs), es decir, programacin no lineal
entera mixta. (dem, p. 4)
b. Presenta libreras compatibles con lenguajes como
C, C++, entre otros para la creacin de cdigos en
la resolucin de problemas de la naturaleza
mencionada. (http://www-
01.ibm.com/software/integration/optimization/cplex-
optimizer/)
c. Se pueden construir algoritmos robustos para
problemas de alta exigencia, con un nmero muy
grande de variables y restricciones, por el orden
de los millones. (dem)
d. Se puede disponer de una variedad de cdigos
ejemplares, online en lenguaje C, C++, entre otros.
(dem)
e. La herramienta ha evolucionado desde 1988 hasta
2010, presentando en cada ao una innovacin para
la resolucin de los distintos problemas de
programacin lineal, empezando desde los problemas
de programacin lineal hasta la proposicin de
heursticas de mejoras y bsqueda dinmica
mejoradas. (dem)



3. Realice un anlisis multiparamtrico, usando el algoritmo
visto en clase:
( )
{ }
3 3 , 4 2 , 6 1
1 , 0 , ,
2 2 2
5 3 2
: . . max , ,
3 2 1
3 2 1
3 2 1
3 2 1
3 3 2 2 1 1 3 2 1
s s s s s s
e
s +
s + +
+ +
u u u
u u u u u u
x x x
x x x
x x x
a s x x x P

Al adecuar el problema planteado de acuerdo al algoritmo
expuesto en las lminas AMPE02 para la clase #2
correspondiente a la fecha del 02/11/2012 (Quintero, 2012,
pp. 19-29), se logra la siguiente secuencia:
( )
{ }
3 3 , 4 2 , 6 1
, 1 , 0 , ,
max
2 2 2
5 3 2
: . . , ,
3 2 1
3 2 1
3 3 2 2 1 1
3 2 1
3 2 1
3 2 1
s s s s s s
e e
+ + =
s +
s + +
u u u
u u u
u u u
R z x x x
x x x z
x x x
x x x
a s z P

( )
{ }
3 3 , 4 2 , 6 1
, 1 , 0 , ,
2 2 2
5 3 2
: . . , ,
3 2 1
3 2 1
3 3 2 2 1 1
3 2 1
3 2 1
3 2 1
s s s s s s
e e
+ + >
s +
s + +
u u u
u u u
u u u
R z x x x
x x x z
x x x
x x x
a s z P


Al resolver se obtiene:
( ) ( )
{ }
( ) ( ) ) 1 , 1 , 0 ( ; 5 3 , 2 , 1
, 1 , 0 , ,
3 2
2 2 2
5 3 2
: . . 3 , 2 , 1
) 7 (
3 2 1
3 2 1
3 2 1
3 2 1
= =
e e
+ + >
s +
s + +
x P v
R z x x x
x x x z
x x x
x x x
a s z P

( ) ( )
{ }
( ) ( ) ) 1 , 0 , 1 ( ; 9 3 , 2 , 6
, 1 , 0 , ,
3 2 6
2 2 2
5 3 2
: . . 3 , 2 , 6
) 6 (
3 2 1
3 2 1
3 2 1
3 2 1
= =
e e
+ + >
s +
s + +
x P v
R z x x x
x x x z
x x x
x x x
a s z P


( ) ( )
{ }
( ) ( ) ) 0 , 1 , 1 ( ; 10 3 , 4 , 6
, 1 , 0 , ,
3 4 6
2 2 2
5 3 2
: . . 3 , 4 , 6
) 5 (
3 2 1
3 2 1
3 2 1
3 2 1
= =
e e
+ + >
s +
s + +
x P v
R z x x x
x x x z
x x x
x x x
a s z P

( ) ( )
{ }
( ) ( ) ) 1 , 1 , 0 ( ; 7 3 , 4 , 1
, 1 , 0 , ,
3 4
2 2 2
5 3 2
: . . 3 , 4 , 1
) 7 (
3 2 1
3 2 1
3 2 1
3 2 1
= =
e e
+ + >
s +
s + +
x P v
R z x x x
x x x z
x x x
x x x
a s z P


Para cada uno de los casos se realizaron pruebas con todo el
espectro de valores para la variable x
(i)
y para las distintas
combinaciones de los parmetros .

4. Construya un ejercicio min sum con tres variables cero-uno
perturbando solo dos coeficientes de la funcin objetivo.
La cardinalidad de la solucin multiparamtrica debe ser
de al menos 5.
De acuerdo a lo solicitado, se construy el siguiente
ejercicio:
( ) ( )
{ } 4 2 , 6 1 , 1 , 0 , ,
1
5 3 3 2
: . . 4 min
2 1 3 2 1
3 2 1
3 2 1
3 2 2 1 1
s s s s e
s +
s + +
+ +
u u
u u u
x x x
x x x
x x x
a s x x x P

Al realizar el anlisis multiparamtrico usando enumeracin
exhaustiva, se tiene la siguiente tabla resultado:
x1 x2 x3
u1x1 + u2x2 +4x3
2x1 +3x2 +3x3 5 x1 + x2 - x3 1
0 0 0 0 0 0
0 0 1 4 3 -1
0 1 0
u2
3 1
0 1 1
u2 + 4
6 0 (infactible)
1 0 0
u1
2 1
1 0 1
u1 + 4
5 0
1 1 0
u1 + u2
5 2 (infactible)
1 1 1
u1 + u2 + 4
8 1 (infactible)

De la tabla anterior se puede observar que las ocho (8)
posibilidades de valores del vector x, tres (3) son
INFACTIBLES, resultando entonces en cinco (5) valores
factibles los cuales se ajustan a la cardinalidad de la
solucin multiparamtrica mnima solicitada. Tambin se puede
observar que el ejercicio se construy con las tres (3)

variables solicitadas, perturbando los coeficientes ui tal que
i = 1, 2.


5. Construya un ejercicio min max con tres variables cero-uno
perturbando solo dos coeficientes de la funcin objetivo.
La cardinalidad de la solucin multiparamtrica debe ser
de al menos 3.

( ) ( ) { }
{ } 3 1 , 5 0 , 1 , 0 , ,
3 2
2
: . . , , 7 max min
23 2 3 2 1
3 2 1
3 2 1
3 23 2 2 1
s s s s e
> + +
s +
B d x x x
x x x
x x x
a s x B x d x P u

Al realizar el anlisis multiparamtrico usando enumeracin
exhaustiva, se tiene la siguiente tabla resultado:
x1 x2 x3
7x1
d2x2 B23x3 x1 + x2 - x3 2 x1 + x2 + 2x3 3
0 0 0 0 0 0 0 0 (infactible)
0 0 1 0 0 B23 1 2 (infactible)
0 1 0 0 d2 0 1 1 (infactible)
0 1 1 0 d2 B23 0 3
1 0 0
7
0 0 1 1 (infactible)
1 0 1
7
0 B23 0 3
1 1 0
7
d2 0 2 2 (infactible)
1 1 1
7
d2 B23 1 4

De la tabla anterior, se puede observar que las ocho (8)
posibilidades de valores del vector x, cinco (5) son
INFACTIBLES, resultando entonces en tres (3) valores
factibles los cuales se ajustan a la cardinalidad de la
solucin multiparamtrica mnima solicitada. Tambin se puede
observar que el ejercicio se construy con las tres (3)

variables solicitadas, perturbando los coeficientes
correspondientes a las variables xi tal que i = 2, 3.




























LISTA DE REFERENCIAS BIBLIOGRFICAS

1. Garca, Carlos y Guzmn, Norma (1995). Algoritmo de
contraccin explcito para el problema de programacin
lineal entera multiparamtrico relativo al lado derecho.
Tesis de grado no publicada, UCV, Caracas, Distrito
Capital, Venezuela.
2. Gil, Fidias (2009). Diseo e implantacin de algoritmos
para el problema multiparamtrico direccional de
programacin lineal entera 0-1. Tesis de grado no
publicada, UCV, Caracas, Distrito Capital, Venezuela.
3. IBM(2010). IBM ILOG CPLEX Optimizer. Disponible en:
http://www-
01.ibm.com/software/integration/optimization/cplex-
optimizer/. Consultado en Enero de 2013.
4. Lima, Ricardo (2010). IBM ILOG CPLEX What is inside the
box?.EWO Seminar (seminario), Carnegie Mellon
University, Pittsburgh, Pensilvania, USA.
5. Lpez, Ana y Barrios Alonso (2007). Programacin Lineal
y Anlisis Paramtrico en Planificacin Forestal. En:
Revista TUMBAGA Nmero 2. Disponible en:
http://revistas.ut.edu.co/index.php/TUMBAGAV/article/dow
nload/334/292. Consultado en Diciembre de 2012.
6. Lpez Casuso, Rafael (1993). Programacin Lineal y
Decisiones Econmicas, Caracas-Venezuela: Exlibris, 3
edicin.
7. Mula, Josefa; Poler, Ral y Garca, Jos. Un modelo de
programacin lineal paramtrica para la resolucin del
MRP con restricciones de capacidad. Trabajo financiado,
Universidad Politcnica de Valencia, Valencia, Espaa.
8. Newman, Simn y Rivero, Dulce (1998). Algoritmo
explcito para el problema multiparamtrico relativo al
vector del lado derecho. Tesis de grado no publicada
(mimeografiada), UCV, Caracas, Distrito Capital,
Venezuela.
9. P.M. Mateo y Lahoz David (2009). Programacin Lineal
III. Anlisis Postoptimal, Zaragoza-Espaa: ficheros.
Disponible en: http://ocw.unizar.es/ocw/ensenanzas-

tecnicas/modelos-de-investigacion-
operativa/ficheros/OCWSensiPara.pdf. Consultado en Enero
de 2013.
10. Quintero, Jos (2000). Diseo e implementacin de
algoritmos para el problema paramtrico de programacin
lineal entera 0-1 relativo a la funcin objetivo y a la
matriz de restricciones. Tesis de Postgrado no
publicado, UCV, Caracas, Distrito Capital, Venezuela.
11. Quintero, Jos (2008). Diseo e implantacin de
algoritmos para el problema multiparamtrico
generalizado de programacin lineal entera 0-1 relativo
a la funcin objetivo. Tesis de Postgrado no publicado,
UCV, Caracas, Distrito Capital, Venezuela.
12. Quintero, Jos (2012). Problema multiparamtrico
generalizado de programacin lineal entera 0-1 relativo
a la funcin objetivo. Gua de estudio para el curso de
AMPE, UCV, Caracas, Distrito Capital, Venezuela.
Disponible en: http://www.joseluisquintero.com/.
Consultado en Diciembre de 2012.
13. Rodrguez, Adriana (1999). Implantacin y
comparacin de dos algoritmos para el problema
paramtrico relativo a la funcin objetivo en problemas
de PE-0-1. Tesis de grado no publicada, UCV, Caracas,
Distrito Capital, Venezuela.
14. Rodrguez, Leandro (2008). VII JORNADAS DE
APLICACIONES MATEMTICAS REALIZ FACYT. En: Tiempo
Universitario Nmero 590. Disponible en:
http://www.tiempo.uc.edu.ve/tu590/paginas/9.htm.
Consultado en Enero de 2013.