You are on page 1of 15

INTRODUCCIN Y CASOS DE APLICACIN.

DEFINICIN Y MODELOS DE PROGRAMACIN ENTERA.

DEFINICIN:
Un modelo de programacin entera es aquel que contiene restricciones y una
funcin objetivo idnticas a las formuladas en programacin lineal, la nica
diferencia en que una o ms variables de decisin deben tomar valor entero en
la solucin final.

CLASIFICACIN:
Existen tres tipos de modelos por programacin entera

PURA: Son modelos similares a los de programacin entera

Forma General:

Max (Min) = A1X1+A2X2+A3X3+A4X4+A5X5+..........+AnXn

Sujeto a : A1X1+A2X2+A3X3+A4X4+A5X5+..........+AnXn >= (<=)(=) Bi

No negatividad : Xi >= 0 y ENTERO


B) BINARIA: Estos modelos lineales , las variables slo toman valores 0 y 1 , son
usadas para uso probabilistico Donde 0 se rechaza la opcin y 1 se acepta
la opcin

Forma General :
Max (Min ) = A1Y1+A2Y2+A3Y3+A4Y4+A5Y5+..........+AnYn

Sujeto a : y1+y2+y3+y4+..........+yn >= (<=)(=) Bi

No negatividad : yi >= 0 v 1

C) MIXTA : En estos tipos de modelos , integra las variables puras y las mixtas

Max (Min )
= A1X1+A2X2+A3X3+A4X4+A5X5+..........+AnXn+A1Y1+A2Y2+A3Y3+A4Y4+A5Y
5+..........+AnYn

Sujeto a :
A1X1+A2X2+A3X3+A4X4+A5X5+..........+AnXn >= (<=)(=) Bi
y1+y2+y3+y4+..........+yn >= (<=)(=) Bi

No negatividad :
Xi >= 0 y ENTERO
Xi >= 0 v 1
Tipos de Restricciones Usadas en la Programacin Entera Mixta:
1) Excluyentes: Solo sirve para elegir una alternativa de varias posibles

2) Pre-requisito: Cuando necesitas realizar una accin antes de proceder con la


siguiente

3) Incluyente: Dicha restriccin se da para cuando realizas una accin "A"


entonces debes hacer la accin "B"

4) Costo Fijo: Cuando se nombra un costo fijo , es sinnimo de uso de variable


mixta
Ejemplo Aplicativo

Un problema que afronta todos los das un electricista consiste en decidir


qu generadores conectar. El electricista en cuestin tiene tres generadores con
las caractersticas que se muestran en la tabla 3. Hay dos periodos en el da. En el
primero se necesitan 2900 mega watts. En el segundo. 3900 mega watts. Un
generador que se conecte para el primer periodo puede ser usado en el segundo
sin causar un nuevo gasto de conexin. Todos los generadores principales (como
lo son A, B y C de la figura) son apagados al trmino del da. Si se usa el
generador A tambin puede usarse el generador C, no se usa generador B si se
usa generador A. Formule este problema como un PLEM.

V.D.

Xij= Nmero de megawatts a usar del generador i(i=A,B,C) en el perido j(j=1,2).

Yi= 0 No arranca el generador i(i=A,B,C)

1 Si arranca el generador i(i=A,B,C)

Restricciones:

Demanda en el periodo 1:

xa1 +xb1+xc1 >= 2900

Demanda en el periodo 2:

xa2+xb2+xc2>= 3900

Capacidad de generador A:
xa1 <= 2100y1 (enlace variable entera con variable binaria)

xa2<=2100y1 (enlace variable entera con variable binaria)

Capacidad de generador B:

xb1<=1800y2 (enlace variable entera con variable binaria)

xb2<=1800y2 (enlace variable entera con variable binaria)

Capacidad de generador C:

xc1<=3000y3 (enlace variable entera con variable binaria)

xc2<=3000y3 (enlace variable entera con variable binaria)

Funcin Objetivo:

Minimizar (z)= 5(x11+x12) +4(x21+x22) + 7(x31+x32) +3000(y1)+2000(y2) +


