PROGRAMACION ENTERA

INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 1

PROGRAMACION ENTERA
INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 2
Los modelos de Programacin Entera son aquellos donde la totalidad o un
subconjunto de las variables de decisin toman valores enteros. En este
sentido la forma estndar de un modelo de Programacin Entera queda
definida de la siguiente forma:

Existen mltiples aplicaciones de modelos de Programacin Entera como
apoyo a la toma de decisiones. Algunas aplicaciones tpicas son problemas de
localizacin de instalaciones, inclusin de costos fijos, problemas de
asignacin, problemas de ruteo vehicular, etc.
PROGRAMACION ENTERA
INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 3
PROGRAMACION ENTERA:
Los programas lineales enteros son aquellos en los que algunas o todas las
variables estn restringidas a tener valores enteros (o discretos). La
programacin lineal entera tiene aplicaciones prcticas importantes.
Desafortunadamente, a pesar de dcadas de extensas investigaciones, la
experiencia en cmputo con programas lineales enteros ha sido menos que
satisfactoria. Hasta esta fecha no existe un programa de cmputo para
programas lineales enteros que pueda resolverlos en forma consistente.
Mtodo de Planificacin y Acotamiento:


Mtodo de Planos de Corte:
El del plano de cortante tambin se inicia en la solucin ptima del programa
lineal continuo. Al espacio de soluciones se agregan restricciones especiales,
llamadas cortes, en una forma que produzca un punto extremo entero.
En matemtica, y ms en concreto en optimizacin, el mtodo de los planos de
corte es un procedimiento para encontrar soluciones enteras de un problema
lineal. Fue introducido por Gomory.
Funciona resolviendo un programa lineal no entero, despus comprobando si la
optimizacin encontrada es tambin una solucin entera. Si no es as, es
aadida una nueva restriccin que corta la solucin no entera pero no corta
ningn otro punto de la regin factible. Esto se repite hasta que se encuentra la
solucin entera ptima.
Interpretacin geomtrica, una restriccin es equivalente a un hiperplano,
permitiendo solo soluciones en uno de los lados del plano.
Cortes de Gomory:
Tengo una solucin x admisible y tengo una base B asociada a x tal que


PROGRAMACION ENTERA
INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 4

Si tengo una solucin fraccionaria entonces tengo un elemento ensimo de x
fraccionario.







Es un corte o formulacin entera del corte de Gomory.

Mtodo Fraccional de Gomory:
Este mtodo solo resuelve modelos enteros puros y consta de los siguientes
pasos:

1.- Resolver el modelo relajado, es decir, que las variables sean continuas.

2.- Si el resultado es entero, entonces ya se tiene la solucin ptima, si no
seguir con el mtodo.


3.- Seleccionar el (Max ( X
Bi
[X
Bi
] ) incluyendo al rengln Z
j
- C
j ,

fraccionario y generar un nuevo corte o nueva restriccin:



PROGRAMACION ENTERA
INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 5
(a
ij
[a
ij
])x
j
(x
Bi
[x
Bi
])


Aadir este corte como una nueva restriccin y resolver utilizando el
mtodo Dual Simplex; ir al paso 2.

Nota: Z es entero si y solo si los coeficientes de la funcin objetivo son enteros
y as utilizar al rengln Z
j
- C
j,
en la tabla simplex




Mtodo Puro de Gomory:

El algoritmo puro de Gomory es una variacin del mtodo fraccional de
Gomory, al igual que este mtodo la matriz A debe ser entera.

Adems debe cumplir las condiciones para aplicar el mtodo dual simplex
(optimalidad inicial y al menos un negativo en la solucin):
1) Condicin de optimalidad
2) Valor de variable bsica < 0.
Definicin: Un vector es lexicogrficamente positivo si el primer componente
diferente de cero es positivo. Cuando un vector X es lexicogrficamente
positivo se escribe X}0.

Ejemplo:
X= (0. 3, -2, 9) X = 0
X = (0,0,-3,12) X no es 0
Definicin: un vector X es lexicogrficamente mayor que otro vector Y si
X - Y =0
Los pasos del mtodo son:
1) Elige la X
Bi
ms negativa. Se designa a esa fila con r. Si el mtodo dual
simplex genera un pivote -1, aplicar el mtodo dual simplex. Si no continuar con
el mtodo.
2) Elige aquella columna no-bsica con a
rj
<0 que sea lexicogrficamente la
menor. Se designa una columna por k. Al primer elemento distinto de cero de
dicha columna se le designa por a
pk
(>0) siendo su fila correspondiente la p.
PROGRAMACION ENTERA
INVESTIGACION OPERATIVA
LIC.DAFNE VILLA CABERO

Cuarto SEMESTRE (INGENIERIA INDUSTRIAL) Pgina 6
3) Para la columna a
rj
<0 se calcula el ndice uij = [akj/apk] si es que a
pj
es el
primer elemento diferente de cero en la columna j. De otra manera u
j
=.
4) Se calcula =max [ !arj! / uj ]para a
rj
<0 y u
j
.
5) Se deriva el corte:
6) Se anexa este a la tabla junto con su variable de holgura correspondiente y
se aplica el mtodo dual simplex sobre el entero. Si el resultado es X
B
0
entonces se tiene la solucin ptima, si no ir al paso 1.


sites.google.com/.../metodos.../metodos-de-planos-de-corte...
es.wikipedia.org/wiki/Mtodo_de_planos_de_corte
sites.google.com/.../metodos.../metodos-de-planos-de-corte...
Investigacin de Operaciones Hamdy A. Taha Sptima Edicin