Algoritmos e complexidade Notas de aula - Arquivo Escolar

7.2. Branch-and-bound
Para um vértice v ∈ V , vamos definir o conjunto de cores adjacentes
C(v) := {c(u) | {u, v} ∈ A}.
1 return bt − coloring(1, 1)
2
3 boolean bt − coloring(v, cv) :=
4 i f v > n
5 return true
6
7 i f c ∈ C(v) then { v colorível com cv? }
8 c(v) := cv
9 for cu ∈ [1, 4] do
10 i f bt − coloring(v + 1, cu)
11 return true
12 end for
13 else
14 return f a l s e
15 end i f
16 end
De quantas cores precisamos?
De quantas cores precisamos?
a
b
d
c
e
171