Unidad 4

Programacin entera
4.1. Introduccin y casos de aplicacin
El nombre completo es programacin lineal entera, pero, por lo general, el
adjetivo lineal se omite.
El modelo matemtico para programacin entera es sencillamente el modelo
de programacin lineal con la restriccin adicional de que las variables deben
tener valores enteros. Si slo es necesario que algunas de las variables tengan
valores enteros y el supuesto de divisibilidad se cumple para el resto, el
modelo se conoce como de programacin entera mixta (PEM). Cuando se hace
la distincin entre un problema con todas las variables enteras y este caso
mixto, el primero se llama de programacin entera pura.
Opciones de software para resolver estos modelos Todos los paquetes de
software incluidos en el OR Courseware (Excel, LINGO/LINDO y MPL/ CPLEX)
contienen un algoritmo para resolver modelos de PEB (pura o mixta), as como
otro para solucionar modelos generales de PE (pura o mixta) donde las
variables deben ser enteras pero no binarias. Sin embargo, en razn de que las
variables binarias son mucho ms fciles de manejar que las variables enteras
generales, por lo comn el primer algoritmo puede resolver problemas mucho
ms grandes que el segundo.
Un modelo de LINGO usa la funcin @BIN() para especifi car que las variables
entre parntesis son binarias. En el caso de una variable entera general
(restringida a valores enteros pero no binarios), se usa la funcin @GIN() de la
misma manera. En cualquiera de los dos casos, la funcin se puede anidar
dentro de una instruccin @FOR para imponer estas restricciones binarias o
enteras sobre un conjunto completo de variables. En un modelo de LINDO, las
restricciones binarias o enteras se insertan despus de una instruccin END. Se
especifi ca una variable X como una variable entera general con GIN X. De otra
manera, para cualquier valor entero positivo de n, la instruccin GIN n especifi
ca que las primeras n variables son enteras generales. Las variables binarias se
manejan de la misma manera excepto que la palabra INTEGER se incorpora en
lugar de GIN. En el caso de un modelo de MPL, se usa la palabra clave INTEGER
para designar a las variables enteras generales, mientras que BINARY indica las
variables binarias. En la seccin de variables de un modelo MPL, todo lo que se
necesita es agregar el objetivo adecuado (INTEGER o BINARY) delante de
VARIABLES para especifi car que el conjunto de variables enumeradas bajo esta
etiqueta es de ese tipo. Como alternativa, se puede ignorar esta especifi cacin
en la seccin de variables y colocar restricciones de enteras y binarias en la
seccin del modelo en cualquier lugar despus de las otras restricciones. En
este caso, la etiqueta del conjunto de variables se convierte en slo INTEGER o

BINARY. El complemento CPLEX de MPL incluye los ltimos algoritmos para

