PROGRAMACIN ENTERA

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

TIPOS
DESCRIPCION.
DE
MODELO
S.
A) 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

B)
BINARIA :

No negatividad : Xi >= 0 y ENTERO

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 :
Bi

C) MIXTA :

y1+y2+y3+y4+..........+yn >= (<=)(=)

No negatividad : yi >= 0 v 1
En estos tipos de modelos , integra las variables
puras y las mixtas.
Max (Min ) = A1X1+A2X2+A3X3+A4X4+A5X5+..........
+AnXn+A1Y1+A2Y2+A3Y3+A4Y4+A5Y5+..........+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

METODO DE GOMORY
Gomory fue el primer creador del algoritmo para resolver mtodos
de programacin entera, el algoritmo de gomory consiste en
resolver el problema sin considerar las restricciones del
carcter entero de las variables y si la solucin no es entera
aade restricciones que reduce el conjunto de soluciones del
problema lineal continuo asociado, sin excluir ninguna solucin
entera
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.

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
optima, si no seguir con el mtodo.

3.- Seleccionar el max ( XBi [XBi] ) incluyendo al renglon Zj

- Cj , fraccionario y generar un nuevo corte o nueva
restriccin:
(aij [aij])xj (xBi [xBi])
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 asi utilizar al renglon Zj - Cj 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):
Condicin de optimalidad
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
Ejemplo:
X = (0, 3, -2)
Y = (1, 2, 2)
X Y = (-1, 1, -4)
X no es lexicogrficamente mayor que Y
X - Y = 0, por tanto Y es lexicogrficamente mayor que X.
Y X = (1, -1, 4)
Los pasos del mtodo son:

1) Elige la XBi 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 arj<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 apk(>0) siendo su fila correspondiente la p.
3) Para la columna arj<0 se calcula el ndice uij = [akj/apk]
si es que apj es el primer elemento diferente de cero en la
columna j. De otra manera uj=.
4) Se calcula =max [ !arj! / uj ]para arj<0 y uj.
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 XB0 entonces se tiene la solucin
ptima, si no ir al paso 1.