You are on page 1of 17

1

Ramificacin y Acotamiento
EII-450
Investigacin de
Operaciones II
Ramificacin y Acotamiento
Ramificacin
Propiedad 3.3
Considere el problema
X x
a s
cx Z

=

.
max
{ }
2 1
2 1
2 1
2 1 2 1 2 1
, Z max Z que cumple se Entonces
X x X x
s.a s.a
max Z y max Sean Z
X X y X X X que tal X y X Sean
Z
cx cx
=

= =
= =
Ramificacin se refiere a la aplicacin recursiva de
la Propiedad 3.3
2
Ramificacin
Grficamente
X x
a s
cx

.
max
X
Ramificacin
Grficamente
X x
a s
cx

.
max
X
2

.
max
X x
a s
cx

1

.
max
X x
a s
cx

X
1
X
2
3
Ramificacin
Grficamente
X x
a s
cx

.
max
X
2

.
max
X x
a s
cx

1

.
max
X x
a s
cx

X
1
X
2
3

.
max
X x
a s
cx

4

.
max
X x
a s
cx

X
3
X
4
Ramificacin
Grficamente
X x
a s
cx

.
max
X
2

.
max
X x
a s
cx

1

.
max
X x
a s
cx

X
1
X
2
3

.
max
X x
a s
cx

4

.
max
X x
a s
cx

5

.
max
X x
a s
cx

6

.
max
X x
a s
cx

X
3
X
4
X
5
X
6
4
Ramificacin y Acotamiento
Acotamiento
Propiedad 3.4
Considere el problema
X x
a s
cx Z

=

.
max
{ }
{ } Z de inferior cota una es Z , Z max Z y
Z de superior cota una es Z , Z max Z Entonces
mente respectiva y Z Z de inferior cotas y Z Sean Z
mente respectiva y Z Z de superior cotas y Z Sean Z
X x X x
s.a s.a
max Z y max Sean Z
X X y X X X que tal X y X Sean
2 1
2 1
2 1 2 1
2 1 2 1
2 1
2 1
2 1 2 1 2 1

+ + +

+ +
=
=

= =
= =
cx cx
Ramificacin y Acotamiento
Acotamiento
El algoritmo de Ramificacin y Acotamiento mantiene
una cota superior para cada subproblema, y una cota
inferior global respecto de la F.O del problema original.
Esta informacin se utiliza para determinar qu
subproblemas requieren ramificacin adicional, los que
denominan ACTIVOS, y cuales no.
5
Ramificacin y Acotamiento
Acotamiento
Un subproblema k es NO-ACTIVO si:
El subproblema k ha sido ramificado.
El subproblema k ha sido resuelto.
El subproblema k es infactible.
Se verifica que
-
k
Z Z
+
Elementos de diseo de un algoritmo de
Ramificacin y Acotamiento
Seleccin de la cota superior Relajacin
Seleccin de la cota inferior Solucin factible
Estrategia de Ramificacin Criterio para particionar el espacio de
soluciones, tpicamente depende de la
Relajacin utilizada
Seleccin del subproblema ACTIVO a ramificar
Depth first search
Best node search
Breadth first search
6
Ramificacin y Acotamiento basado en
Programacin Lineal
2. a Vaya activo. no
como P defina factible, es no P de lineal relajacin la Si 6.
7. a Vaya . P de lineal relajacin la de solucin x
y relajada, lineal solucin la en F.O. la de valor Z
defina factible, es P de lineal relajacin la Si 5.
. P de lineal relajacin la Resuelva 4.
. P problema un Seleccione 3.
ptima. es x , terminar vaco, est activos as subproblem de conjunto el Si 2.
vaco. y x Z Defina . P problema un Considere 1.
i i
i i
i
i
i
i
*
* - 0
=
=
= =
+
Ramificacin y Acotamiento basado en
Programacin Lineal

2. a Vaya mente. respectiva
x y x x x
nes restriccio las P de n formulaci la a
agregando as subproblem dos genere io, fraccionar es P de lineal relajacin
la en valor x cuyo x entera variable una Seleccione : n Ramificaci . 9
activos. as subproblem
de conjunto del k elimine Z Z si i, k a subproblem todo Para
. x y x Z Z Actualice
Z Z Si 8.2
activos. as subproblem de conjunto del P Elimine 8.1
factible entera solucin una es x Si 8.
2. a Vaya activo. no como P defina , Z Z Si 7.
i
j j
i
j j
i
i
i
j j
-
k
i *
i
-
-
i
i
i
i -
i

<
= =
>

+
+
+
+
7
Ramificacin y Acotamiento
Ejemplo
0 ,
36 9 4
35 7 5
.
3 2

