Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Grupo Interno: 5
Ejercicio Tpico
Objetivo:
Explicar el proceso para resolver un problema clsico de programacin entera pura analizando el mtodo de solucin ,
para as poder hallar los valores de las variables que satisfagan las restricciones del problema tpico mediante el mtodo de
ramificacin y acotamiento
Enunciado:
Considere el siguiente el siguiente problema de programacin entera pura:
Max:
Z = 10x1 + x2
Sujeto a:
1x1 + 6x2 50
12x1 + 1x2 60
x1, x2 0, y Enteros.
Conceptos:
Variables de decisin, mtodo simplex, factibilidad, acotamiento.
Ramificacin y Acotamiento: Aborda la resolucin de modelos de programacin entera, a travs de la resolucin de una
secuencia de modelos de programacin lineal, los cuales constituirn los nodos o sub-problemas del problema entero.
Problema terminal: es aquel del cual no se desprenden ms ramas, y es un problema que cumple con cualquiera de las
siguientes condiciones:
Si el valor de la funcin objetivo es menor o igual que el valor objetivo de la solucin.
La solucin es entera.
No es factible.
Algoritmo:
1. Encontrar la solucin al problema relajado ya sea mediante el Mtodo Grafico (con dos variables de decisin) o el
mtodo Simplex (con dos o ms variables de decisin), en este caso usaremos el mtodo grafico para hallar la
solucin relajada del problema. Si la solucin relajada no es entera, pase al segundo punto con la solucin ptima al
problema relajado.
2. Se selecciona una variable de decisin, como es un problema de programacin entera pura, las dos variables deben se
enteras, entonces se puede escoger cualquier variable, pero para hacer menos iteraciones se escoge la variable que
tenga el valor con fraccin mayor y se crean dos ramas mutuamente excluyentes, esto da lugar a dos (2) nuevos
problemas de Programacin Lineal; que se deben resolver.
3. Si ninguna solucin es entera, con la rama de mayor valor de Z, se crean nuevas ramas y se resuelven nuevos
problemas por programacin lineal (Mtodo Grfico).
4. Se repite el punto 2), Hasta encontrar la solucin entera ptima.
DESARROLLO:
1. Hallar la solucin relajada mediante el mtodo grfico.
PROCEDIMIENTO
Z = 51.26760533
X1 = 4.3661971
X2 = 7.605638
2.
Se
realiza
una
ramificacin del problema
original.
sub-problema en el cul se
agrega una restriccin que
corresponde a la parte entera
del valor fraccionario de una
variable obtenido en el paso
anterior, en este caso se opt
por X2=7.60538 El cul se
convertir
en
las
restricciones X27 y X88
para los sub-problemas 1 y 2
respectivamente.
(P2) Para x2 8:
Para(P2) se obtuvo
4. Se contina ramificando
con el mayor Z, en este caso,
P1 y se ramifica con respecto
a la variable x2. . El cul se
convertir
en
las
restricciones X14 y X15
para los sub-problemas 3 y 4
respectivamente.
(P4) Para x1 5:
5. Solucin
6. Solucin ptima
Una forma ms clara de visualizar el procedimiento es por medio del rbol de sub-problemas:
P0
Z = 51.26760533, X1 = 4.3661971,
X2 = 7.605638
X27
X28
P1
P2
X1=4,4 X2=7
Z=51.16
X14
X1=2 X2=8
X15
Z=28
P3
X1=4 X2=7
Z=47
P4
X1=5 X2=0
Z=50
SBF
SBFOP: Solucin bsica, factible, ptima y entera.
CONCLUSIN:
La programacin entera pura puede ser solucionada por muchos mtodos, algunos de ellos muy simples como por ejemplo
por redondeo, pero estos no siempre funcionan, en este ejemplo si se hubiera solucionado por redondeo no habra arrojado
la solucin ptima, por lo que es importante tener en cuenta otros mtodos que pueden no ser tan sencillos. Por otro lado,
el mtodo de ramificacin y acotamiento permite la resolucin de problemas de programacin entera pura, por medio de
la adicin de restricciones en sub-problemas paralelos, lo cual permite diagnosticar infactibilidad y tendencias a
soluciones enteras con un valor en la funcin objetivo que obedezcan a un comportamiento no deseado.
REFERENCIAS:
HERRAMIENTA UTILIZADA:
PHPsimplex