resolver modelos de PE y PEB puros o mixtos. Si elige MIP Strategy del
submen CPLEX Parameters del men de Options, el usuario con experiencia
puede incluso elegir entre una variedad de opciones la manera exacta de
ejecutar el algoritmo para que se ajuste mejor al problema en cuestin.
Analisis de inversin
En ocasiones se usa programacin lineal para tomar decisiones de presupuesto
de capital acerca de cunto invertir en diferentes proyectos. Sin embargo,
como lo hace evidente el ejemplo de la California Manufacturing, algunas
decisiones de presupuestos no se refi eren a cunto invertir sino
al hecho de si debe invertirse una cantidad fi ja. En especial, las cuatro
decisiones del ejemplo eran si invertir una cantidad fi ja que es requerida para
construir cierto tipo de instalacin (fbrica o almacn) en determinado lugar
(Los ngeles o San Francisco). La administracin suele encontrarse en
situaciones de decisin sobre si hacer una inversin fi ja (en las cuales la
cantidad de capital se establece desde antes. Debe adquirirse una subsidiaria
en proceso de cierre de otra compaa? Debe preferirse a cierto proveedor de
materia prima? Debe agregarse una nueva lnea de produccin para fabricar
cierto subensamble en lugar de continuar con determinado proveedor?
En general, las decisiones de presupuestos de capital sobre inversiones fi jas
son decisiones s o no del tipo siguiente. Para cada decisin s o no: Debe
realizarse cierta inversin fi ja?
Variable de decisin= {1,0, si,si o no,no. Respectivamente
Eleccin del sitio
En la economa globalizada, muchas corporaciones instalan nuevas plantas en
diversas regiones del planeta para aprovechar la mano de obra ms barata y
otras ventajas.
Este diseo incluye investigar los siguientes tipos de decisiones s o no.
Debe cierta planta permanecer abierta?
Debe seleccionarse cierto sitio para una nueva planta?
Debe cierto centro de distribucin permanecer abierto?
Debe cierto sitio elegirse para instalar un nuevo centro de distribucin?
Si cada rea de mercado debe recibir servicio de un solo centro, entonces
tambin es necesario tomar otro tipo de decisiones s o no sobre cada
combinacin de rea de mercado y centro de distribucin.
Despacho de envos

Una vez que la red de produccin y distribucin haya sido diseada y puesta en
operacin, deben tomarse decisiones operativas diarias acerca de cmo
realizar los envos. Algunas de estas decisiones tambin son de s o no. Por
ejemplo, suponga que se usan camiones para transportar los envos y que cada
camin suele hacer entregas a varios clientes durante cada viaje. En
consecuencia, es necesario elegir una para cada camin, de manera que cada
candidato para la ruta conduce a la siguiente decisin de s o no.
Debe cierta ruta seleccionarse para uno de los camiones? Variable de
decisin
El objetivo es seleccionar las rutas que minimizan el costo total de realizar los
envos
Deben seleccionarse los siguientes elementos de manera simultnea para una
entrega:
1. Cierta ruta,
2. Cierto tamao de camin
3. Cierto momento de salida
Elecciones cuando las variables de decisin son continuas
(Ejemplo) La divisin de investigacin y desarrollo de la GOOD PRODUCTS
COMPANY ha desarrollado tres nuevos productos posibles. Sin embargo, para
evitar una diversificacin excesiva de la lnea de productos de la compaa, la
administracin ha impuesto las siguientes limitaciones.
Restriccin 1: De los tres nuevos productos posibles, deben escogerse, como
mximo, slo dos de ellos.
Se dispone de dos plantas que pueden fabricar los productos elegidos. Por
razones administrativas, la administracin impuso una segunda restriccin a
este respecto.
Restriccin 2: Slo una de las dos plantas debe asignarse para la produccin
de los nuevos productos. En esencia, el costo unitario de produccin de cada
producto sera el mismo en las dos plantas.
Sin embargo, por diferencias en las instalaciones, el nmero de horas de
produccin por unidad de cada producto puede diferir entre ellas.
El objetivo es seleccionar los productos, la planta y las tasas de produccin de
los bienes elegidos de manera que se maximice la ganancia total.

4.2. Definicin y modelos de programacin entera y binario

Dado que cualquier problema acotado de programacin entera pura tiene slo
un nmero fi nito de soluciones factibles, resulta natural considerar el uso de
algn tipo de procedimiento de enumeracin para encontrar una solucin
ptima. Desafortunadamente, como se mencion en la seccin anterior, este
nmero fi nito puede ser, y casi siempre es, muy grande, por lo que es
imperativo que cualquier procedimiento de enumeracin se estructure con
habilidad para que slo sea necesario examinar una pequea fraccin de estas
soluciones factibles.
Ejemplo:

Ramicacin
Cuando se manejan variables binarias, la forma ms sencilla de partir el
conjunto de soluciones factibles es fijar el valor de una variable (por ejemplo,
x1) en x1 5 0 para un subconjunto y en x1 5 1 para el otro. Al hacer esto en el
ejemplo prototipo, el problema completo queda dividido en dos subproblemas
ms pequeos, como se presentan a continuacin.

Acotamiento
Ahora es necesario obtener, para cada subproblema, una cota que muestre el
nivel de precisin de su mejor solucin factible. La forma ms comn de
hacerlo es resolver con rapidez un relajamiento sencillo del subproblema. Casi
siempre, el relajamiento de un problema se obtiene eliminando (relajando) un
conjunto de restricciones que difi cultan obtener una solucin. En los
problemas de PE, las restricciones ms incmodas son las que requieren que
las variables sean enteras. En consecuencia, el relajamiento que ms se usa es
el relajamiento de PL que elimina este conjunto de restricciones.
Sondeo
Un subproblema se puede conquistar (sondear), y, por tanto, ya no tomarse en
cuenta, en las tres formas que se describen a continuacin. Una forma se
ilustra con los resultados del subproblema 1 que se dieron en el nodo x1 5 0,
en la fi gura 11.5. Observe que la solucin ptima (nica) de este relajamiento
de PL, (x1, x2, x3, x4) 5 (0, 1, 0, 1), es una solucin entera.

4.3. Mtodo de Gomory

4.4. Mtodo de bifurcacin y acotacin
4.5. Uso de software