1000(y3)
MTODO GRFICO DE PROGRAMACIN ENTERA
Qu es la Programacin Entera? Un modelo de Programacin Entera es aquel cuya solucin
ptima tiene sentido solamente si una parte o todas las variables de decisin toman valores
restringidos a nmeros enteros, permitiendo incorporar en el modelamiento matemtico algunos
aspectos que quedan fuera del alcance de los modelos de Programacin Lineal.

En este sentido los algoritmos de resolucin de los modelos de Programacin Entera difieren a los
utilizados en los modelos de Programacin Lineal, destacndose entre ellos el Algoritmo de
Ramificacin y Acotamiento (o Branch & Bound), Branch & Cut, Planos Cortantes, Relajacin entre
otros.

Mtodo Grfico

Una compaa de auditores se especializa en preparar liquidaciones y auditoras de empresas


pequeas. Tienen inters en saber cuntas auditoras y liquidaciones pueden realizar
mensualmente para maximizar sus ingresos. Se dispone de 800 horas de trabajo directo y 320
horas para revisin. Una auditora en promedio requiere de 40 horas de trabajo directo y 10 horas
de revisin, adems aporta un ingreso de 300 dls. Una liquidacin de impuesto requiere de 8 horas
de trabajo directo y de 5 horas de revisin, produce un ingreso de 100 dls. El mximo de
liquidaciones mensuales disponibles es de 60.

OBJETIVO: Maximizar el ingreso total.

VARIABLE DE DECISION: Cantidad de auditoras (X1).

Cantidad de liquidaciones (X2).

RESTRICCIONES:

Tiempo disponible de trabajo directo

Tiempo disponible de revisin

Nmero mximo de liquidaciones.

MAXIMIZAR Z= 300X1+100X2

SUJETO A:

40X1+8X2<=800

10X1+5X2<=320

X2<=60 Xi>=0
La solucin ptima siempre se encuentra en uno de los vrtices del conjunto de soluciones
factibles. Se analizan estos valores en la funcin objetivo. El vrtice que representa el mejor valor
de la funcin objetivo ser la solucin ptima.
MTODO DE RAMIFICACIN Y ACOTACIN

La ramificacin consiste en dividir cada problema en dos nuevos subproblemas, obtenidos


mediante la imposicin de restricciones excluyentes que dividen el conjunto de oportunidades del
problema original en dos partes, pero eliminando en ambas partes la solucin no entera del
problema original.

Si Xbi no entero, entonces se generan a partir de dicho valor dos restricciones xi [Xbi] y xi
[Xbi]+1 (siendo [Xbi] la parte entera por defecto de Xbi), que aadidas cada uno por separado al
problema original, da lugar a dos nuevos subproblemas.

Por ejemplo la variable x1 tiene que ser entera, pero en la solucin anterior (PLA u otro), la
variable vale: x1 = 6.8. Esta solucin no es vlida, ya que no es admisible un valor fraccional, por
tanto se introduciran las siguientes restricciones: x1 6 y x1 7, de forma que se ha eliminado una
porcin del conjunto donde no hay soluciones enteras, pero se mantienen las enteras:

As se prosigue con todas las variables hasta que sean enteras.

Si al proceso de ramificacin no se mejora de alguna forma, llegaramos a analizar TODAS las


soluciones enteras (Enumeracin Total). Por eso, se aade la fase de Acotacin, esta tiene que ver
con el valor de la funcin objetivo.

A medida que se va ramificando se obtienen soluciones enteras y otras que no lo son.

No podemos asegurar que la primera solucin entera obtenida sea la solucin ptima, sino que es
necesario comprobar si existen otras soluciones enteras o no.
El anlisis del PLA: Ramificacin se realiza siempre a partir de aquel problema que tiene el mejor
valor de la funcin objetivo, y siempre que exista alguna solucin (no entera) con un valor de la
funcin objetivo

Ejemplo: (Maximizacin)

* Solucion del PLA: FO: 5487,33 (Solucin no entera)

Primera Ramificacin: Problema 1: FO: 5340, 75 (solucin no entera)

Problema 2: FO: 5425.10 (solucin no entera).

Segunda Ramificacin: A partir del problema 2, por tener un mejor valor de la funcin objetivo:

