Ramificacin y Acotamiento Un mtodo usado para resolver un problema de programacin entera en el que los nodos del rbol asociado

se examinan de una manera sistemtica tratando de eliminar por consideracin tantos nodos terminales como sea posible. Con el mtodo de ramificacin y acotamiento, en vez de buscar los nodos terminales directamente, comienza en el nivel superior del rbol y procede de nodo en nodo hacia la base del rbol y los nodos terminales. En cada nodo, se resuelve el programa lineal asociado. Sobre la base de esta solucin, se toma una decisin respecto a que nodos del rbol, si los hay, pueden eliminarse para otras consideraciones, lo que reduce el nmero de nodos terminales que necesitan examinarse. Caractersticas claves Si un problema de programacin lineal en un nodo es infactible, entonces tambin lo es el problema entero asociado en ese nodo, as como todos los problemas asociados con los nodos debajo del actual. Si el programa lineal actual tiene una solucin ptima, entonces el valor ptimo de la funcin objetivo del problema entero correspondiente, as como de cualquier programa lineal o entero asociado con un nodo debajo del actual, no puede exceder el del actual. Mientras ms lejos se fije el valor de una variable de su valor en la solucin ptima de un programa lineal, peor ser el valor de la funcin objetivo ptima del programa lineal asociado Una vez que un problema de programacin lineal es infactible para un valor entero fijo de una variable mayor (menor) que su valor ptimo en el programa lineal, todos los valores mayores (menores) de esta variable originan problemas de programacin lineal infactibles. Si el programa lineal en un nodo es ilimitado, el problema de programacin entera es ilimitado o infactible.

Utilizacin En algunos problemas los valores de las variables de decisin no pueden contener decimales, como por ejemplo, en el caso de fabricacin de artefactos para su venta, debido que estos no pueden ser vendidos de forma incompleta, tambin se da el caso cuando se tiene la asistencia de personas a eventos, pues en ellos las variables solo pueden tomar valores de 0-1 (Binarios) los cuales indican si la persona asiste o no.

Ejemplo Paso 1 En primer lugar no se considera la restriccin de que las variables deben ser enteras y se busca el ptimo, con el mtodo simplex.

S.A

Forma estndar

S.A

Cb 0 0

B 6 9 0

3 2 2 -3

4 1 3 -4

0 1 0 0

0 0 1 0

Cb 0 4

B 3 3 12

4 0 1 0

0 1 0 0

Cb 3 4

3 1 0 12.75 0

4 0 1 0

Soluciones optimas encontradas por mtodo simplex

Paso 2 Con la solucin ptima (ej. X=a, Y=b), se comienza a realizar la ramificacin del problema Se escoge una variable X del problema cuya solucin no sea entera (no las de holgura), y se ramifica (agrega una restriccin) Por un lado haciendo que X [a] y por la otra rama X [a]+1 P0

P2 P1

Se coge la parte entera de en este caso es 2 Aplicando X [a]+1 para la otra rama, entonces quedara en dado que al dividir 9 % 4 = 2.25 Por lo tanto el problema queda de la siguiente Por lo tanto el problema queda de la siguiente forma forma S.A

S.A

Hacemos que Reemplazamos en las restricciones

1

Hacemos que Reemplazamos en las restricciones y

Recordar que para la otra rama es necesario sumar (1) X [a]+1

conseguimos que:

Teniendo estos valores se halla el nuevo Z De la siguiente manera (3*2) + (4* ) = 12.667

Volver a Calcular el nuevo valor Z (3*3) + (4+0) = 9

Se encuentra con una variable entera (Z=9), pero aun no podemos utilizar esta solucin como la ptima dado que la solucin objetivo de la primera rama es mayor, por lo tanto se debe seguir ramificando por P1. Paso 3 Como tiene valor entero tomamos

P1

P3

P4

Se coge la parte entera de en este caso es 1 La restriccin que se agrega ahora es dado que al dividir 5 % 3 = 1.667 La primera restriccin que se agrega es Se toma el problema anterior con la restriccin de P1 la cual era y adems agregar la S.A restriccin de S.A

Por lo tanto decimos que Reemplazamos en las restricciones quedando Como la restriccin que se agrego es se asume que toma el valor de 1 y estos se remplazan en las restricciones anteriores quedando que:

Por lo tanto el valor mayor que puede tomar la variable es 2 y es 1 Hallar el nuevo valor de Z (3*2) + (4+1) = 10 Hallar el nuevo valor de Z (3* ) + (4*2)=12.50

En este caso no se encuentra una solucin entera pero la funcin objetivo aun es mayor a la solucin entera encontrada en P3 por lo tanto se debe seguir ramificando con P4

Paso 4 P4

P5

P6

Dado que la variable que no tiene valores La restriccin que se agrega ahora es enteros, se debe ramificar por ah. Se agrega la restriccin La funcin objetivo y el problema de programacin lineal queda con sus S.A restricciones originales que fue agregada antes de P1, agregada antes que P4 y que fue agregada reciente

S.A Se dice que Reemplazando obteniendo

Se dice que Reemplazamos obteniendo En este caso el valor que no se puede determinar puesto que no hay una interseccin Entre las inecuaciones dadas, esto se conoce como problema infactible.

Hallar el nuevo valor de Z (3*1) + (4+ ) = 12.333

Problema infactible Esta Rama se termina aqu, no se puede seguir realizando.

Solo se debe continuar con la rama P5 Paso 5 P5

P7

P8