Investigacin de Operaciones II Grupo 08 MTODO DE RAMIFICACIN Y ACOTAMIENTO PARA UN PROBLEMA DE PROGRAMACIN ENTERA MIXTA (PEM) Juan Camilo Camacho

Beltrn 20111020012 Julin David Collazos Barrera 20111020019 Daniel Ruiz Velandia 20111020084

Objetivo. Desarrollar un ejercicio paso a paso en la comprensin del algoritmo de ramificacin y acotamiento que permita comprender las caractersticas del mismo al momento de resolver problemas de PEM. Conceptos claves. Programacin Entera Mixta: Consta de resolver problemas de optimizacin en espacios cuyas variables pueden tomar valores enteros o decimales. Optimalidad: La mejor solucin posible de acuerdo al problema trabajado, sea maximizar o minimizar. Simplex: Algoritmo generalmente usado para espacios de ms de 2 dimensiones.
Enunciado. Sea el siguiente problema:

Resolver el problema de programacin lineal asociado.

Algunas tablas simplex en el desarrollo del problema.

. ..

Resolviendo, se obtiene la solucin al problema lineal relajado. Analizamos la solucin al No cumple con las condiciones de integridad: problema. Bifurcacin. La bifurcacin con la variable x3 da lugar a los siguientes problemas:

Estos problemas se colocan en la lista a procesar. Se resuelve en el orden i Para P1:

de cada problema Pi. Acotacin.

Poda.

Puesto que la solucin obtenida satisface las condiciones de integralidad (x2, x3 ), y que el valor de la funcin objetivo (z=1.5) es menor que el valor actual de la cota superior, sta se actualiza a 1.5 (la solucin ptima est por tanto entre 0 y 1.5), y el minimizador encontrado se almacena como mejor candidato a minimizador del problema original. Puesto que la solucin actual satisface las condiciones de integralidad (para x2 y x3), la rama se poda y se continua con el de dar soluciones a los elementos de la lista.

Solucin al problema P2.

Acotacin.

Puesto que esta solucin no satisface las condiciones de integralidad (x2 ) y el valor correspondiente de la funcin objetivo (0.5) est entre las cotas interior y superior, la cota inferior se actualiza de 0 a 0.5 (la solucin ptima est por tanto entre 0.5 y 1.5). Ahora se bifurca sobre la variable x2, lo que da lugar a los dos problemas siguientes.

Poda. Control de Optimalidad. Solucin P3. Acotacin. Poda. Solucin P4. Acotacin. Poda.

Los problemas generados en el proceso de bifurcacin se aaden a la lista de problemas que han de resolverse. No ocurre poda. Puesto que la lista de problemas a procesar no est vaca, se contina con el problema P3. El problema P3 es infactible. No hay solucin para este caso. Obviamente no ocurre, P3 no tiene soluciones a acotar. Igualmente no ocurre poda. An existen problemas pendientes por resolver. P4. No ocurre para este caso. Puesto que la solucin obtenida no satisface las condiciones de integralidad (x3 ), y el valor correspondiente de la funcin objetivo es mayor que el valor actual de la cota superior, no podr lograrse una mejor solucin que la disponible llevando a cabo bifurcaciones adicionales. As, la rama se poda por cotas. El proceso concluye al no haber ms problemas en lista. El candidato a minimizador es P1.

Control de Optimalidad.

Conclusiones. El mtodo de ramificacin y acotamiento comprende varios subproblemas caracterizados por el anlisis adecuado en cada iteracin ya que compromete el comportamiento y la efectividad del proceso. Suele suceder que el algoritmo de ramificacin y acotamiento itera varias veces en un mismo costado del rbol de forma innecesaria, pues ocurre que la solucin ptima no cambia por ms anlisis posteriores realizados. Puede generar grandes costos computacionales. El control constante de los valores de las variables se hace muy relevante para un caso de PEM, puesto que debe tenerse en cuenta en todo momento cul o cules variables pueden o no adquirir un valor entero o decimal. Bibliografa. A. Herrn Introduccin a la Programacin Matemtica. Tema 6: Programacin entera: Bifurcacin y planos de corte. Universidad Complutense Madrid PDF.