b 0 b k ¡ 1 b k ¡ 1 b k b 0 b 4 b 3 b 2 b 1. 9 68 3 5 45 3 8 76 4 5 h: 5 4 7 6 8 02 1 0 0
TRANSCRIPT
B0
Bk¡ 1
Bk¡ 1
Bk
B0 B4B3B2B1
9
6 8
3
5
4 5
3
8
7 6
45H:
5 4
7 6
8
0 2
1 0
0
H:
Circuit-SAT
SAT
3-SAT
CLIQUE SUBSET SUM
VERTEX COVER
HAM CYCLE
TSP
E
G
F
H
A
C
B
D
M
I
KJ
L
NP-Hard NP-Hard
NPC
P
NPP=NP=NPC
P ≠ NP P = NP
Técnicas Avanzadas de Programación
UCV
for(std
::map<std
::stri
ng, int>
::itera
tor it;
it
= m;
it+
+)
{
if ((
*it).s
econd >
= 10)
{
psd
[(*it)
.first] =
true;
psd
[(*it)
.first].s
ignal();
}
}
11 7 4 10 21
29 22
26
3028 31
40
12
36
11 7 4 10 21
22
26
3028 3112
36 40
min[H]
29
min[H]
11 7 4 10 21
29 22
26
3028 31
40
12
36
min[H]
11 7 10 21
29 22
26
30
28 31
40
12
36
min[H]
11 7 10 21
29 22
26
30
28 31
40
12
36
0 1 2 3
11 7 10 21
29 22
26
30
28 31
40
12
36
0 1 2 3
11 7 10 21
29 22
26
30
28 31
40
12
36
0 1 2 3
11
7 10 21
29 22
26
30
28 31
40
12
36
0 1 2 3
11
7
10
21
29
22
26
30
28 31
40
12
36
0 1 2 3
11
7
1021
2922
26
30
28 31
40
12
36
0 1 2 3
11
7
1021
2922
26
30
28 31
40
12
36
0 1 2 3
11
7
1021
2922
26
30
28 31
40
12
36
0 1 2 3
11
7
1021
2922
26
30
28 31
40
12
36
0 1 2 3
11
7
1021
2922
26
30
28
31
40
12
36
0 1 2 3
15 2 9 8 5 11 6 7 15 9 8 5 11 6 7 15 9 8 5 11 6 7
0 1 2 3 0 1 2 3
15
9
8 5 11 6 7
0 1 2 3
15
9
8 5 11 6 7
0 1 2 3
15
9
8 5 11 6 7
0 1 2 3
15
9
8 5
11
6 7
0 1 2 3
15
9
8
5
11
6 7
0 1 2 3
15
9
8
5
11
6 7
0 1 2 3
15
9
8
5
11
6
7
0 1 2 3
15
9
8
5
11
6
7
0 1 2 3
15
9
8
5
11
6
7