Clase # 18

Puede parecer que los problemas de Programacin Entera son relativamente fciles de resolver.

Solucin de Problemas de Programacin entera.

Por lo general resulta mucho ms sencillo resolver los problemas de programacin lineal que los de programacin entera.
18-1 18-2

Una primera idea para resolver un problema de P.E podra ser resolver el problema lineal (llamada relajacin PL) del problema entero, y redondear la solucin.

Ejemplo. (peligro 1) Max Z = X2 -X1 + X2 1/2

Hay que tener mucho cuidado pues al hacer esto existen algunos peligros.

X1 + X2 7/2 X1 , X2 0

Veamos un ejemplo.
18-3

X1 , X2 enteros positivos
18-4

X2
X1 + X2 = 7/2 -X1 + X2 = 1/2

La funcin objetivo es Z = X2 .. Si resolviramos el P.L con variables que no necesariamente fueran enteras, hallaramos el ptimo grficamente en el punto ( 3/2 , 2). Redondeando obtendramos o bien el punto (1,2) o el punto (2,2)
X1

Veamos
18-5 18-6

X2 ptimo de la relajacin P.L

Ejemplo. (peligro 2) Max Z = X1 + 5 X 2 X1 + 10X2 20 X1 X1 , X2 0 X1 , X2 enteros positivos

18-7 18-8

Si se redondea, las soluciones que se obtienen no son factibles

X1
0 1 2 3 4 5

X2 X1+10X2 = 20 X2 = 2 2

El ptimo de la relajacin P.L es el punto ( 2, 9/5 ) , que redondeado en la direccin factible sera (2,2) . Sin embargo esta solucin no es la ptima del problema de programacin entera. (2,2) no es un punto factible

X2
18-9

Veamos
18-10

X2

Se han propuesto muchos mtodos para resolver los problemas de P.E (algoritmos heursticos). El ms utilizado es el mtodo de ramificacin y acotamiento (Branch and Bounds)

ptimo del problema real

ptimo de la relajacin P.L

Antes de explicar cmo funciona este mtodo es importante anotar que: Si se resuelve la relajacin P.L de una P.E pura y obtiene una solucin en la cual todas las variables son nmeros enteros, entonces la solucin ptima de la relajacin P.L ser tambin la solucin ptima del P.E.
18-12

X2
18-11

Ejemplo.

10 X2 9 8 7

Max Z = 8X1 +5X2 X1 + X2 6

9 X1 + 5X2 = 45

6 5 4 3 2 1

9X1 + 5X2 45 X1 , X2 0 X1 , X2 enteros no negativos

Veamos

X1 + X2 = 6
X1 1 2 3 4 5 6 7

18-13

18-14

El mtodo de ramificacin y acotamiento empieza por resolver la relajacin P.L del P.E. As entonces la relajacin P.L ser:
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 , X2 0

10 X2 9 8 7 6 5 4 3 2 1

Relajacin P.L

9 X1 + 5X2 = 45

ptimo de la relajacin P.L

X1 + X2 = 6
X1 1 2 3 4 5 6 7

Veamos

18-15

Z=20

18-16

Solucin ptima relajacin P.L

X1 = 15/4 X2 = 9/4 Z = 165/4

10 X2 9 8 7 6 5

Subproblemas 1y2 Subproblema 2

Debemos dividir la regin factible de la relajacin P.L

As entonces elegimos arbitrariamente entre X1 y X2 para crear dos subproblemas

Veamos
18-17

4 3 2 1 1 2 3 4 5

Subproblema 1
X1 6 7
18-18

10 X2 9

Subproblemas 1y2 Subproblema 2

As entonces :
Subproblema 1
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 4 X1 , X2 0

8 7 6 5 4 3 2 1

Subproblema 2
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 3 X1 , X2 0

ptimo del subproblema 1

Subproblema 1
X1 1 2 3 4 5 6 7

Veamos

18-19

Z=20

18-20

Solucin ptima subproblema 1

X1 = 4 X2 = 9/5 Z = 41 X1 = 3 X2 = 3 Z = 39

Relajacin P.L X1 = 15/4 X2 = 9/4 Z = 165/4

X1 4 X1 3

Solucin ptima subproblema 2 Debemos dividir la regin factible del subproblema 1

Recordemos que esta eleccin es arbitraria. Escogemos X2 para hacer la divisin

Subproblema 1 X1 = 4 X2 = 9/5 Z = 41 Resumiendo 18-21

Subproblema 2 X1 = 3 X2 = 3 Z = 39
18-22

10 X2 9

Subproblemas 3y4

As entonces :
Subproblema 3
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 4 X2 2 X1 , X2 0

8 7 6 5 4 3 2 1
Subproblema 4 Subproblema 3 No tiene regin factible

Subproblema 4
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 4 X2 1 X1 , X2 0

X1

Veamos

18-23

18-24

Solucin ptima subproblema 4

X1 = 40/9 X2 = 1 Z = 365/9

X1 4

Relajacin P.L X1 = 15/4 X2 = 9/4 X1 Z = 165/4

Debemos dividir la regin factible del subproblema 4

Subproblema 1 X1 = 4 X2 = 9/5 Z = 41
X2 2 X2 1

Subproblema 2 X1 = 3 X2 = 3 Z = 39

Escogemos X1 para hacer la divisin

Subproblema 3 No factible

Subproblema 4 X1 = 40/9 X2 = 1 Z = 365/9

18-26

Resumiendo 18-25

10 X2 9

Subproblemas 5y6 Subproblema 6

As entonces :
Subproblema 5
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 4 X2 1 X1 5 X1 , X2 0

8 7 6 5 4 3 2 1 X1
18-27

Subproblema 6
Max Z = 8X1 +5X2 X1 + X2 6 9X1 + 5X2 45 X1 4 X2 1 X1 4 X1 , X2 0

Subproblema 5

Veamos

18-28

Solucin ptima subproblema 6

X1 = 4 X2 = 1 Z = 37

X1 4

Subproblema 1 X1 = 4 X2 = 9/5 Z = 41

Relajacin P.L X1 = 15/4 X2 = 9/4 Z = 165/4

X1 3

Subproblema 2 X1 = 3 X2 = 3 Z = 39

Solucin ptima subproblema 5

X1 = 5 X2 = 0 Z = 40

X2 2

X2 1

Subproblema 3 No factible

Subproblema 4 X1 = 40/9 X2 = 1 X1 5 Z = 365/9 Subproblema 5 X1 = 5 X2 = 0 Z = 40

X1 4

Solucin ptima

Resumiendo 18-29

Subproblema 6 X1 = 4 X2 = 1 Z = 37
18-30