Problema 21: FO: 5405, 30 (solucin no entera)

Problema 22: FO: Infactible.

Como no hay solucin entera hemos de seguir ramificando: Por dnde? Problema 22 tiene mejor
valor que problema 1.

Tercera ramificacin: A partir del problema 21

Problema 211: FO = 5350 (solucin entera)

Problema 212 F= = 5385.25 (solucin no entera).

La solucin del problema 211 (5350) es la optima?


NO, ya que ramificando por el problema 212 se podran encontrar mejores soluciones. Pero lo que
es seguro que a partir del Problema 1: FO: 5340, 75 no vamos a encontrar ninguna solucin entera
mejor que la que hemos encotrado, por tanto ese valor de 5350 es la COTA a partir de la cual no
analizaremos ningn problema que tenga un valor de FO menor o igual.

Cuarta Ramificacin:

Problema 2121: FO = 2360 (solucin entera)

Probelma 2122 FO = 2366.25 (solucin no entera).

Que hacer:

a) La cota ha mejorado, ahora no analizaremos ninguna solucin con un valor de FO menor o


igual que 2360. Pero aun no podemos afirmar que la solucin del problema 2121 sea la
optima, hemos de seguir ramificando:

Quinta Ramificacin:
Problema 21221: FO = 2355 (solucin entera)
Problema 21222 FO = 2358.75 (solucin no entera).
Hemos de ramificar el problema 21222?: NO, ya que tenemos una solucin entera 2360
mejor que cualquier valor de una funcin objetivo de un problema no ramificado.
Esquema del algoritmo de ramificacin y acotacin.
MTODO HEURSTICO PARA PROBLEMAS BINARIOS
Uso de software (WIN QSB,TORA, DS for Windows, LINGO, LINDO, Y OTROS)

WinQSB

Es un sistema interactivo de ayuda a la toma de decisiones que contiene herramientas muy tiles
para resolver distintos tipos de problemas en el campo de la investigacin operativa.

TORA

Es un programa para resolver problemas de PL. TORA no se instala, ya que es un programa para
ser operado bajo el Sistema Operativo MS-DOS.

DS for Windows

durante mucho tiempo fue un gran aliado a la hora de tomar decisiones, ya que nos brindo mucha
ayuda con respecto a los clculos, ahora bien, es un software algo viejo,
Pearson, compaa dedicada a su creacin, desde hace tiempo ya lo elimino del mercado, lo
cambio por uno llamado POM-QM, es idntico al DS.

Adems a esto aaden la opcin de un nuevo software con todas las caractersticas pero asociadas
a Excel, es decir trabajar directamente sobre Excel, esto nos ayuda mucho si trabajamos solo en
esas hojas de calculo. Recomiendo que lo prueben, adems de ser una valiosa herramienta para el
ingeniero actual.

LINGO

es una herramienta diseada para construir y resolver modelos de optimizacin matemtica.


LINGO proporciona un paquete integrado que incluye un potente lenguaje para expresar modelos
de optimizacin, un ambiente con todas las funciones para los problemas de construccin y
edicin, y un conjunto de solucionadores rpidos incorporados, capaces de resolver de manera
eficiente la mayora de las clases de modelos de optimizacin.

LINDO

LINDO es una aplicacin para computadoras que se utiliza para resolver problemas de
programacin lineal, cuadrtica y entera.

Desde 1979 el programa LINDO ha sido una de las herramientas de optimizacin favoritas de las
comunidades Educativas y Empresariales. LINDO Systems se ha dedicado a proveer poderosas e
innovativas herramientas de optimizacin que tambin son flexibles y muy fciles de usar. LINDO
tiene una larga historia y es uno de los pioneros en crear poderosos programas de optimizacin.

Antes que aparecieran Lotus 1-2-3 o Excel, LINDO haba sido incorporado a la planilla de clculo
VisiCalc, el paquete se llam VINO y es el equivalente del SOLVER que viene con Excel. En estos
momentos existe una hoja de clculo llamada WHATS Best! la cual se integra a EXCEL o LOTUS 1-
2-3; sta resuelve problemas de optimizacin con algoritmos de LINDO Systems.