+
+
+
y x
y x
y x
a s
y x Max
Considere el siguiente problema:
Ejemplo: F.O. Max 2x+3y
7
4
x
y
8
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
0 Z =

7
4
x
y
P
0
P
0
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
0 Z =

7
4
x
y
3 x 4 x
P
0
4 x 3 x
P
0
9
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
0 Z =

7
4
x
y
3 x 4 x
4 x 3 x
P
1
P
1
P
0
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
0 Z =

7
4
x
y
3 x 4 x
4 x 3 x
P
1
P
2
P
2
P
0
P
1
10
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
0 Z =

7
4
x
y
3 x 4 x
2 y 3 y
4 x 3 x
P
2
2 y
3 y
P
2
P
0
P
1
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
INF
0 Z =

7
4
x
y
3 x 4 x
2 y 3 y
4 x 3 x
P
2
2 y
3 y
P
3
P
2
P
0
P
1
11
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
0 Z =

7
4
x
y
3 x 4 x
2 y 3 y
4 x 3 x
P
4
P
2
2 y
3 y
P
4
P
3
P
2
P
0
P
1
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
0 Z =

7
4
x
y
3 x 4 x
2 y 3 y 2 y 3 y
4 x 3 x
P
4 2 y
3 y
2 y
P
3
P
2
P
0
P
1
P
4
12
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
0 Z =

7
4
x
y
3 x 4 x
2 y 3 y 2 y 3 y
4 x 3 x
P
4
P
5
2 y
3 y
2 y
P
3
P
5
P
2
P
0
P
1
P
4
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
12 Z
2.0 y
3.0 x
6
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
0 Z =

12 Z =

7
4
x
y
3 x 4 x
2 y 3 y 2 y 3 y
4 x 3 x
P
4
P
5
2 y
3 y
2 y
P
3
P
6
P
2
P
0
P
1
P
4
P
5
P
6
13
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
12 Z
2.0 y
3.0 x
6
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
0 Z =

12 Z =

7
4
x
y
3 x 4 x
2 y 3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
4 x =
P
3
P
6
P
2
P
0
P
1
P
4
P
5
P
6
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
7
4 x =
P
7
P
3
P
2
P
0
P
1
P
4
P
5
P
6
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
14
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
7
P
8
4 x =
P
8
P
7
P
3
P
2
P
0
P
1
P
4
P
5
P
6
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
7
P
8
4 x =
Como Z
8
+
> Z
5
+
No se sigue ramificando
por este nodo
P
8
P
7
P
2
P
0
P
1
P
5
P
6
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
15
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
8
4 x =
1 y 2 y =
1 y
2 y =
P
6
P
8
P
7
P
3
P
2
P
0
P
1
P
4
P
5
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
8
4 x =
1 y 2 y =
1 y
2 y =
P
6
P
8
P
7
P
3
P
2
P
0
P
1
P
4
P
5
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
16
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
8
4 x =
INF
1 y 2 y =
1 y
2 y =
P
6
P
9
P
8
P
7
P
3
P
2
P
0
P
1
P
4
P
5
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
5 x
P
10
P
8
4 x =
2 . 14 Z
1.0 y
5.6 x
8
=
=
=
+
INF
1 y 2 y =
1 y
2 y =
P
6
P
9
P
10
P
8
P
7
P
3
P
2
P
0
P
1
P
4
P
5
12 Z
2.0 y
3.0 x
6
=
=
=
+
2 y
P
6
17
Ejemplo: F.O. Max 2x+3y
47 . 14 Z
2.35 y
3.72 x
0
=
=
=
+
14 Z
2.67 y
3.0 x
2
=
=
=
+
42 . 14 Z
2.14 y
4 x
1
=
=
=
+
12 Z
2.0 y
3.0 x
6
=
=
=
+
5 . 13 Z
3.0 y
2.25 x
5
=
=
=
+
4 . 14 Z
2.0 y
4.2 x
4
=
=
=
+
INF
14 Z
2.0 y
4.0 x
8
=
=
=
+
28 . 14 Z
1.43 y
5.0 x
7
=
=
=
+
0 Z =

12 Z =

14 Z =

7
4
x
y
3 x 4 x
2 y 3 y 2 y 3 y
4 x =
5 x
4 x 3 x
P
5
2 y
3 y
2 y
P
6
5 x
P
10
INF
1 y 2 y =
1 y
ptimo
P
8
P
7
P
3
P
6
P
2
P
0
P
1
P
4
P
5
P
9
2 . 14 Z
1.0 y
5.6 x
8
=
=
=
+
P
10
2 y =