Colectanea Probs

Colectanea de Problemas
Analise e Sntese de Algoritmos

Joao Marques Silva
Departamento de Engenharia Informatica
Instituto Superior Tecnico (IST)/INESC-ID
e-mail: joao.marques.silva@dei.ist.utl.pt
Vers~ao Inicial: Junho 2003
URL: http://sat.inesc-id.pt/jpms/teaching/reports/
Resumo
O presente documento agrega os problemas de avalia cao dos testes e exames da dis-
ciplina Analise e Sntese de Algoritmos (ASA), desenvolvidos ao longo dos anos lectivos
de 2000/2001, 2001/2002 e 2002/2003. Os objectivos do documento sao por um lado
organizar os problemas por topicos leccionados e pelo grau de diculdade que apresen-
tam, e por outro disponibilizar aos alunos uma colectanea de problemas de apoio ao
estudo de ASA.
i
Conte udo
Introdu cao 1
Revisao de Algoritmos e Estruturas de Dados 3
Problemas do Tipo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Algoritmos para Grafos & Programa cao Linear 9
Sntese de Algoritmos & Topicos Adicionais 126
Completude NP & Algoritmos de Aproxima cao 179
ii
iii
Problemas de ASA 1
Introducao
A presente colectanea de problemas agrega exerccios de avalia cao dos testes e exames
da disciplina Analise e Sntese de Algoritmos, ao longo dos anos lectivos de 2000/2001,
2001/2002 e 2002/2003. Os exerccios estao organizados em quatro partes principais,
que representam as partes principais da materia leccionada:
Revisao de Algoritmos e Estruturas de Dados
Os topicos cobertos incluem:
Nota cao
Estruturas de dados elementares
Algoritmos de procura e ordena cao
Algoritmos para Grafos & Programa cao Linear
Representa cao de grafos
Algoritmos elementares em grafos

Arvores abrangentes de menor custo
Caminhos mais curtos
Fluxo maximo
Fluxos de custo mnimo
Programa cao linear e algoritmo Simplex
Sntese de Algoritmos & Topicos Adicionais
Programa cao dinamica
Algoritmos greedy
Analise amortizada
Emparelhamento de cadeias de caracteres
Completude NP & Algoritmos de Aproxima cao
Problemas NP completos
Algoritmos de aproxima cao
A organiza cao em quatro partes principais, embora de alguma forma arbitraria, pretende
reectir a organiza cao da disciplina ao longo dos varios anos lectivos, e agregar partes
relacionadas da materia.
Alem dos problemas estarem agregados em quatro partes principais, em cada parte
os problemas estao organizados por grau de diculdade. Optou-se por classicar cada
problema num de tres graus possveis de complexidade:
Tipo 1 Problemas de resolu cao simples, que exigem apenas a aplica cao dos conceitos
leccionados.
Tipo 2 Problemas de media diculdade, que requerem normalmente conhecimentos apro-
fundados dos topicos.
Tipo 3 Problemas de diculdade elevada, que requerem conhecimentos aprofundados dos
topicos, e normalmente alguma criatividade.
Relativamente às solu coes dos problemas propostos, para os problemas de escolha
m ultipla apresenta-se normalmente apenas a resposta pretendida e em alguns casos al-
guns comentarios adicionais. Para os restantes problemas apresenta-se normalmente
um esbo co da solu cao pretendida, transmitindo as ideias principais e omitindo os de-
talhes. Existe um conjunto reduzido de problemas adaptado do livro da disciplina [?]
DEI/IST J. Marques Silva 06/2003
Problemas de ASA 2
(CLRS), para os quais nao se apresenta qualquer solu cao (por sugestao dos autores do
livro). O objectivo da nao inclusao de resolu coes detalhadas e motivar os alunos para
tentarem efectivamente a resolu cao dos problemas. No entanto, numa futura versao
deste documento anteve-se a inclusao de respostas detalhadas para todos os problemas,
com o intuito de servirem de apoio ao corpo docente da disciplina.
Agradecimentos
Quero agradecer a contribui cao dos docentes que ao longo dos anos lectivos de 2000/2001,
2001/2002 e 2002/2003 deram apoio na lecciona cao da disciplina de Analise e Sntese
de Algoritmos: Francisco Moreira Couto (em 2000/2001), Lus Guerra e Silva (em
2001/2002) e Vasco Miguel Manquinho (em 2002/2003). Esta contribui cao reecte-se
na sugestao de alguns dos problemas, bem como na revisao dos enunciados.
Problemas de ASA 3
Parte I.
Revisao de Algoritmos e Estruturas de Dados
Problemas de ASA 4
Problemas do Tipo 1
Problemas de ASA 5
I.1.1 Considere o seguinte vector de n umeros inteiros:
'8, 14, 7, 16, 10, 6, 5, 12, 11, 15, 9`
No algoritmo HeapSort, durante a execu cao da fun cao BuildHeap, indique qual o n umero
de vezes que a fun cao Heapify (ou SiftDown) e invocada.
a. 2
b. 3
c. 4
d. 5
e. 6
f. 7
g. 8
h. 9
i. 0
Solu cao: A resposta certa e a d.
Problemas de ASA 6
I.1.2 Na execu cao do algoritmo BuildHeap indique qual o n umero mnimo de execu coes
da opera cao SiftDown que sao necessarias para transformar a tabela:
'10, 15, 11, 8, 3, 13, 12, 6, 1, 9, 2, 7, 5, 4`
num amontoado.
a. 2
b. 1
c. 4
d. 3
e. 6
f. 7
g. 5
h. 9
i. 8
Problemas de ASA 7
Problemas do Tipo 3
Problemas de ASA 8
I.3.1 Considere uma matriz A, com dimensao (nn), em que cada entrada a
ij
apenas
pode tomar o valor 0 ou o valor 1, a
ij
0, 1. Admita que as linhas e as colunas sao
monotonicamente crescentes, a
ij
a
ik
, 1 j k n e a
ij
a
kj
, 1 i k n.
Proponha um algoritmo eciente para contar o n umero de 0s na matriz A, e analise
a sua complexidade. Indique tambem o menor e o maior n umero de compara coes de
valores que o algoritmo pode realizar.
Solu cao: Uma solu cao possvel e numa primeira fase come car com a posi cao (n, 1). Se
o valor for 0, deslocar para a coluna 2 (e somar n ao total de 0s). Se o valor for 1,
deslocar para a linha n 1. O objectivo desta primeira fase e encontrar a separa cao
entre 0s e 1s. Numa segunda fase, o objectivo e deslocar a analise ate à primeira linha
ou ate à ultima coluna, contando a cada passo o n umero de 0s por coluna. Claramente,
o tempo de execu cao do algoritmo e O(n) (apenas O(n) posi coes analisadas, cada uma
em tempo constante). O menor n umero de compara coes e n (toda a matriz so com 0s
ou so com 1s), e o maior e 2n.
Problemas de ASA 9
Parte II.
Algoritmos para Grafos & Programa cao Linear
Problemas de ASA 10
Problemas do Tipo 1
Problemas de ASA 11
II.1.1 Considere o grafo da gura seguinte. Admita que a DFS analisa os vertices por
ordem lexicograca. Apos a execu cao da DFS, indique o valor da expressao:
d[d] +d[e] f[c]
b
c
a
d
e
a. 3
b. 4
c. 5
d. 6
e. 7
f. 8
g. 9
h. 10
i. 11
Solu cao: A resposta certa e a e.
Problemas de ASA 12
II.1.2 Na execu cao do algoritmo de Prim, seja [u] o valor da estimativa key[u] quando
o vertice u e includo na MST, e seja [u] a ordem pela qual o vertice u e includo na
MST ([a] = 1). Para o grafo da gura considere que o algoritmo e executado tendo o
vertice a como vertice raz. Nestas condi coes, indique qual o valor da expressao:
[d] +[f] +[b] ([d] +[f] +[b])
b
e
g
a
d i
c f
h
7
5
3 4
1
3
2
2
3 4
5
13
6
8
a. 8
b. 9
c. 10
d. 11
e. 12
f. 4
g. 5
h. 6
i. 7
Solu cao: A resposta certa e a a.
Problemas de ASA 13
II.1.3 Na execu cao do algoritmo de Dijkstra, seja (s, u), o peso do caminho mais
curto de s para u. Seja d[u] = (s, u) o peso da estimativa do caminho mais curto de s
para u quando o vertice u e extrado da la de vertices, e seja [u] a ordem pela qual o
vertice u e extrado da la de vertices (com [s] = 1). Para o grafo da gura, considere
a s e indique o valor da expressao:
[c] +[e] (d[b] +d[e])
b d
a e
c
1
2 3
4
4
2
1
a. 1
b. 2
c. 3
d. 4
e. 5
f. 6
g. 7
h. 8
i. 9
Solu cao: A resposta certa e a b.
Problemas de ASA 14
II.1.4 Considere a aplica cao do algoritmo de Floyd-Warshall. Para o grafo da gura
seguinte, calcule o valor da expressao:
d
(0)
12
+d
(4)
12
+d
(5)
16
2 3
1 6
4 5
10
5
9
9
2
4
3
6
7
8
a. 4
b. 9
c. 14
d. 19
e. 24
f. 29
g. 34
h. 39
i. 44
Solu cao: A resposta certa e a f.
Problemas de ASA 15
II.1.5 Considere o processo de repesagem dos arcos no algoritmo de Johnson. Para o
grafo da gura seguinte, calcule o valor da expressao:
(u,v)E
w(u, v)
b
c
a f
d
e
5
-3
2
4
5
2
3
-2
-6
a. 6
b. 11
c. 16
d. 21
e. 26
f. 31
g. 36
h. 41
i. 46
Problemas de ASA 16
II.1.6 Considere a aplica cao do algoritmo de Edmonds-Karp. Admita que c
(k)
f
(u, v) e a
capacidade residual entre os vertices u e v apos k passos do algoritmo. Nestas condi coes,
para o grafo da gura determine o valor da expressao seguinte:
c
(1)
f
(b, c) +c
(2)
f
(b, c) +c
(3)
f
(b, c)
b
c
a f
d
e
5
10
9
2
4
9
3
6
6
6
a. 7
b. 12
c. 17
d. 22
e. 27
f. 32
g. 37
h. 42
i. 47
Problemas de ASA 17
II.1.7 Considere o seguinte grafo dirigido:
b
c
a
d
e
Relativamente a este grafo, considere a aplica cao da BFS, tendo a como vertice
fonte. Nestas condi coes, apos a aplica cao da BFS, indique o valor da expressao:
d[c] +d[e] + 2 d[d] d[b]
a. 7
b. 5
c. 2
d. 9
e. 6
f. 1
g. 3
h. 8
i. 4
Problemas de ASA 18
II.1.8 Considere o seguinte grafo nao dirigido.
b d
g
a e
i
c
f h
2
3
5
4
2
3
1
3
4
4
3
1
2
2
5
3
Qual o custo de uma MST ?
a. 12
b. 22
c. 24
d. 18
e. 17
f. 19
g. 14
h. 13
i. 23
Problemas de ASA 19
II.1.9 Para o grafo da gura, no calculo dos caminhos mais curtos a partir do vertice
1, quantas vezes e que o algoritmo de Dijkstra actualiza as chaves dos vertices, apos a
inicializa cao?
2 4
1
3 5
4
6
2
1
4
2
3
5
a. 3
b. 4
c. 5
d. 6
e. 7
f. 8
g. 9
h. 10
i. 11
Problemas de ASA 20
II.1.10 Considere o seguinte grafo dirigido:
b
c
a
d
e
Relativamente a este grafo, indique o n umero total de arcos no fecho transitivo
G = (V, E
).
a. 10
b. 11
c. 12
d. 13
e. 14
f. 15
g. 16
h. 17
i. 18
Solu cao: A resposta certa e a g.
Problemas de ASA 21
II.1.11 Considere a rede de uxo representada, com fonte em a e destino em f.
b
c
a f
d
e
5
10
10
9
6
2
6 3
Indique o par de valores que representa, respectivamente, o n umero de caminhos de
aumento que e necessario considerar na execu cao do algoritmo de Edmonds-Karp, e o
valor do uxo maximo.
a. '1, 10`
b. '2, 10`
c. '3, 10`
d. '4, 10`
e. '1, 11`
f. '2, 11`
g. '3, 11`
h. '4, 11`
i. '5, 11`
Solu cao: A resposta certa e a c.
Problemas de ASA 22
II.1.12 Relativamente ao grafo seguinte, considere a aplica cao do algoritmo de pre-
uxo generico, e indique qual das arma coes esta correcta.
b h=1,e=0
a h=5,e=0 c h=0,e=0
d h=1,e=1
2/2
2/2
1/2
2/2
1/1
a. Podemos aplicar uma opera cao de Relabel ao vertice a.
b. Podemos aplicar uma opera cao de Relabel ao vertice b.
c. Podemos aplicar uma opera cao de Relabel ao vertice c.
d. Podemos aplicar uma opera cao de Relabel ao vertice d.
e. Podemos aplicar uma opera cao de Push de a para b.
f. Podemos aplicar uma opera cao de Push de a para d.
g. Podemos aplicar uma opera cao de Push de b para c.
h. Podemos aplicar uma opera cao de Push de b para d.
i. Nao se pode executar qualquer opera cao de Push ou Relabel.
Problemas de ASA 23
II.1.13 Considere o grafo nao dirigido da gura seguinte.
3
3
3 1
1
1
4
4
4 4
4
2
2
2
Indique qual o custo de uma MST ?
a. 23
b. 24
c. 20
d. 19
e. 17
f. 21
g. 22
h. 18
i. 25
Problemas de ASA 24
II.1.14 Considere o seguinte grafo dirigido.
r u x
s v
y
t
w z
Apos a aplica cao da BFS (a partir do vertice s), indique o valor da expressao seguinte
(considere d[s] = 0):
d[t] +d[v] +d[x] +d[y] +d[z]
a. 12
b. 7
c. 14
d. 10
e. 8
f. 11
g. 13
h. 9
i. 6
Solu cao: A resposta certa e a h.
Problemas de ASA 25
II.1.15 Considere a rede de uxo seguinte.
b
c
a f
d
e
3
10
4
9
8
3
3
5 6
4
Apos a execu cao do algoritmo de Edmonds-Karp, indique qual o par de valores 'f, n`
obtido, os quais representam, respectivamente, o valor do uxo maximo e o n umero de
caminhos de aumento.
a. '10, 4`
b. '11, 3`
c. '12, 4`
d. '10, 5`
e. '12, 5`
f. '11, 4`
g. '12, 3`
h. '10, 3`
i. '11, 5`
Problemas de ASA 26
II.1.16 Para o grafo da gura seguinte, e apos a identica cao dos caminhos mais curtos
com fonte s, indique qual o resultado da expressao:
(s, a) +(s, d) +(s, e)
a c
s
d
e
b
4
2
2
1
1
2
2
3
2
3
a. 16
b. 10
c. 15
d. 14
e. 12
f. 17
g. 13
h. 18
i. 11
Solu cao: A resposta certa e b.
Problemas de ASA 27
II.1.17 Considere o grafo da gura seguinte. Relativamente à execu cao do algoritmo
de Floyd-Warshall qual dos conjuntos de valores seguintes esta correcto?
2 4
1
3 5
1
4
2
4
1
1
4
a. D
(0)
2,4
= ,
(0)
2,4
= NIL, D
(3)
2,5
= 4,
(3)
2,5
= 4
b. D
(0)
2,4
= ,
(0)
2,4
= NIL, D
(3)
2,5
= ,
(3)
2,5
= NIL
c. D
(0)
2,4
= 4,
(0)
2,4
= 3, D
(3)
2,5
= 4,
(3)
2,5
= 4
d. D
(0)
2,4
= 4,
(0)
2,4
= 2, D
(3)
2,5
= 5,
(3)
2,5
= 4
e. D
(0)
2,4
= ,
(0)
2,4
= NIL, D
(3)
2,5
= 6,
(3)
2,5
= 3
f. D
(0)
2,4
= 4,
(0)
2,4
= 2 D
(3)
2,5
= 4,
(3)
2,5
= 4
g. D
(0)
2,4
= 4,
(0)
2,4
= 2, D
(3)
2,5
= 5,
(3)
2,5
= 2
h. D
(0)
2,4
= 4,
(0)
2,4
= 3, D
(3)
2,5
= 6,
(3)
2,5
= 3
i. D
(0)
2,4
= 4,
(0)
2,4
= 2, D
(3)
2,5
= 6,
(3)
2,5
= 3
Solu cao: A resposta certa e a i.
Problemas de ASA 28
II.1.18 Considere o grafo da gura:
a
b
c
d
e f
Pretende-se executar uma DFS que maximize o valor da expressao:
f[a] +d[d] +f[b]
Indique qual das ordens seguintes, para considerar os vertices na execu cao da opera cao
DFS-visit, permite obter o maior valor da expressao anterior:
a. 'a, d, b, e, c, f`
b. 'c, d, f, e, b, a`
c. 'd, a, e, b, f, c`
d. 'c, f, b, e, a, d`
e. 'f, c, e, b, d, a`
f. 'c, e, f, b, a, d`
g. 'f, e, b, d, c, a`
h. 'c, e, b, f, d, a`
i. 'e, f, d, c, b, a`
Problemas de ASA 29
II.1.19 Considere o grafo dirigido da gura:
a
b
s
t
c
d
-1
-2
1
-2
1
3
1
2
1
Apos o calculo dos caminhos mais curtos a partir de s, indique qual o valor da
expressao:
(s, c) +(s, b) +(s, t)
a. -6
b. -5
c. -1
d. 1
e. -3
f. -7
g. 0
h. -2
i. -4
Problemas de ASA 30
II.1.20 Considere o grafo dirigido da gura:
a
b
u v
c
d
-2
-2
-1
-1
-1
-1
-1
3
1
Indique qual o valor do peso do arco (b, v) apos a repesagem realizada pelo algoritmo
de Johnson.
a. 3
b. 1
c. 5
d. -2
e. 0
f. 4
g. -1
h. 2
i. 6
Problemas de ASA 31
II.1.21 Considere o grafo nao dirigido da gura:
r s u v
w x z
2
1
6
5
4
5
4
3
5
Na execu cao do algoritmo de Prim (tendo como raz o vertice r) indique qual a
sequencia de vertices analizados.
a. 'r, s, w, z, x, u, v`
b. 'r, w, x, s, z, v, u`
c. 'r, w, s, x, u, z, v`
d. 'r, w, z, u, v, x, s`
e. 'r, w, s, u, x, v, z`
f. 'r, w, u, z, x, s, v`
g. 'r, s, x, w, v, z, u`
h. 'r, w, x, z, u, v, s`
i. 'r, s, w, x, z, v, u`
Solu cao: A resposta certa e c.
Problemas de ASA 32
II.1.22 Para o grafo seguinte, indique qual o valor da MST?
r v
s
t
u
3
4 3
5
4
4
2
2
a. 5
b. 6
c. 7
d. 8
e. 9
f. 10
g. 11
h. 12
i. 13
Problemas de ASA 33
II.1.23 Para o grafo seguinte, e apos o passo de repesagem do algoritmo de Johnson,
indique o valor da expressao:
w(a, c) + w(b, d) + w(c, e)
b d
a e
c
1
1 2
-3
-2
2
-1
a. 1
b. 2
c. 3
d. 4
e. 5
f. 6
g. 7
h. 8
i. 9
Problemas de ASA 34
II.1.24 Considere o grafo da gura seguinte.
v
1
v
3
s
t
v
2
30
30
10
10
5
30
10
Seja c
(i)
f
(u, v) a capacidade residual do arco (u, v) apos a itera cao i do algoritmo de
Edmonds-Karp. Nesta situa cao calcule o valor da expressao:
c
(1)
f
(v
2
, t) +c
(2)
f
(s, v
1
) +c
(3)
f
(s, v
1
)
a. 50
b. 45
c. 40
d. 35
e. 30
f. 25
g. 20
h. 15
i. 10
Solu cao: A resposta certa e a.
Problemas de ASA 35
II.1.25 Para o grafo seguinte, qual o valor de w(b, d) apos a aplica cao do Algoritmo
de Johnson.
b d
a e
c
-1
1 2
-3
-2
2
-2
a. -4
b. -3
c. -2
d. -1
e. 0
f. 1
g. 2
h. 3
i. 4
Problemas de ASA 36
II.1.26 Considere o grafo seguinte. Quais dos valores estao correctos para o algoritmo
de Floyd-Warshall?
2
1 3
4
1
3
4
-2
1
4
a. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(3)
3,2
= 2,
(3)
3,2
= 4
b. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(3)
3,2
= 2,
(3)
3,2
= 1
c. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(4)
3,2
= 2,
(4)
3,2
= 4
d. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(4)
3,2
= 2,
(4)
3,2
= 1
e. D
(0)
3,2
= 1,
(0)
3,2
= 3, D
(3)
3,2
= 1,
(4)
3,2
= 3
f. D
(0)
3,2
= 1,
(0)
3,2
= 3, D
(3)
3,2
= ,
(3)
3,2
= NIL
g. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(4)
3,2
= 1,
(3)
3,2
= 3
h. D
(0)
3,2
= ,
(0)
3,2
= NIL, D
(4)
3,2
= ,
(4)
3,2
= NIL
i. D
(0)
1,3
= ,
(0)
1,3
= NIL, D
(4)
1,3
= ,
(4)
1,3
= NIL
Solu cao: A resposta certa e d.
Problemas de ASA 37
II.1.27 Considere o grafo nao dirigido representado na gura, no qual os pesos dos arcos
a, b, c, d, e e f sao desconhecidos e formam o tuplo P =< 2, 3, 4, 5, 6, 6 >. Identique
uma permuta cao de P que associada a < a, b, c, d, e, f > permita obter um grafo com
o maior n umero possvel de arvores abrangentes de menor custo (MSTs). Qual e esse
n umero ?
f
a
b
c
d
e
6
1
2
3
4
5
a. 1
b. 3
c. 5
d. 7
e. 2
f. 4
g. 6
h. 8
i. Superior a 8
Problemas de ASA 38
II.1.28 Considere um grafo dirigido G = (V, E), cuja matriz de pesos e dada por:
W =
0 3 8 4
0 1 7
4 0
2 5 0
6 0
Considere as matrizes D
(k)
resultantes de cada itera cao do algoritmo de Floyd-
Warshall. Qual das seguintes hipoteses e verdadeira:
a. D
(1)
4,5
= , D
(2)
3,4
= , D
(4)
2,4
=
b. D
(1)
4,5
= 3, D
(2)
3,4
= 2, D
(4)
2,4
= 1
c. D
(1)
4,5
= 1, D
(2)
3,4
= 1, D
(4)
2,4
=
d. D
(1)
4,5
= 2, D
(2)
3,4
= 2, D
(4)
2,4
= 1
e. D
(1)
4,5
= 2, D
(2)
3,4
= 5, D
(4)
2,4
= 1
f. D
(1)
4,5
= 1, D
(2)
3,4
= 3, D
(4)
2,4
= 2
g. D
(1)
4,5
= , D
(2)
3,4
= 3, D
(4)
2,4
= 2
h. D
(1)
4,5
= 3, D
(2)
3,4
= 5, D
(4)
2,4
= 1
i. Nenhuma das anteriores
Problemas de ASA 39
II.1.29 Considere a rede de uxo representada no grafo da gura.
v
1
v
3
s
t
v
2
v
4
16
12
20
8
8
9
6
10 7
Assumindo que c
(k)
f
(u, v) e a capacidade residual entre o vertice u e o vertice v apos
k itera coes do algoritmo de Edmonds-Karp, indique o valor da seguinte expressao:
c
(1)
f
(v
3
, v
1
)/2+c
(1)
f
(v
4
, v
2
)+c
(2)
f
(v
3
, v
1
)+c
(2)
f
(v
4
, v
2
)c
(3)
f
(v
2
, v
1
)c
(3)
f
(v
3
, t)+c
(3)
f
(s, v
1
)
a. 10
b. 7
c. 20
d. 22
e. 16
f. 26
g. 15
h. 2
Problemas de ASA 40
II.1.30 Considere o grafo nao dirigido da gura.
7
5
3 4
1
3
2
2
3 4
5
13
6
8
a. 20
b. 21
c. 22
d. 23
e. 24
f. 25
g. 26
h. 27
i. 28
Problemas de ASA 41
II.1.31 Considere o grafo dirigido apresentado.
u v w
x
y
z
Sejam d e f os tempos de descoberta e naliza cao de um algoritmo de procura em
profundidade (DFS) com origem em u e que percorre os vertices por ordem lexicograca.
Indique o valor da seguinte expressao:
d(u) +f(v) +d(w) +f(x) +d(y) +f(z)
a. 24
b. 26
c. 28
d. 30
e. 32
f. 34
g. 36
h. 38
i. 40
Problemas de ASA 42
II.1.32 Considere o grafo dirigido e pesado apresentado.
b
c
a
d
e
6
5
2
1
1
2
3
-2
Considerando que (u, v) e o peso do caminho de menor peso de u para v, determine
o valor da seguinte expressao:
(a, b) +(a, c) (a, e) (a, d)
a. -4
b. -3
c. -2
d. -1
e. 0
f. 1
g. 2
h. 3
i. 4
Problemas de ASA 43
II.1.33 Considere a rede de uxo representada, com fonte em a e destino em f.
b
c
a f
d
e
5
10
9
4
2
9
3 6
Sabendo que c
(k)
f
(u, v) e a capacidade residual entre os vertices u e v apos k passos
do algoritmo de Edmonds-Karp, determine o valor da seguinte expressao:
c
(1)
f
(b, a)/2 +c
(1)
f
(d, a) +c
(2)
f
(b, c) +c
(3)
f
(e, c) +c
(4)
f
(e, f)
a. 10
b. 11
c. 12
d. 13
e. 14
f. 15
g. 16
h. 17
i. 18
Problemas de ASA 44
II.1.34 Considere o seguinte grafo nao dirigido.
2
4 3
3 2 2
2
3
1
7
2
3 3
2
8
6
3
a. 21
b. 17
c. 12
d. 24
e. 32
f. 10
g. 19
h. 22
i. 13
Problemas de ASA 45
II.1.35 Considere o seguinte grafo dirigido.
u v w
t
x
y
z r
Sejam d e f os tempos de descoberta e naliza cao de um algoritmo de procura em
profundidade (DFS) com origem em r, indique o valor da seguinte expressao:
d(u) +f(v) +d(w) +f(x) +d(y) +f(z) +d(t) +f(r)
a. 69
b. 71
c. 62
d. 53
e. 24
f. 45
g. 47
h. 49
i. 33
Problemas de ASA 46
II.1.36 Considere o seguinte grafo dirigido e pesado.
b
a c
d
6
-3
-2
-2
2
-1
Aplicando o Algoritmo de Johnson, indique o valor da seguinte expressao:
w(a, b) + w(b, c) + w(c, a) + w(b, d) + w(d, c) + w(d, a)
a. 15
b. 17
c. 1
d. 3
e. 9
f. 11
g. 13
h. 5
i. 7
Problemas de ASA 47
II.1.37 Considere a rede de uxo representada.
b
c
a f
d
e
5
10
9
4
2
9
3 6
Sabendo que c
(k)
f
(u, v) e a capacidade residual entre os vertices u e v apos k passos de
uma implementa cao do Algoritmo de Ford-Fulkerson onde em cada passo e seleccionado
o caminho mais longo, determine o valor da seguinte expressao:
c
(1)
f
(b, a) +c
(1)
f
(d, a) +c
(2)
f
(b, c) +c
(3)
f
(e, c) +c
(4)
f
(e, f)
a. 14
b. 17
c. 18
d. 10
e. 13
f. 15
g. 16
h. 11
i. 12
Problemas de ASA 48
II.1.38 Considere o corte (a,b,c,d) do grafo apresentado, e para esse corte diga
qual das arma coes esta correcta:
b
a c
d
1
5
2
3
4
4
a. o arco leve tem peso 3
b. o arco com peso 3 nao e leve mas e seguro
c. existem dois arcos leves
d. nenhum arco e leve
e. Nenhuma das respostas anteriores
Problemas de ASA 49
II.1.39 Para o grafo da gura seguinte indique quantas MSTs se podem obter (para
qualquer um dos metodos estudados).
b
a c
d
1
5
2
3
4
4
a. 3
b. 2
c. 1
d. 0
Problemas de ASA 50
II.1.40 Para o grafo da gura seguinte, e para qualquer MST, que vertices cam ligados
directamente a todos os nos?
b
a c
d
1
5
2
3
4
4
a. a
b. a, b
c. b
d. b, c
Problemas de ASA 51
II.1.41 Considere o grafo apresentado com o vertice a como raiz. Qual dos seguintes
arcos pertence à SPT (Shortest Path Tree)?
b
a c
d
1
1
2
5
4
4
a. bd
b. bc
c. ad
d. cd
Problemas de ASA 52
II.1.42 Considere o grafo apresentado com o vertice a como raiz. Qual a complexidade
de aplicar o algoritmo, estudado para este tipo de grafos, por forma a encontrar a SPT?
b
a c
d
1
1
2
5
-4
2
a. O(E log(E))
b. O(E log(V ))
c. O(V
2
)
d. O(V
3
)
Problemas de ASA 53
II.1.43 Considere o grafo da gura seguinte. Quantos arcos contem o fecho transitivo
do grafo?
b
a c
d
a. 5
b. 6
c. 7
d. 8
Problemas de ASA 54
II.1.44 Considere o grafo apresentado. Quais dos valores estao correctos para o algo-
ritmo de Floyd-Warshall?
2
1 3
4
2
2
5
1
1
4
a. D
(0)
2,4
= 4,
(0)
2,4
= 2, D
(4)
2,4
= 3,
(4)
2,4
= 2
b. D
(0)
2,4
= ,
(0)
2,4
= , D
(4)
2,4
= 4,
(4)
2,4
= 3
c. D
(0)
2,4
= ,
(0)
2,4
= , D
(4)
2,4
= 3,
(4)
2,4
= 2
d. D
(0)
2,4
= 4,
(0)
2,4
= 2, D
(4)
2,4
= 3,
(4)
2,4
= 3
Problemas de ASA 55
II.1.45 Para o grafo seguinte calcule o valor do uxo maximo.
v
1
s
t
v
2
20
20 10
10
5
a. 15
b. 20
c. 25
d. 30
Problemas de ASA 56
II.1.46 Em rela cao ao grafo da gura, indique qual das arma coes seguintes esta
correcta.
b
a c
d
a. O grafo nao e bipartido.
b. O grafo e bipartido mas o conjunto L de vertices e vazio.
c. O grafo e bipartido mas o conjunto R de vertices e vazio.
d. O grafo e bipartido e L = a, b e R = c, d.
e. O grafo e bipartido e L = a, c e R = b, d.
f. O grafo e bipartido e L = a, d e R = b, c.
g. O grafo e bipartido e L = a e R = b, c, d.
h. O grafo e bipartido e L = b e R = a, c, d.
i. O grafo e bipartido e L = c e R = a, b, d.
Problemas de ASA 57
II.1.47 Qual o valor do maximum bipartite macthing para o grafo da gura seguinte?
b
a c
d
a. um
b. dois
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
Problemas de ASA 58
II.1.48 Qual das seguintes arma coes esta correcta, em rela cao ao seguinte grafo,
considerando o algoritmo de preow-push generico.
b h=1,e=0
a h=5,e=0 c h=0,e=0
d h=0,e=3
2/2
2/2
1/2
0/2
1/1
a. Podemos executar um relabel ao vertice a.
b. Podemos executar um relabel ao vertice b.
c. Podemos executar um relabel ao vertice c.
d. Podemos executar um relabel ao vertice d.
e. Podemos executar um push na seta de a para b.
f. Podemos executar um push na seta de a para d.
g. Podemos executar um push na seta de b para c.
h. Podemos executar um push na seta de b para d.
i. Nao se pode executar nenhuma opera cao.
Problemas de ASA 59
II.1.49 Considere o grafo da gura seguinte:
b
a c
d
2
2
-1
2
2
-2
Apos a aplica cao do algoritmo de Johnson obtemos:
a. w(d, c) = 1
b. w(d, c) = 2
c. w(d, c) = 3
d. w(d, c) = 4
e. w(d, c) = 4
f. w(d, c) = 3
g. w(d, c) = 2
h. w(d, c) = 1
i. w(d, c) = 0
Problemas de ASA 60
II.1.50 Considere o grafo da gura seguinte.
2
1 3
4
2
2
1
1
5
2
Na aplica cao do algoritmo de Floyd-Warshall a este grafo, quais dos valores seguintes
estao correctos?
a. D
(0)
2,3
= 4,
(0)
2,3
= 1, D
(4)
2,3
= 4,
(4)
2,3
= 1
b. D
(0)
2,3
= 5,
(0)
2,3
= 2, D
(4)
2,3
= 5,
(4)
2,3
= 2
c. D
(0)
2,3
= ,
(0)
2,3
= , D
(4)
2,3
= 5,
(4)
2,3
= 2
d. D
(0)
2,3
= ,
(0)
2,3
= , D
(4)
2,3
= 4,
(4)
2,3
= 1
e. D
(0)
2,3
= 4,
(0)
2,3
= 1 D
(4)
2,3
= 5,
(4)
2,3
= 2
f. D
(0)
2,3
= 5,
(0)
2,3
= 2, D
(4)
2,3
= 4,
(4)
2,3
= 1
g. D
(0)
2,3
= ,
(0)
2,3
= 1, D
(4)
2,3
= 5,
(4)
2,3
= 2
h. D
(0)
2,3
= 4,
(0)
2,3
= , D
(4)
2,3
= 5,
(4)
2,3
= 2
i. D
(0)
2,3
= ,
(0)
2,3
= , D
(4)
2,3
= ,
(4)
2,3
=
Problemas de ASA 61
II.1.51 Indique qual o valor do uxo maximo para o grafo seguinte.
v
1
s
t
v
2
6
6 3
3
2
a. 1
b. 2
c. 3
d. 4
e. 5
f. 6
g. 7
h. 8
i. 9
Solu cao: A resposta certa e h.
Problemas de ASA 62
II.1.52 Para o grafo da gura seguinte, quantas MST distintas e possvel obter?
v
2
v
1
v
4
v
3
1
1
2
1
1
2
a. uma
b. duas
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
Problemas de ASA 63
II.1.53 Qual das seguintes sequencias e uma ordena cao topologica para o grafo seguin-
te?
v
2
v
1
v
4
v
3
a. v
1
,v
2
,v
3
,v
4
b. v
1
,v
2
,v
4
,v
3
c. v
1
,v
4
,v
2
,v
3
d. v
2
,v
1
,v
4
,v
3
e. v
2
,v
1
,v
3
,v
4
f. v
4
,v
1
,v
3
,v
2
g. v
2
,v
4
,v
3
,v
1
h. v
2
,v
4
,v
1
,v
3
i. v
3
,v
1
,v
2
,v
4
Problemas de ASA 64
II.1.54 Para a rede de uxos seguinte diga qual o caminho de aumento mais atractivo
no grafo residual respectivo, i.e. o que causa o maior aumento do uxo entre as duas
extremidades.
v
1
s
t
v
2
2/3
2/3
0/1
0/3
0/3
2/2
a. s t
b. s v
1
t
c. s v
2
t
d. s v
1
v
2
t
e. s v
2
v
1
t
f. s v
1
s t
g. s t v
2
t
h. s v
1
v
2
v
1
t
i. t v
1
v
2
s
Problemas de ASA 65
II.1.55 Para o grafo seguinte, qual o valor de w(c, d) apos a aplica cao do Algoritmo
de Johnson.
b d
a e
c
1
1 2
-3
-2
2
-1
a. -4
b. -3
c. -2
d. -1
e. 0
f. 1
g. 2
h. 3
i. 4
Problemas de ASA 66
II.1.56 Para o grafo seguinte, calcule o valor do uxo maximo.
v
1
v
3
s
t
v
2
30
30
10
10
5
30
5
a. 50
b. 45
c. 40
d. 35
e. 30
f. 25
g. 20
h. 15
i. 10
Problemas de ASA 67
II.1.57 Para o grafo seguinte, indique qual o n umero de MSTs.
r v
s
t
u
3
4 3
5
4
4
2
2
a. 10
b. 9
c. 8
d. 7
e. 6
f. 5
g. 4
h. 3
i. 2
Problemas de ASA 68
II.1.58 Calcule a solu cao do programa linear seguinte.
max x
1
2x
2
+x
3
s.a. x
1
+ 2x
2
+x
3
12
2x
1
+x
2
x
3
6
x
1
+ 3x
2
9
x
1
, x
2
, x
3
0
a. 10
b. 12
c. 14
d. 16
e. 18
f. 20
g. 8
h. 6
i. 4
Problemas de ASA 69
II.1.59 Calcule a solu cao do programa linear seguinte.
max x
1
+ 2x
2
s.a. 3x
1
+ 4x
2
= 12
2x
1
x
2
12
x
1
, x
2
0
a. 2
b. 4
c. 6
d. 8
f. 10
e. -2
g. 0
h. 7
i. 3
Problemas de ASA 70
Problemas do Tipo 2
Problemas de ASA 71
II.2.1 Considere os algoritmos de uxo maximo baseados em preow-push. Admita um
grafo G = (V, E), comV = s x
0
, x
1
, x
2
, x
3
, x
4
t e E = (s, x
1
), (x
1
, x
2
), (x
2
, x
3
), (x
3
, t).
Admita tambem que c(s, x
1
) = 10, c(x
1
, x
2
) = 10, c(x
2
, x
3
) = 5, c(x
3
, t) = 10. Nesta
situa cao qual o maior n umero de opera coes de Relabel que e possvel obter (sem contar
com a inicializa cao de s)?
a. 6
b. 7
c. 8
d. 9
e. 10
f. 11
g. 12
h. 13
i. 14
Problemas de ASA 72
II.2.2 Considere uma DAG G = (V, E), N = [V [. Seja v V um vertice de G, e sejam
t
m
(v) e t
M
(v) respectivamente o menor e o maior indce de v para todas as ordena coes
topologicas de G, com 1 t
m
(v) t
M
(v) N. Nestas condi coes indique para o vertice
v qual o menor tempo de m (f[v]) que e possvel obter para qualquer DFS realizada
sobre G.
a. 2 t
M
(v) + 2
b. 2 t
m
(v) + 2
c. 2 (N t
M
(v)) + 2
d. 2 (N t
m
(v)) + 2
e. t
m
(v) +t
M
(v)
f. 2(t
m
(v) +t
M
(v)) + 2
g.
(t
M
(v)+t
m
(v))
2
h. N +
(t
M
(v)t
m
(v))
2
i. N (t
m
(v) +t
M
(v)) + 2
Problemas de ASA 73
II.2.3 Relativamente à execu cao do algoritmo DFS num grafo G = (V, E), ligado, nao
dirigido, com n vertices, indique qual das frases seguintes esta incorrecta.
a. O n umero de tempos de descoberta e de m distintos e 2n.
b. A oresta de DFS tem apenas uma arvore.
c. Um arco (u, v) e um arco para tras se d[u] d[v] e v tem cor cinzenta.
d. A soma do n umero de arcos para a frente e de cruzamento e zero.
e. Existem vertices u e v, com (u, v) E, tal que [d[u], f[u]] [d[v], f[v]] = .
f. Para qualquer vertice folha u numa oresta da arvore de DFS verica-se f[u] =
d[u] + 1
g. Para qualquer vertice interno u numa oresta da arvore de DFS nao se verica
f[u] = d[u] + 1.
h. A complexidade e O(V +E).
i. A complexidade e O(V
2
+E
2
).
Solu cao: A resposta certa (i.e. a frase incorrecta) e a e.
Problemas de ASA 74
II.2.4 Indique qual das frases seguintes esta incorrecta.
a. A remo cao de um arco de um grafo G = (V, E) nao implica um aumento do
n umero de SCCs.
b. Na execu cao da DFS, o n umero de tempos de incio e m e 2 n, em que n representa
o n umero de vertices, tanto para grafos dirigidos como para grafos nao dirigidos.
c. Num grafo nao dirigido, a existencia de mais do que uma MST implica existencia
de arcos com o mesmo peso.
d. O n umero de passos de colapsagem de arvores no algoritmo de Boruvka e limitado
superiormente em log n.
e. Existem grafos, com arcos com pesos negativos, para os quais a aplica cao do
algoritmo de Dijkstra produz o resultado correcto.
f. Apos a aplica cao do algoritmo de Bellman-Ford, e possvel enumerar os arcos de
um ciclo negativo em O(V +E).
g. Admitindo que V = O(E), e recorrendo a um amontoado binario, o algoritmo de
Dijkstra tem complexidade O(E log V ).
h. Se numa itera cao do algoritmo de Bellman-Ford nenhum valor d[v] e alterado,
entao o algoritmo pode retornar a indica cao da inexistencia de ciclos negativos a
partir do vertice fonte s.
i. Na execu cao de uma DFS num DAG, nao podem existir vertices com arcos de
entrada que apresentem tempos de m superiores a vertices sem arcos de entrada.
Solu cao: A resposta certa (i.e. a frase incorrecta) e a i.
Problemas de ASA 75
II.2.5 Considere o problema da identica cao do fecho transitivo de um grafo. Admita
um grafo G = (V, E), com vertices V = v
1
, v
2
, . . . , v
n
e arcos E = (v
i
, v
i+1
), i =
1, . . . , n 1. Nestas condi coes, qual a varia cao no n umero de arcos apos o calculo do
fecho transitivo?
a. n(n 1)/2
b. n(n 1)/2 1
c. n(n 1)
d. n(n 1) 1
e. n
2
/2 3 n/2 + 1
f. n
2
/2 n/2 1
g. 2 n
h. 2 n 2
i. 2 n + 2
Problemas de ASA 76
II.2.6 Considere a aplica cao do algoritmo Relabel-To-Front para o calculo do uxo
maximo. Admita uma rede de uxo G = (V, E), com vertices V = v
1
s, v
2
, . . . , v
n

t e arcos E = (v
i
, v
i+1
), i = 1, . . . , n 1, cada arco com capacidade c(v
i
, v
i+1
) =
n i + 1, i = 1, . . . , n 1. Nestas condi coes, apos a execu cao do algoritmo Relabel-To-
Front, qual a altura maxima para os vertices no conjunto V s, t?
a. 2 n 2
b. 2 n 1
c. 2 n
d. n 2
f. n 1
e. n + 1
g. n
h. 1
i. 2
Problemas de ASA 77
a. Apos a execu cao do algoritmo de Floyd-Warshall, a existencia de ciclos negativos
pode ser determinada em O(n).
b. Na execu cao do algoritmo de Bellman-Ford, se o processo de relaxa cao dos arcos
nao altera a estimativa do peso do caminho mais curto de qualquer vertice, entao
o algoritmo pode terminar e retornar o valor TRUE.
c. Em qualquer algoritmo de pre-uxo a altura maxima e nao superior a 2 [V [ 1.
d. Para qualquer algoritmo de pre-uxo com complexidade assimptotica ([N[
3
), o
n umero de opera coes de Push nao saturante e ([N[
3
).
e. Existem redes de uxo para as quais o metodo de Ford-Fulkerson pode nao ter-
minar.
f. Na execu cao do metodo de Ford-Fulkerson, qualquer arco (u, v) de qualquer ca-
minho de aumento p verica (u, v) E.
g. A complexidade do algoritmo de Edmonds-Karp e O([V [
5
).
h. O algoritmo de Floyd-Warshall permite identicar ciclos negativos.
i. Na execu cao de algoritmos de uxo maximo baseados em caminhos de aumento,
se todas as capacidades tem valor inteiro, entao qualquer aumento de uxo tem
valor inteiro.
Solu cao: A resposta certa (i.e. a frase incorrecta) e a f.
Problemas de ASA 78
a. A complexidade assimptotica do algoritmo para o uxo de custo mnimo baseado
em cancelamento de ciclos e O(V E
2
U C).
b. Dado que o problema de programa cao linear e resol uvel em tempo polinomial,
entao o problema de uxo de custo mnimo tambem e resol uvel em tempo polino-
mial.
c. Dado um qualquer programa linear, o algoritmo Simplex termina, e retorna a
solu cao correcta ou uma indica cao de que o programa linear nao e exequvel ou
de que nao tem solu cao limitada.
d. Sendo z a solu cao do programa linear primal, e sendo w a solu cao do problema
linear dual, verica-se que z w.
e. Dado que o problema de uxo maximo e resol uvel em tempo polinomial e dado
que o problema de uxo maximo e redutvel em tempo polinomial ao problema de
uxo de custo mnimo, entao o problema de uxo de custo mnimo e resol uvel em
tempo polinomial.
f. A redu cao de um programa linear para a forma slack tem complexidade polinomial
no n umero de variaveis e de restri coes do problema original.
g. No algoritmo para o uxo de custo mnimo baseado em cancelamento de ciclos
nao e possvel utilizar o algoritmo de Dijkstra.
Problemas de ASA 79
II.2.9 Relativamente à execu cao do algoritmo DFS num grafo G = (V, E), ligado,
dirigido, com n vertices e m arcos, indique qual das frases seguintes esta incorrecta.
a. O valor n representa um limite superior no n umero de arcos da oresta de DFS.
b. O valor n representa um limite superior no n umero de arvores na oresta de DFS.
c. O valor n 1 representa um limite superior no n umero de arcos de cruzamento.
d. Podem existir vertices u, com arcos de entrada e arcos de sada, tais que f[u] =
d[u] + 1.
e. Podem existir vertices u e v, com (u, v) E, tal que [d[u], f[u]] [d[v], f[v]] = .
f. Para cada vertice v, os valores possveis para os tempos de descoberta d[v] e de
m f[v] variam entre 1 e 2n.
g. A soma do n umero de vertices brancos, cinzentos e pretos e constante.
h.

E possvel identicar um arco para tras (u, v) tal que [d[u], f[u]] [d[v], f[v]] = .
i. O n umero de valores distintos de d[u] na DFS e nao inferior ao n umero de valores
distintos de d[u] na BFS, executada no mesmo grafo e relativa a um qualquer
vertice inicial s.
Solu cao: A resposta certa (i.e. a frase incorrecta) e a c.
Problemas de ASA 80
II.2.10 Num grafo G = (V, E), nao dirigido, ligado, o maior n umero de arcos para tras
(back-edges) que e possvel obter apos a aplica cao da DFS e:
a. n
b.
n(n1)
2
c. 2n 1
d.
n(n+1)
2
e.
(n1)(n2)
2
f.
2
n1
n2
g. n 1
h. 2
n1
i. 2
n
Problemas de ASA 81
II.2.11 Indique qual das seguintes frases esta incorrecta.
a. O n umero de SCCs num grafo G = (V, E), dirigido, e O(V ).
b. A complexidade de listar os elementos ligados de um grafo G = (V, E) nao dirigido
e O(V +E).
c. A complexidade para identicar SCCs num grafo G = (V, E), dirigido, e O((V +
E) log V ).
d. A existencia de m ultiplas MSTs implica a existencia de m ultiplas ocorrencias de
pelo menos um valor de peso dos arcos.
e. Em grafos dirigidos, o n umero de ordena coes topologicas no pior caso e (2
V
).
f. Num grafo G = (V, E), dirigido, acclico, a existencia de 1 unica ordena cao to-
pologica 'v
1
, . . . , v
k
` implica a existencia de um unico caminho entre v
1
e v
k
em
G.
g. A complexidade para identicar SCCs num grafo G = (V, E), dirigido, no pior
caso e (V +E).
h. A complexidade do algoritmo de Kruskal e O((V +E) log V ), quando baseado na
utiliza cao de um amontoado.
i. O n umero de opera coes de colapsagem de arvores no algoritmo de Boruvka e
O(log V ).
Problemas de ASA 82
II.2.12 Considere a rede de uxo da gura.
v
1
v
3
v
5
s
t
v
2
v
4
v
6
2000
2000
2000
2
2000
Para este grafo, indique qual o maior n umero de caminhos de aumento que e possvel
utilizar na aplica cao do metodo de Ford-Fulkerson.
a. 4002.
b. 4000.
c. 2001.
d. 2000.
e. 1001.
f. 1000.
g. 999.
h. 501.
i. 500.
Problemas de ASA 83
a. Para redes de uxo em que as capacidades apresentam valores racionais, qualquer
implementa cao do algoritmo de Ford-Fulkerson termina em tempo nito e calcula
o valor correcto.
b. Entre todas as implementa coes possveis do metodo de Ford-Fulkerson, e para
qualquer rede de uxo, o algoritmo de Edmonds-Karp requer o menor n umero de
caminhos de aumento.
c. Existem redes de uxo para as quais algumas implementa coes do metodo de Ford-
Fulkerson nao terminam.
d. A aplica cao do algoritmo de Edmonds-Karp assegura que o comprimento (no
n umero de arcos) dos caminhos de aumento e monotonicamente crescente, ten-
do como valores possveis o conjunto 1, . . . , [V [ 1.
e. O n umero de caminhos de aumento na execu cao do algoritmos de Edmonds-Karp
e O(V E).
f. Apos a execu cao do algoritmo de Floyd-Warshall, a complexidade assimptotica
adicional para identicar a existencia de ciclos negativos e O(V ).
g. Na execu cao do algoritmo de Bellman-Ford, a complexidade assimptotica para
identicar a existencia de ciclos negativos e O(E).
h. Para grafos com ciclos negativos, as complexidades assimptoticas do algoritmo de
Johnson e do algoritmo de Bellman-Ford sao iguais.
i. Num grafo dirigido acclico e possvel encontrar os caminho mais curtos entre todos
os pares de vertices em O(V (V +E)).
Solu cao: A resposta certa (i.e. a frase incorrecta) e a b.
Problemas de ASA 84
II.2.14 Indique qual a menor complexidade de um algoritmo eciente para identicar
um corte mnimo de uma rede de uxo G = (V, E), apos a execu cao de um algoritmo
para calculo do uxo maximo.
a. V .
b. E.
c. E log V .
d. E log E.
e. V E.
f. V E
2
.
g. V
2
E.
h. 2
V
.
i. 2
E
.
Problemas de ASA 85
a. Na aplica cao do algoritmo de Edmonds-Karp, o n umero de aumentos de uxo e
O(V E).
b. Para grafos onde E = O(V ), a complexidade assimptotica do algoritmo generico
de pre-uxo nao e menor do que a complexidade assimptotica do algoritmo de
Edmonds-Karp.
c. A complexidade assimptotica do algoritmo Relabel-To-Front e inferior à do algo-
ritmo de pre-uxo generico porque o n umero de opera coes de Push nao saturante
e menor.
d. Na aplica cao do algoritmo de pre-uxo generico a altura maxima de um vertice
nao excede 2[V [ 1.
e. Na aplica cao do algoritmo de pre-uxo generico, o n umero total de actualiza coes
das alturas e menor do que 2[V [
2
.
f.

E possvel reduzir a complexidade assimptotica do algoritmo generico de pre-uxo
atraves da redu cao do n umero de opera coes de Push saturante.
g. Para redes de uxo com capacidades nao necessariamente racionais, e por escolha
adequada dos caminhos de aumento, e possvel o algoritmo de Ford-Fukerson nao
terminar, e car a uma distancia arbitrariamente pequena de um valor de uxo
incorrecto.
h. A complexidade assimptotica do algoritmo de Ford-Fulkerson, para o calculo do
emparelhamento bipartido maximo, e menor do que a complexidade assimpotica
do algoritmo de pre-uxos generico para redes de uxo arbitrarias.
i. A complexidade assimptotica do algoritmo de Ford-Fulkerson, para o calculo do
emparelhamento bipartido maximo, e menor do que a complexidade assimpotica
do algoritmo de Edmonds-Karp para redes de uxo arbitrarias.
Problemas de ASA 86
II.2.16 Relativamente aos problemas de caminhos mais curtos em grafos, para um grafo
G = (V, E), com n = [V [ e m = [E[, indique qual das seguintes frases esta incorrecta.
a. Na aplica cao do algoritmo de Bellman-Ford, o n umero de relaxa coes e O(nm).
b. No algoritmo de Johnson, a execu cao do processo de repesagem e opcional sempre
que todos os arcos tenham peso nao negativo.
c. No algoritmo de Johnson, e apos a repesagem dos arcos, podem existir arcos com
peso igual a 0.
d. No calculo do fecho transitivo, o n umero de arcos adicionados e O(n
2
).
e. No algoritmo de Johnson, um limite superior no valor absoluto da maior actuali-
za cao de pesos e max
(u,v)E
[w(u, v)[.
f. Na execu cao do algoritmo de Floyd-Warshall, a ordem pela qual os vertices sao
considerados pode ser qualquer, utilizando para tal uma adequada permuta cao
dos vertices.
g. Apos a aplica cao do algoritmo de Floyd-Warshall, a complexidade para encontrar
ciclos negativos e O(n).
h. Para o problema dos caminhos mais curtos com fonte unica num DAG, o n umero
de relaxa coes e O(n +m).
i.

E possvel encontrar o fecho transitivo de um DAG em O(nm).
Problemas de ASA 87
II.2.17 Considere um grafo G = (V, E), dirigido, com as seguintes caractersticas:
O conjunto de vertices e V = s, x
1
, . . . , x
n
.
Existe um arco de s para qualquer outro vertice de G, i.e. (s, x
i
) E, 1 i n .
Existe um arco entre os vertices x
i
e x
i+1
, i.e. (x
i
, x
i+1
) E, 1 i n 1.
Nestas condi coes, qual o n umero de arvores de DFS distintas, com raz s, que e
possvel construir?
a. 2
n1
b.
n
2
2
c. n + 1
d. 2
n
e. n
f. 2
n+1
1
g.
n(n1)
2
+ 1
h. n 1
i.
n(n+1)
2
1
Solu cao: A resposta correcta e a a.
Problemas de ASA 88
II.2.18 Indique qual o menor limite superior na complexidade assimptotica do algorit-
mo de Edmonds-Karp para redes de uxo onde todos os arcos tem capacidade unitaria.
(Admita que V = O(E).)
a. E
2
b. V
2
E
c. V E
d. V E
2
e. V
2
f. E log E
g. E log V
h. E
i. V
2
log V
Problemas de ASA 89
II.2.19 Considere uma rede de uxo G = (V, E), com vertice fonte s e vertice destino
t, e com a seguinte organiza cao:
Os vertices estao organizados por nveis.
O vertice s esta colocado no nvel 0.
O vertice t esta colocado no nvel j + 1.
Em cada nvel i, 1 i j, estao colocados 2
i
vertices.
Cada vertice u colocado no nvel i, 0 i j, apenas tem arcos para 2 vertices no
nvel i +1, com 0 i j 1, e tal que dois vertices u e v no nvel i estao ligados
a vertices distintos no nvel i +1. Todos os vertices no nvel j tem um unico arco
para o vertice t.
A capacidade de cada arco (u, v) E, com u no nvel i e v no nvel i+1, 0 i j,
e dada por 2
2(ji)1
.
Nestas condi coes, qual o valor do somatorio das alturas de todos os vertices apos a
execu cao do algoritmo de pre-uxos generico?
Sugestao: Observe que
n
i=0
2
i
= 2
n+1
1.
a. (2
j
+j/2)
b. (j + 1)(2
j+1
+j/2)
c. (2
j+2
+j/2 + 2)
d.
j (j+1)
2
e.
j
2
2
f. j (2
j
+j/2)
g. (2
j+1
+j/2 + 1)
h.
j (j1)
2
i. (j + 2) (2
j+2
+j/2)
Solu cao: A resposta correcta e a b.
Problemas de ASA 90
II.2.20 Indique qual das seguintes frases esta incorrecta.
a.

E possvel identicar os caminhos mais curtos no n umero de arcos, entre um vertice
fonte e todos os restantes vertices de um grafo, em O(V +E).
b. Num grafo dirigido acclico nao e possvel listar todos os caminhos em tempo
polinomial em V e E.
c. Num grafo dirigido, o algoritmo de Dijkstra garante a correcta identica cao dos
caminhos mais curtos, de um vertice fonte s para todos os outros vertices, apenas
se os pesos dos arcos forem nao negativos.
d. A complexidade assimptotica do algoritmo de Bellman-Ford no melhor caso e
sempre maior do que a complexidade assimptotica do algoritmo de Dijkstra no
pior caso.
e. Para grafos esparsos, a complexidade assimptotica do algoritmo de Johnson e
inferior à complexidade assimptotica do algoritmo de Floyd-Warshall.
f. O algoritmo de Floyd-Warshall pode ser executado em grafos contendo arcos com
peso negativo e com ciclos negativos.
g. Na execu cao do metodo de Ford-Fulkerson, com capacidades de valores racionais,
o n umero de caminhos de aumento e sempre nito.
h. Na execu cao do algoritmo de Edmonds-Karp o n umero de caminhos de aumento
e sempre nito, e limitado assimptoticamente por O(V E).
i. A complexidade assimptotica do algoritmo de pre-uxo generico no pior caso e
sempre menor do que a complexidade assimptotica do algoritmo de Edmonds-
Karp no melhor caso.
Problemas de ASA 91
II.2.21 Indique qual a menor complexidade assimptotica de um algoritmo para calcular
o n umero de caminhos mais curtos entre um par de vertices (i, j) apos a aplica cao do
algoritmo de Floyd-Warshall. (Considere que n representa o n umero de vertices.)
a. n
3
log n
b. nlog n
c. n
2
log n
d. n
2
e. 1
f. 2
n
g. n
3
h. n!
i. n
Problemas de ASA 92
II.2.22 Considere um grafo dirigido, G = (V, E), com n
2
vertices, em que os vertices
se encontram organizados por linhas e colunas (n linhas e n colunas). Um vertice na
posi cao (i, j), v
ij
, tem os seguintes arcos:
Um arco para o vertice na posi cao (i + 1, j + 1), desde que 1 i n 1,
1 j n 1.
Um arco para o vertice na posi cao (i, j + 1), desde que 1 i n, 1 j n 1.
Um arco para o vertice na posi cao (i + 1, j), desde que 1 i n 1, 1 j n.
Finalmente, existem M n
2
arcos de vertices em posi coes (i, j) para vertices em posi coes
(k, l), com i < k, j < l, e com M constante. Cada arco do grafo entre as posi coes (i, j)
e (k, l), i.e. (v
ij
, v
kl
), tem um peso (v
ij
, v
kl
).
Nestas condi coes, indique qual a menor complexidade assimptotica para encontrar
o caminho mais curto entre os vertices nas posi coes (1, 1) e (n, n).
a. n
2
log n
b. nlog n
c. 2
n
d. n
3
log n
e. n
2
f. n
g. n
4
h. n
4
log n
i. n
3
Problemas de ASA 93
II.2.23 Indique qual das frases seguintes e incorrecta.
a. A complexidade assimptotica (no pior caso) do algoritmo de Floyd-Warshall e
independente da existencia de ciclos negativos.
b. Para grafos densos o algoritmo de Bellman-Ford tem a mesma complexidade as-
simptotica que o algoritmo de Floyd-Warshall.
c. Para grafos densos o algoritmo de Dijkstra tem a mesma complexidade assimptotica
que o algoritmo de Bellman-Ford.
d. No algoritmo de pre-uxos o n umero de opera coes de Relabel e O(V
2
).
e. No algoritmo de pre-uxos a complexidade da opera cao de Push e O(1).
f. No algoritmo de pre-uxos a complexidade da opera cao de Relabel e (V ).
g. A complexidade assimptotica do algoritmo de Bellman-Ford no melhor caso e
sempre maior do que a complexidade assimptotica do algoritmo de Dijkstra no
pior caso.
h. Na execu cao do algoritmo de Edmonds-Karp o n umero de caminhos de aumento
e sempre nito, e limitado assimptoticamente por O(V E).
i. Na execu cao do metodo de Ford-Fulkerson, com capacidades de valores racionais,
o n umero de caminhos de aumento e sempre nito.
Solu cao: A resposta certa (i.e. a frase incorrecta) e a c.
Problemas de ASA 94
II.2.24 Indique a menor complexidade assimptotica para identicar a existencia de
ciclos negativos, atngiveis a partir de um qualquer vertice, em grafos dirigidos e pesados.
a. V +E.
b. V log V .
c. E log E.
d. E log V .
e. V E.
f. V E log V .
g. V E log E.
h. V
2
log V .
i. V
2
log E.
Problemas de ASA 95
II.2.25 Indique qual a menor complexidade assimptotica de um algoritmo eciente
para resolver o problema dos caminhos mais curtos entre todos os pares de vertices
num grafo dirigido acclico. (Admita E = (V ).)
a. V +E.
b. V log V .
c. E log E.
d. E log V .
e. V E.
f. V E log V .
g. V E log E.
h. V
2
log V .
i. V
2
log E.
Problemas de ASA 96
II.2.26 Considere um grafo dirigido G = (V, E), comn vertices, em que V = v
1
, v
2
, . . . , v
n
e E = (v
i
, v
i+1
), i = 1, . . . , n 1 (v
n
, v
1
). Apos a execu cao de um algoritmo para
identica cao do fecho transitivo G
= (V, E
), indique qual o valor de [E
E[, isto e
o n umero de arcos adicionais criados pela execu cao do algoritmo.
a. 2n 1.
b. 2n.
c. 2n + 1.
d. n
2
2n + 1.
e. n
2
n + 1.
f. n
2
n.
g. n
2
2n.
h. 2
n
n + 1.
i. 2
n
2n + 1.
Problemas de ASA 97
II.2.27 Considere o algoritmo generico de pre-uxo (push-relabel) para calculo do uxo
maximo. O tuplo 'm
R
, m
P
, M
R
, M
P
` representa respectivamente:
o menor n umero de opera coes de relabel, m
R
.
o menor n umero de opera coes de push, m
P
.
o maior n umero de opera coes de relabel, M
R
.
o maior n umero de opera coes de push, M
P
.
realizadas durante a execu cao do algoritmo, e apos a inicializa cao. Para o grafo da
gura, indique qual o tuplo 'm
R
, m
P
, M
R
, M
P
` com os valores correctos.
b
a
d
c
10
1
10
10 10
a. '1, 3, 3, 5`.
b. '2, 4, 3, 5`.
c. '1, 3, 3, 5`.
d. '2, 2, 3, 5`.
e. '2, 4, 4, 6`.
f. '3, 5, 4, 6`.
g. '3, 4, 4, 8`.
h. '3, 5, 5, 8`.
i. '3, 4, 5, 8`.
Problemas de ASA 98
II.2.28 Considere o algoritmo de Boruvka para o calculo da arvore abrangente de
menor custo, o qual mantem uma oresta de sub-arvores da MST. Admita um grafo
G = (V, E) com n = [V [, n > 1, vertices e m = [E[, m > 1, arcos. Indique o menor
n umero de itera coes (de colapsagem de sub-arvores) que e possvel obter na execu cao
deste algoritmo.
a. 0
b. 1
c. 2
d. log log n
e. log log m
f. log n
g. log m
h. n
i. m
Problemas de ASA 99
II.2.29 Seja G = (V, E) um grafo dirigido, com fun cao de pesos w : E R, o qual
nao contem ciclos negativos. Considere o processo de repesagem utilizado no algoritmo
de Johnson. Qual dos seguintes valores dene o maior aumento nos valores dos pesos
apos a repesagem?
a. O menor peso entre todos os arcos de E.
b. O maior peso entre todos os arcos de E.
c. O menor valor absoluto entre os pesos de todos os arcos de E.
d. O maior valor absoluto entre os pesos de todos os arcos de E.
e. O menor peso de um caminho mais curto entre quaisquer dois pares de vertices
de G.
f. O maior peso de um caminho mais curto entre quaisquer dois pares de vertices de
G.
g. O menor valor absoluto do peso de um caminho mais curto entre quaisquer dois
pares de vertices de G.
h. A diferen ca entre o maior e o menor valor de pesos em G.
i. A soma de todos os pesos negativos.
Problemas de ASA 100
II.2.30 Relativamente ao problema de calculo do uxo maximo indique qual das ar-
ma coes seguintes e falsa.
a. Para redes de uxo com capacidades inteiras, o algoritmo de Ford-Fulkerson apre-
senta uma complexidade assimptotica em (E[f
[), em que [f
[ e o valor do uxo
maximo.
b. Existem redes de uxo para as quais o algoritmo de Ford-Fulkerson demora tempo
innito.
c. Existem redes de uxo para as quais o algoritmo de Ford-Fulkerson tem um tempo
de execu cao em (V ).
d. O n umero de caminhos de aumento na execu cao do algoritmo de Edmonds-Karp
e O(V E).
e. O n umero de opera coes de Push denominadas saturating e O(V E).
f. No algoritmo Relabel-To-Front, o n umero de opera coes de Push denominadas non-
saturating e (V
2
E).
g. O n umero de opera coes de Relabel e O(V
2
).
h. A complexidade da opera cao de Push e O(1).
i. A complexidade da opera cao de Relabel e (V ).
II.2.31 O par de valores 'max
be
, max
fe
` representa respectivamente o n umero maximo
de arcos para tras (back edges) e o n umero de maximo arcos para diante (forward edges)
que e possvel identicar em quaisquer grafos G = (V, E) por aplica cao da DFS. (Obser-
ve que os valores maximos para os dois tipos de arcos sao obtidos para grafos diferentes.)
Nesta situa cao, indique quais as expressoes para o par de valores 'max
be
, max
fe
`. (Ad-
mita que [V [ = n, e que nao existem arcos de um vertice para ele proprio.)
a. '
n(n+1)
2
,
n(n1)
2
n`.
b. '
n(n1)
2
,
n(n1)
2
n`.
c. '
n(n+1)
2
,
n(n+1)
2
`.
d. '
n(n1)
2
,
n(n1)
2
`.
e. '
n(n1)
2
n,
n(n1)
2
n`.
f. 'n 1, n 1`.
g. 'n, n`.
h. '
n(n+1)
2
,
n(n1)
2
n + 1`.
i. '
n(n1)
2
,
n(n1)
2
n + 1`.
II.2.32 Considere os diferentes algoritmos para calculo dos caminhos mais curtos em
grafos dirigidos. Indique qual das seguintes arma coes e falsa.
a. Para assegurar a correc cao do algoritmo de Dijkstra, e necessario os pesos dos
arcos serem nao negativos.
b. Para grafos densos o algoritmo de Johnson tem a complexidade assimptotica do
algoritmo de Floyd-Warshall.
c. A complexidade assimptotica (no pior caso) do algoritmo de Floyd-Warshall e
independente da existencia de ciclos negativos.
d. Para grafos densos o algoritmo de Bellman-Ford tem a mesma complexidade as-
simptotica que o algoritmo de Floyd-Warshall.
e. Para grafos densos o algoritmo de Dijkstra tem a mesma complexidade assimptotica
que o algoritmo de Bellman-Ford.
f. No processo de repesagem do algoritmo de Johnson a varia cao do peso de um arco
pode ser positiva ou negativa.
g. Existem grafos, com arcos com pesos negativos, para os quais a aplica cao do
algoritmo de Dijkstra produz o resultado correcto.
h. O algoritmo de Floyd-Warshall tem complexidade O(n
3
).
i. Apos a aplica cao do algoritmo de Bellman-Ford a complexidade para enumerar os
arcos de um ciclo negativo e O(V +E).
II.2.33 Considere uma rede de uxo G = (V, E), tal que a aplica cao do algoritmo
generico de Push-Relabel resulta em 0 opera coes de envio de uxo saturantes (i.e. satu-
rating pushes). Nestas condi coes qual a menor complexidade assimptotica que e possvel
assegurar para a aplica cao do algoritmo generico de Push-Relabel)?
a. E
2
.
b. V .
c. V
2
log E.
d. V E.
e. V
2
E.
f. E [f
[.
g. E
2
[f
[.
h. V +E.
i. V log V .
II.2.34 Considere uma rede de uxo G = (V, E), tal que as capacidades c(u, v) de
cada arco (u, v) vericam c(u, v) 0, 1. Nestas condi coes, indique qual a menor
complexidade assimptotica para a execu cao do algoritmo de Ford-Fulkerson.
a. V
2
E.
b. E
2
.
c. V log V .
d. V
2
log E.
e. V E.
f. log(E) [f
[.
g. E
2
[f
[.
h. V .
i. V +E.
II.2.35 Indique qual o n umero maximo de ordena coes topologicas distintas que podem
existir num grafo G = (V, E) dirigido acclico, com [V [ = n.
a. n!
b. (n 1)!
c. n
n
d. n
n1
e. (n 1)
n
f. n
2
g. (n 1)
2
h. n log n
i. (n 1) log(n 1)
II.2.36 Apos a aplica cao do algoritmo de Floyd-Warshall num dado grafo G = (V, E),
e admitindo a existencia de ciclos negativos, indique qual a menor complexidade as-
simptotica de um algoritmo para enumerar os vertices de um qualquer ciclo negativo.
(Nota: Considere a nota cao V e E para representar respectivamente [V [ e [E[ na no-
ta cao assimptotica.)
a. V
3
log E
b. V
3
log V
c. V
3
d. V
2
log E
e. V
2
log V
f. V
2
g. (V +E) log E
h. (V +E) log V
i. V +E
II.2.37 Determine a menor complexidade assimptotica de um algoritmo eciente para
identicar o fecho transitivo (transitive closure) num grafo dirigido acclico G = (V, E).
(Nota: Considere a nota cao V e E para representar respectivamente [V [ e [E[ na
nota cao assimptotica.)
a. V
3
log E
b. V
3
log V
c. V
3
d. V
2
log E
e. V
2
log V
f. V
2
g. (V +E) log E
h. (V +E) log V
i. V +E
II.2.38 Considere um grafo G = (V, E), dirigido, acclico, com n = [V [ e m = [E[.
Indique a menor complexidade assimptotica de um algoritmo para calcular o n umero
de caminhos existentes no grafo.
a. n +m
b. nlog n
c. (n +m) log n
d. (n +m) log m
e. n
2
f. n
2
log n
g. n
2
log m
h. m
2
log n
i. m
2
log m
II.2.39 Seja G = (V, E) um grafo dirigido, com fun cao de pesos w : E 1, 1,
e com n = [V [ e m = [E[. Indique qual a menor complexidade assimptotica de um
algoritmo para determinar a existencia de ciclos em que todos os arcos tem peso igual.
a. m
2
log m
b. m
2
log n
c. n
2
log m
d. n
2
log n
e. n
2
f. (n +m) log m
g. (n +m) log n
h. nlog n
i. n +m
II.2.40 A ordena cao topologica de um grafo G = (V, E), dirigido, com n = [V [ e
m = [E[, diz-se bem denida se o grafo nao tem ciclos. Identique qual o n umero de
arcos de G que e condi cao necessaria para a ordena cao topologica de G ser bem denida.
a. n 1
b. n
c.
n(n+1)
2
d.
n(n1)
2
e. n (n + 1)
f. n (n 1)
g. n log n
h. (n 1) log(n 1)
i. n
2
II.2.41 Dene-se uma sequencia de aumento, S, como um conjunto de caminhos
de aumento escolhidos durante a aplica cao do metodo de Ford-Fulkerson num grafo
G = (V, E). Dene-se o tamanho de uma sequencia de aumento, [S[, como o n umero
de caminhos de aumento em S. Dois tamanhos de sequencias de aumento, [S
1
[ e [S
2
[,
dizem-se distintos se [S
1
[ = [S
2
[. Para o grafo seguinte indique quantos tamanhos dis-
tintos de sequencias de aumento e possvel obter.
v
1
v
3
v
5
s
t
v
2
v
4
v
6
2000
2000
10000
10000
10000
10000
2
2000
2000
a. 4002.
b. 4000.
c. 2001.
d. 2000.
e. 1001.
f. 1000.
g. 999.
h. 501.
i. 500.
II.2.42 Considere um grafo G = (V, E), dirigido, com n = [V [ e m = [E[. Seja C o
n umero de componentes fortemente ligados (SCCs) de G, em que cada SCC tem mais
do que um vertice. Indique qual o conjunto de valores possveis para a varia cao no
n umero de elementos de C quando um dos arcos de G e removido.
a. 1, 0
b. 1, 0, 1
c. 1, 0, 1, ..., n/2| 1
d. 1, 0, 1, ..., n/2| + 1
e. 1, 0, 1, ..., n/2| + 1
f. 1, 0, 1, ..., n/2| 1
g. 1, 0, 1, ..., nlog m
h. 1, 0, 1, ..., n
i. 1, 0, 1, ..., n + 1
II.2.43 Um grafo G = (V, E), nao dirigido, diz-se ligado se existe pelo menos um cami-
nho entre qualquer par de vertices. Proponha um algoritmo eciente para determinar
se um grafo e ligado.
Solu cao: Chamar a DFS a partir de qualquer vertice. Se todos os vertices sao visitados
o grafo e ligado. Caso contrario nao e ligado. Complexidade: O(V +E).
II.2.44 Considere o problema do emparelhamento maximo bipartido para um grafo
G = (V, E), nao dirigido, bipartido, com V = LR. Para o calculo do emparelhamento
maximo bipartido admita a transforma cao para o problema do uxo maximo, atraves
da deni cao de uma rede de uxo G
= (V
, E
), com V
= V s, t e E
= E(s, v) :
v L (u, t) : u R. Nesta situa cao estabele ca condi coes sucientes, relativas
ao conjunto de arcos E, tal que na aplica cao do algoritmo de Ford-Fulkerson qualquer
caminho de aumento p verique [p[ = 3.
Solu cao: [E[ = O(1).
II.2.45 A empresa de constru cao civil Obra Lda. esta envolvida num projecto de
grande dimensao para a constru cao do itinerario principal IP-21, devendo assegurar a
realiza cao de um conjunto de N tarefas, t
i
, i = 1, . . . , N. Cada tarefa t
i
so pode ser
realizada apos um conjunto de tarefas precedentes terem sido realizadas tambem. Neste
conjunto de N tarefas existem tarefas sem precedencias, e existe uma tarefa nal que
representa o m da participa cao da Obra Lda. na constru cao do IP-21. Obviamente,
nao existem tarefas com dependencias m utuas entre si. A rela cao de precedencias e
denida por uma matriz P (N N), em que a entrada p
ij
indica se a tarefa t
i
precede
a tarefa t
j
. Admitindo que cada tarefa t
i
tem uma dura cao de d
i
meses, proponha um
algoritmo eciente para a empresa Obra Lda. calcular a dura cao necessaria (em meses)
para a realiza cao das N tarefas. Analise a complexidade do algoritmo proposto.
Solu cao: Modelar o problema como um DAG, e encontrar o caminho mais longo no
DAG. Para encontrar os caminhos mais longos num DAG, um algoritmo possvel e
semelhante ao algoritmo de caminhos mais curtos num DAG, mas trocam-se os sinais
aos pesos. O algoritmo corre em O(V +E), em que V representa o conjunto das tarefas,
e E representa o conjunto de entradas na matriz de precedencias com valor 1.
II.2.46 Considere um grafo G = (V, E), dirigido, acclico. Seja p
L
o caminho de G com
o maior n umero de arcos. Nestas condi coes, identique as restri coes no n umero de arcos
de p
L
por forma a que o fecho transitivo de G, G
= (V, E
), verique [E
[ = O([V [).
Solu cao: [E[ = O([1[). Em qualquer outra situa cao, com [E[ = O([1[), o n umero de
arcos cresceria mais depressa do que [E
[ = O([V [).
II.2.47 Proponha um algoritmo eciente para enumerar os arcos de um ciclo negativo
apos a aplica cao do algoritmo de Bellman-Ford.
Solu cao: Exerccio do CLRS.
II.2.48 Considere um grafo G = (V, E), dirigido, com fun cao de pesos w : E
1, 2, . . . , W 1, para um inteiro nao negativo W. Sugira altera coes ao algoritmo de
Dijkstra para permitir o calculo dos caminhos mais curtos, a partir de um vertice fonte
s, em tempo O(WV +E).
II.2.49 Considere uma rede de uxo G = (V, E), com fonte s e destino t, e admita que
todas as capacidades tomam valores inteiros. Assuma tambem que e conhecido o valor
do uxo maximo de G. Nesta situa cao, admita que a capacidade de um arco e reduzida
em uma unidade. Proponha um algoritmo O(V + E) para actualizar o valor do uxo
maximo.
Problemas do Tipo 3
II.3.1 Suponha que utiliza o algoritmo de Edmonds-Karp para calcular o uxo maximo
numa rede de uxo G = (V, E). Apos ter efectuado o calculo do uxo maximo percebe
que utilizou k (com k constante) valores incorrectos para as capacidades dos arcos. No
entanto, sabe quais os arcos com capacidades incorrectas e sabe tambem que as capaci-
dades incorrectas diferem das capacidades correctas em uma unidade. Nestas condi coes
indique qual a menor complexidade assimptotica para encontrar o valor correcto do
uxo maximo (apos as k capacidades incorrectas terem sido corrigidas). (Admita que
qualquer vertice e atingvel a partir de s e que t e atingvel a partir de qualquer vertice,
pelo que E = (V ).) (Sugestao: Considere o caso k = 1, e depois generalize.)
a. V E
b. E log V
c. E
2
d. V
2
log V
e. V
2
E
f. V E
2
g. E
h. V
2
i. E log E
Solu cao: A resposta certa e a g. (Observe que k e constante.)
II.3.2 Considere uma rede de uxo G = (V, E), com V = s x
0
, x
1
, . . . , x
n
, t
x
n+1
, e em que E = (s, x
1
), (x
1
, x
2
), . . . , (x
n1
, x
n
), (x
n
, t). Admita que as capa-
cidades dos arcos sao dadas pela expressao: c(x
i
, x
i+1
) = n + 1 i, para 0 i n.
Nestas condi coes indique o n umero total de opera coes (saturating pushes, non-saturating
pushes, e relabels) executadas pelo algoritmo Relabel-To-Front. Note que nao devera con-
siderar o n umero de opera coes executadas na fase de inicializa cao do algoritmo (para
denir os pre-uxos e a altura de s).
a.
n(n+7)
2
b. 2 n
2
c.
n(n+1)
2
d. 2 n
e. 2 n
2
1
f. n
2
g. n(n + 3)
h.
n(n+4)
2
i. n(n + 1)
II.3.3 Considere um grafo G = (V, E), dirigido, com fun cao de pesos w : E , ,
com > 0 e > [V [ . Nestas condi coes, proponha um algoritmo eciente para
encontrar o peso do caminho mais curto de um vertice fonte s V para qualquer outro
vertice.
Solu cao: Solu cao proposta, com complexidade O(V +E):
a. Inicializar variaveis para BFS, d[v], [v], etc. Denir variavel adicional c[v].
b. Remover arcos com peso .
c. Denir contador c = 0.
d. Aplicar BFS a partir de s. Marcar os arcos visitados. Todos os vertices visitados
cam com c[v] = c.
e. Repetir enquanto existirem arcos de peso , incidentes em vertices visitados e nao
marcados:
(a) Incrementar c.
(b) Adicionar conjunto B de arcos com peso , ainda nao marcados, incidentes
em vertices v com com d[v] = .
(c) Aplicar BFS, sobre arcos do conjunto B e arcos de peso nao marcados.
Marcar os arcos visitados. Todos os vertices visitados cam com c[v] = c.
f. Para cada vertice com d[v] = , o peso do caminho mais curto de s para v e
denido por: (s, v) = d[v] + c[v].
II.3.4 Considere um grafo G = (V, E), dirigido e acclico (DAG), e pesado com fun cao
de pesos em R. Nestas condi coes, proponha um algoritmo eciente para calcular o
peso dos caminhos de maior peso entre todos os vertices de G e um vertice destino t.
(Descreva justicadamente o algoritmo proposto, argumente a sua correc cao, e analise
a sua complexidade assimptotica.)
Solu cao: Uma solu cao em O(V +E) e:
Trocar cada arco (u, v) por um arco (v, u).
Multiplicar por (1) o peso de cada arco (v, u).
Designar o vertice t como s.
Calcular os caminhos mais curtos de s para todos os restantes vertices (num DAG)
em O(V +E).
Utilizar cada peso (s, u) calculado pelo ponto anterior, para obter o caminho de
maior peso entre u e t, (u, t) = (s, u).
II.3.5 Considere um grafo dirigido G = (V, E), com V = s x
0
, x
1
, . . . , x
r1
, x
r
t,
e E = (x
i
, x
i+1
) V V : x
i
, x
i+1
V, i = 0, 1, . . . , r 1. Admita tambem que
c(x
i
, x
i+1
) = k (r i), i = 0, 1, . . . , r 1, k > 0. Indique, justicando, quais os valores
mnimo e maximo nais da fun cao de alturas para qualquer dos vertices x
1
, . . . , x
r1
do grafo G, apos a execu cao de qualquer algoritmo de Preow-Push.

Solu cao: A altura mnima e [V [ ou [V [ + 1, respectivamente para [V [ par ou mpar, e
a maxima e 2 [V [ 2, dependendo da ordem das opera coes de Relabel e Push.
Parte III.
Sntese de Algoritmos & T opicos Adicionais
Problemas do Tipo 1
III.1.1 Considere a cadeia de caracteres P
= x
1
x
2
. . . x
k
, com x
a
= x
b
, 1 a, b k,
e seja P uma cadeia de caracteres denida por P = P
. . . P
, com [P[ = k (m+1).

Nestas condi coes, e para o algoritmo KMP tendo P como padrao, indique qual o valor
de [j], com j = m k +i, 1 i k.
a. m k +i 1
b. m k +i
c. (m1) k +i 1
d. (m1) k +i
e. (m1) k +i + 1
f. (m+ 1) k +i 1
g. (m+ 1) k +i
h. (m+ 1) k +i + 1
i. m k +i + 1
III.1.2 Considere o padrao P = abababccabcabc. Para o algoritmo de Knuth-Morris-
Pratt, indique qual o ndice que permite obter o maior valor da fun cao .
a. 4
b. 5
c. 6
d. 7
e. 8
f. 9
g. 10
h. 11
i. 12
III.1.3 Considere o algoritmo greedy para o problema da Mochila com objectos frac-
cionarios. No entanto, considere que os objectos a transportar n ao sao fraccionarios.
Nesta situa cao, para qual dos conjuntos seguintes (de conjuntos de objectos e respectivo
limite de peso) e que o algoritmo greedy produz uma solu cao nao optima? (Cada objecto
e representado como um tuplo 'w
i
, v
i
`.)
a. '1, 6`, '3, 3`, '2, 4`; W = 3;
b. '2, 6`, '2, 3`, '2, 4`; W = 4;
c. '2, 5`, '3, 4`'3, 3`, '2, 6`; W = 6;
d. '3, 6`, '2, 8`, '4, 4`, '5, 3`; W = 6;
e. '1, 6`, '2, 5`, '3, 9`, '2, 5`; W = 5;
f. '2, 8`, '3, 6`, '3, 6`, '4, 4`; W = 6;
g. '3, 5`, '5, 5`, '4, 5`, '6, 5`; W = 8;
h. '2, 7`, '2, 8`, '2, 6`, '2, 5`; W = 6;
i. '4, 6`, '5, 5`, '2, 8`, '3, 7`; W = 5;
III.1.4 Considere o algoritmo para emparelhamento de cadeias de caracteres utilizando
automatos nitos. Para o padrao P = abcabcabc, quantos pares (q, a) vericam (q, a) =
1, isto e quantas transi coes existem para o estado 1?
a. 8
b. 4
c. 6
d. 1
e. 9
f. 2
g. 5
h. 7
i. 3
III.1.5 Considere o padrao P = abababab, e seja a fun cao de prexo do algoritmo
de Knuth-Morris-Pratt. Indique qual o valor da expressao:
[1] +[3] +[5] +[7]
a. 9
b. 5
c. 4
d. 10
e. 6
f. 3
g. 11
h. 7
i. 8
III.1.6 Considere o algoritmo de programa cao dinamica para o problema da mochila,
sendo m[i, j] denida por:
m[i, j] = max(m[i 1, j], m[i 1, j w
i
] +v
i
)
com m[i, j] = 0 para i = 0 ou j = 0, m[i, j] = para j < 0.
Para uma instancia do problema da mochila com os objectos v
1
= 1, w
1
= 1, v
2
=
2, w
2
= 2, v
3
= 4, w
3
= 3, v
4
= 6, w
4
= 4, v
5
= 8, w
5
= 5 e com um peso maximo
W = 10, calcule o valor da expressao:
m[3, 4] +m[4, 7] +m[5, 10]
a. 38
b. 27
c. 35
d. 22
e. 33
f. 30
g. 25
h. 40
i. 20
III.1.7 Considere o problema da identica cao da maior subsequencia comum. Dadas as
sequencias S = ABDBCBABDC e T = BACBDCBACD, determine o comprimento
da maior sub-sequencia comum. Admita que o comprimento da maior subsequencia
comum entre as sequencias s
i
e t
j
e denido por:
c[i, j] = 0 i = 0 j = 0
c[i, j] = c[i 1, j 1] + 1 i, j > 0 s
i
= t
j
c[i, j] = max(c[i 1, j], c[i, j 1]) i, j > 0 s
i
= t
j
Nesta situa cao, calcule o valor da expressao:
c[10, 10] (c[2, 7] +c[5, 9])
a. 2
b. 1
c. 0
d. 1
e. 2
f. 3
g. 4
h. 5
i. 6
III.1.8 Considere o problema da mochila. Calcule o valor maximo que e possvel
transportar numa mochila com peso limite W = 13, para o conjunto de objectos: w
1
=
1, v
1
= 2; w
2
= 2, v
2
= 5; w
3
= 5, v
3
= 11; w
4
= 7, v
4
= 18; w
5
= 10, v
5
= 22. Admita
que o valor maximo que e possvel transportar se o peso limite e j e apenas estao
disponveis os objectos de 1 a i tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
Nesta situa cao, calcule o valor da expressao:
v[5, 13] (v[3, 5] +v[4, 7])
a. 2
b. 1
c. 0
d. 1
e. 2
f. 3
g. 4
h. 5
i. 6
III.1.9 Considere o problema da identica cao da maior subsequencia comum (LCS).
Dadas as sequencias S = ABDBCBABDC e T = BACBDCBACD, determine o
comprimento da LCS.
Admita que o comprimento da maior subsequencia comum entre as sequencias s
i
e
t
j
e denido por:
c[i, 0] = 0 i = 0 j = 0
c[i, j] = c[i 1, j 1] + 1 i, j > 0 s
i
= t
j
i
= t
j
a. 1
b. 3
c. 5
d. 7
e. 2
f. 4
g. 6
h. 8
i. 9.
Solu cao: A resposta certa e a d (i.e. a LCS tem valor 7).
1
=
1, v
1
= 2; w
2
= 2, v
2
= 5; w
3
= 5, v
3
= 11; w
4
= 7, v
4
= 18; w
5
= 10, v
5
= 22.
Admita que o valor maximo que e possvel transportar quando o peso limite e j e
apenas estao disponveis os objectos de 1 a i tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
a. 26
b. 27
c. 28
d. 29
e. 30
f. 31
g. 32
h. 33
i. 34
III.1.11 Quantas ocorrencias de P=xxx existem em T=yzxxxxxxxxxxxxyz?
a. 4
b. 5
c. 6
d. 7
e. 8
f. 9
g. 10
h. 11
i. 12
III.1.12 Para o problema de multiplica cao de uma sequencia de 5 matrizes com a
mesma dimensao, qual o maior n umero de solu coes optimas que e possvel encontrar?
a. 4
b. 6
c. 8
d. 10
e. 12
f. 14
g. 16
h. 18
i. 20
III.1.13 Considere o problema de emparelhamento de cadeias de caracteres utilizando
o algoritmo baseado em automatos nitos. Admita o padrao P = abababab, sendo os
estados do automato nito numerados de 0 a 8 (e 8 e o estado que indica a existencia de
um emparelhamento). Nestas condi coes, qual o estado que apresenta o maior n umero
de arcos de entrada (i.e. o estado para o qual transitam mais estados)?
a. 1
b. 2
c. 3
d. 4
e. 5
f. 6
g. 7
h. 8
III.1.14 Considere o automato nito representado, onde foram omitidos os smbolos
de transi cao entre estados. O estado inicial e 0 e o estado nal (aceitador) e 5.
0 1 2 3 4 5
Qual das seguintes sequencias podera ser identicada pelo automato? (Observe a
transi cao do estado 1 para o proprio estado 1.)
a. aabaa
b. bbaaa
c. abaab
d. babaa
e. bbbba
f. aaaab
g. ababa
h. bbaab
i. bbabb
Solu cao: A resposta certa e c.
III.1.15 Considere o problema da mochila, com peso limite W = 14, para o seguinte
conjunto de objectos: w
1
= 1, v
1
= 3; w
2
= 2, v
2
= 4; w
3
= 3, v
3
= 9; w
4
= 6, v
4
=
15; w
5
= 8, v
5
= 20. Admita que o valor maximo que e possvel transportar, quando o
peso limite e j e apenas estao disponveis os objectos de 1 a i, tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) caso contrario
Determine o valor da seguinte expressao:
v[2, 3] +v[3, 3] +v[3, 5] +v[4, 8] +v[4, 12] +v[5, 8] +v[5, 12]
a. 128
b. 157
c. 156
d. 123
e. 96
f. 110
g. 133
h. 131
i. 145
1
=
1, v
1
= 1; w
2
= 2, v
2
= 3; w
3
= 4, v
3
= 9; w
4
= 8, v
4
= 18; w
5
= 10, v
5
= 36. Admita que
o valor maximo que e possvel transportar se o peso limite e j e apenas estao disponveis
os objectos de 1 a i tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
a. 35
b. 40
c. 45
d. 50
e. Nenhuma das respostas anteriores.
III.1.17 Calcule o menor n umero de moedas necessarias para realizar o troco de
N = 23 para o conjunto de moedas d
1
= 1, d
2
= 5, d
3
= 8, d
4
= 10. Admita que o
menor n umero de moedas necessario para realizar o troco do valor j dispondo apenas
das moedas d
1
a d
i
e denido por:
c[i, 0] = 0 1 i n
c[i, j] = + i = 0 j < 0
c[i, j] = min(c[i 1, j], 1 +c[i, j d
i
]) Caso contrario
a. 3 moedas.
b. 4 moedas.
c. 5 moedas.
d. 6 moedas.
e. 7 moedas.
f. Nenhuma das respostas anteriores.
III.1.18 De entre os codigos seguintes, indique um que representa um codigo de Hu-
man optimo para o conjunto de frequencias: r:1, s:2, t:5, u:13, v:34.
a. r,s,t,u,v = 111100, 1110, 110, 10, 0.
b. r,s,t,u,v = 0, 11, 110, 1111, 1110.
c. r,s,t,u,v = 1110, 1111, 110, 10, 0.
d. r,s,t,u,v = 1110, 1111, 110, 11, 0.
III.1.19 Para o conjunto de frequencias r:1, s:2, t:5, u:13, v:34, e com o codigo de
Human r,s,t,u,v = 1110, 1111, 110, 10, 0, qual o n umero de bits necessario para
representar um cheiro com 110000 caracteres?
a. 83000
b. 72000
c. 89000
d. 78000
III.1.20 Indique qual o n umero de bits necessario para representar um cheiro de ca-
racteres, com frequencias r:1, s:2, t:5, u:13 e v:34, utilizando um codigo de comprimento
xo.
a. 440000
b. 220000
c. 330000
d. 550000
III.1.21 Supondo T=01010101 e P=101, quantas ocorrencias existem:
a. uma
b. duas
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
III.1.22 Supondo T=01010101 e P=101, quantas compara coes sao feitas pelo algoritmo
elementar (naive) estudado nas aulas.
a. 11
b. 12
c. 13
d. 14
e. 15
f. 16
g. 17
h. 18
i. 19
III.1.23 Supondo T=abcdefghijk e P=efg, qual dos seguintes shifts representa uma
ocorrencia do padrao.
a. um
b. dois
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
III.1.24 Supondo P=10101010101010101, para o algoritmo KMP qual das arma coes
seguintes e correcta.
a. [16] = 11
b. [16] = 12
c. [16] = 13
d. [16] = 14
e. [16] = 15
f. [16] = 16
g. [16] = 17
h. [16] = 18
i. [16] = 19
1
=
2, v
1
= 2; w
2
= 4, v
2
= 6; w
3
= 8, v
3
= 15; w
4
= 14, v
4
= 25; w
5
= 20, v
5
= 35. Admita
que o valor maximo que e possvel transportar, quando o peso limite e j e apenas estao
disponveis os objectos de 1 a i, tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
a. 41
b. 42
c. 43
d. 44
e. 45
f. 46
g. 47
h. 48
i. 49
III.1.26 Considere o problema de multiplica cao de uma cadeia de matrizes. Dadas 4
matrizes com dimensoes (4 3), (3 5), (5 4), (4 5), determine o menor n umero de
multiplica coes escalares necessarios para realizar o produto das 4 matrizes. Admita que
o menor n umero de multiplica coes escalares para calculo do produto A
i
A
j
e dado
por:
m[i, j] =
0 i = j
min
ik<j
m[i, k] +m[k + 1, j] +p
i1
p
k
p
j
i < j
a. 110
b. 120
c. 130
d. 140
e. 150
f. 160
g. 170
h. 180
i. 190
III.1.27 Supondo T=abcbcbcda e P=bcbcd, qual dos seguintes shifts representa uma
ocorrencia do padrao:
a. um
b. dois
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
III.1.28 Considere o problema da mochila. Qual das seguintes formulas completa a
seguinte especica cao da solu cao para o problema?
v[0, j] = 0 j 0
v[i, j] = j < 0
a. v[i, j] = max(v[i 1, j 1], v[i 1, j w
i
] +v
i
) Caso contrario
b. v[i, j] = max(v[i 1, j] +v
i
, v[i 1, j w
i
] +v
i
) Caso contrario
c. v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
j
) Caso contrario
d. v[i, j] = max(v[i 1, j], v[i, j w
i
] +v
i
) Caso contrario
e. v[i, j] = max(v[i 1, j] +v
j
, v[i 1, j w
i
]) Caso contrario
f. v[i, j] = max(v[i 1, j] +v
j
, v[i 1, j w
i
] +v
i
) Caso contrario
g. v[i, j] = max(v[i 1, j], v[i + 1, j w
i
] +v
i
) Caso contrario
h. v[i, j] = max(v[i + 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
i. v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
III.1.29 Considere o problema de multiplica cao de uma cadeia de matrizes. Qual das
seguintes formulas completa a seguinte especica cao da solu cao para o problema?
m[i, j] = 0 se i = j
a. min
ik<j
m[i + 1, k] +m[k, j] +p
i1
p
k
p
j
se i < j
b. min
ik<j
m[i, k + 1] +m[k, j] +p
i1
p
k
p
j
se i < j
c. min
ik<j
m[i, k] +m[k, j + 1] +p
i1
p
k
p
j
se i < j
d. min
ik<j
m[i, k 1] +m[k, j] +p
i1
p
k
p
j
se i < j
e. min
ik<j
m[i, k + 1] +m[k, j] +p
i+1
p
k
p
j
se i < j
f. min
ik<j
m[i, k 1] +m[k, j] +p
i
p
k
p
j
se i < j
g. min
ik<j
m[i, k] +m[k + 1, j] +p
i1
p
k
p
j
se i < j
h. min
ik<j
m[i, k + 1] +m[k, j] +p
k1
p
k
p
j
se i < j
i. min
ik<j
m[i, k 1] +m[k, j] +p
k
p
k
p
j
se i < j
III.1.30 Quantas ocorrencias de P=xxx existem em T=yzxxxxxxxxxxxxyz?
a. quatro
b. cinco
c. seis
d. sete
e. oito
f. nove
g. dez
h. onze
i. doze
III.1.31 Considere o problema da identica cao da maior subsequencia comum. Dadas
as sequencias S = ABDBCBABDC e T = BACBDCBACD, determine o comprimen-
to da maior sub-sequencia comum. Admita que o comprimento da maior subsequencia
comum entre as sequencias s
i
e t
j
e denido por:
c[i, 0] = 0 i = 0 j = 0
c[i, j] = c[i 1, j 1] + 1 i, j > 0 s
i
= t
j
i
= t
j
a. 9
b. 8
c. 7
d. 6
e. 5
f. 4
g. 3
h. 2
i. 1
1
=
1, v
1
= 2; w
2
= 2, v
2
= 5; w
3
= 5, v
3
= 11; w
4
= 7, v
4
= 18; w
5
= 10, v
5
= 22. Admita
que o valor maximo que e possvel transportar se o peso limite e j e apenas estao
disponveis os objectos de 1 a i tem a seguinte formula cao:
v[0, j] = 0 j 0
v[i, j] = j < 0
v[i, j] = max(v[i 1, j], v[i 1, j w
i
] +v
i
) Caso contrario
a. 26
b. 27
c. 28
d. 29
e. 30
f. 31
g. 32
h. 33
i. 34
III.1.33 Quantas ocorrencias de P=bcbc existem em T=abcbcbcd?
a. uma
b. duas
c. tres
d. quatro
e. cinco
f. seis
g. sete
h. oito
i. nove
Problemas do Tipo 2
III.2.1 Para o problema da maior sub-sequencia comum, considere X = 'a, a, . . . , a` e
Y = 'a, a, . . . , a`, com [X[ = k e [Y [ = k +1. Nesta situa cao qual o n umero de maiores
sub-sequencias comuns que e possvel identicar?
a. 1
b. k
c. k + 1
d. k
2
e. (k + 1)
2
f. 2
k
g. 2
(
k + 1)
h. 3
k
i. 3
(
k + 1)
III.2.2 Para o problema da maior sub-sequencia comum, entre duas sequencias de
caracteres X e Y , com [X[ = n e [Y [ = m, indique a menor complexidade assimptotica
de um algoritmo para contar o n umero de maiores sub-sequencias comuns entre X e Y ?
a. n.
b. m.
c. log n + log m.
d. n +m.
e. nm.
f. nm log n log m.
g. (n +m) log n log m.
h. 2
n
2
m
.
i. n
m
+m
n
.
III.2.3 Considere o padrao P = aa . . . a, com [a[ = m. Nesta situa cao, e na utiliza cao
do algoritmo KMP, qual o valor da expressao:
m
i=1
(i)
a. m
b. m1
c. m+ 1
d.
m(m1)
2
e.
m(m+1)
2
f. m(m1)
g. m(m+ 1)
h. m
2
i. m
3
III.2.4 Para o problema de emparelhamento de cadeias de caracteres, utilizando o
algoritmo KMP, indique qual das arma coes seguintes e incorrecta.
a. Existem padroes tais que [q] pode tomar valores apenas no conjunto S = n umeros
mpares 0.
b. Existem padroes tais que [q] pode tomar valores apenas no conjunto S = n umeros
pares 0.
c. Existem padroes tais que [q] pode tomar valores apenas no conjunto 0, . . . .q1.
d. Existem padroes tais que [q] pode tomar valores apenas no conjunto 0, 1.
e. O valor de [q] nao pode ser superior a m 1, em que m e o comprimento do
padrao.
f. A complexidade assimptotica da execu cao do algoritmo KMP (sem contabilizar o
pre-processamento) num texto com n caracteres e O(n).
g. A complexidade assimptotica da execu cao do algoritmo KMP (contabilizando o
pre-processamento) num texto com n caracteres e um padrao com m caracteres e
O(n +m).
h. Existem padroes tais que [q] pode tomar valores apenas no conjunto S = n umeros
mpares 0, e [S[ > 1.
i. Existem padroes tais que [q] pode tomar valores apenas no conjunto S = n umeros
pares 0, e [S[ > 1.
III.2.5 Os n umeros de Fibonacci sao denidos pela formula recursiva f(i) = f(i
1) + f(i 2), f(0) = 0, f(1) = 1. Indique as menores complexidades assimptoticas,
respectivamente do tempo de execu cao e do espa co necessario, de um algoritmo eciente
para calcular o n umero de Fibonacci de ordem n, com n 1000000, baseado na formula
recursiva.
a. O(1) e O(1)
b. O(1) e O(n)
c. O(n) e O(1)
d. O(n) e O(n)
e. O(n
2
) e O(n)
f. O(n
2
) e O(n
2
)
g. O(2
n
) e O(n)
h. O(2
n
) e O(n
2
)
i. O(2
n
) e O(2
n
)
III.2.6 Considere o problema de identica cao de cadeias de caracteres utilizando o
algoritmo baseado em automatos nitos. Qual o n umero de transi coes existentes no
automato que identica o padrao P = abaaba, nao contabilizando as transi coes para o
estado inicial?
a. 12
b. 5
c. 6
d. 11
e. 7
f. 13
g. 8
h. 9
i. 10
Solu cao: A resposta certa e d.
III.2.7 Considere o algoritmo KMP para emparelhamento de cadeias de caracteres,
em que o texto tem n caracteres e o padrao tem m caracteres. Indique o menor limite
superior no n umero de compara coes entre caracteres do texto T e do padrao P que o
algoritmo KMP realiza.
a. n
b. 2n
c. 3n
d. 4n
e. 5n
f. n +m
g. 2(n +m)
h. 3(n +m)
i. 4(n +m)
j. 5(n +m)
III.2.8 Suponha P um padrao qualquer e T um texto com [T[ = 27. No caso do
algoritmo KMP, indique o menor limite superior no n umero de actualiza coes do ndice
q face ao valor inicial. Note que que no algoritmo KMP o ndice q indica o comprimento
maximo do padrao (P) ja identicado no texto (T).
a. 1
b. 2
c. 27
d. 54
e. 108
f. 162
g. 17
h. 34
i. 51
III.2.9 A empresa CanoaRent aluga canoas no rio Mira. A empresa dispoe de um
conjunto de n ancoradouros, distribudos ao longo do rio, numerados por ordem de 1 a
n, sendo 1 o primeiro ancoradouro e n o ultimo ancoradouro. A empresa CanoaRent
permite o aluguer de canoas em qualquer ancoradouro i e a sua devolu cao em qualquer
ancoradouro j, com j > i. O custo de alugar uma canoa no ancoradouro i e devolve-la
no ancoradouro j e t[i, j]. Nestas condi coes proponha uma solu cao para o problema
de calcular o menor custo para viajar de canoa entre os ancoradouros 1 e n. (Descre-
va justicadamente o algoritmo proposto, argumente a sua correc cao, e analise a sua
complexidade assimptotica.)
Solu cao: Denir p[i, j] como o custo mnimo para viajar entre os ancoradouros i e j,
e admitir p[0, 0] = 0. O modelo de programa cao dinamica resultante e:
p[i, j] = min(t[i, j], min
i<k<j
(p[i, k] +p[k, j])
Problemas do Tipo 3
III.3.1 Pretende-se calcular o valor da recorrencia seguinte (onde x mod 2 representa
o resto da divisao inteira de x por 2),
P
S
[n, m] = (P
S
[n 1, m] (m mod 2) +P
S
[n 1, m1]) mod 2, 1 < m < n
e onde P
S
[n, 1] = 1 e P
S
[n, n] = 1. Nestas condi coes, indique as menores complexida-
des assimptoticas, respectivamente do tempo de execu cao e do espa co necessario, para
calculo de P
S
(n, m).
a. 1 e n.
b. 1 e m.
c. n +m e 1.
d. n +m e n +m.
e. 2
n+m
e 2
n+m
.
f. nm e m.
g. nm e nm.
h. 2
n+m
e n +m.
i. 2
n+m
e nm.
III.3.2 Considere o problema da multiplica cao n ao comutativa , denida num uni-
verso de elementos C = c
1
, . . . , c
m
, tal que para qualquer par de elementos c
r
, c
s
C,
(c
r
c
s
) C (embora c
r
c
s
possa diferir de c
s
c
r
). (A nota cao c[r] e tambem uti-
lizada para denotar o elemento c
r
.) Assuma que (c
r
c
r
) = c
r
, para qualquer c
r
C.
Considere ainda o produto de n elementos, x
1
. . . x
n
, em que x
i
C, i = 1, . . . , n.
Pretende-se determinar se existe uma coloca cao de parentesis tal que x
1
. . . x
n
seja
igual a um elemento x C. Proponha, justicadamente, um algoritmo polinomial para
resolver este problema.
Sugestao: Considere a utiliza cao dos predicados seguintes:
a. Produto(r, s, ) = 1 se e so se c[r] c[s] = para 1 r, s m.
b. Existe(i, j, ) = 1 se e so se existe uma coloca cao de parentesis entre x
i
e x
j
tal
que x
i
. . . x
j
= .
Solu cao: Um modelo de programa cao dinamica, que resulta num algoritmo de com-
plexidade polinomial, O(n
3
m
2
), e o seguinte:
Existe(i, j, ) =
m
r=1
m
s=1
Produto(r, s, ) (
j1
k=i
[Existe(i, k, c[r]) Existe(k + 1, j, c[s])])
Sendo a resposta pretendida obtida para Existe(1, n, x).

III.3.3 Considere que pretende atravessar o continente Americano de Norte a Sul,
atraves da (futura) estrada de liga cao NS001. Para atingir este objectivo vai recorrer
ao aluguer de viaturas da empresa Rent001. Admita que ao longo da NS001 a empresa
Rent001 tem uma rede de N escritorios, e que o custo de alugar uma viatura entre os
escritorios i e j e c(i, j). (Observe que o custo de alugar duas viaturas para viajar entre
os escritorios i e i +2, com uma viatura entre i e i +1 e outra entre i +1 e i +2, pode
ser inferior a alugar apenas uma viatura para viajar entre os mesmos dois escritorios, i
e i + 2.)
Nestas condi coes proponha um algoritmo eciente para identicar a poltica de alu-
guer de viaturas para percorrer a NS001 que corresponde ao menor custo.
Solu cao: Uma solu cao e utilizar de programa cao dinamica. Sendo m[i, j] o menor
custo para viajar entre i e j, obtemos:
m[i, j] = min
c(i, j), min

i<k<j
(m[i, k] +m[k, j]
A complexidade assimpotica associada a este modelo e O(N

2
), para os N escritorios
entre o incio e o m da NS001. Uma outra solu cao e interpretar a estrada NS001 como
um DAG e aplicar o algoritmo para caminhos mais curtos num DAG, com complexidade
O(V +E) que neste caso e tambem O(N
2
).
III.3.4 Na qualidade de consultor para a area informatica de um banco de investi-
mentos, e-lhe pedido que desenvolva um algoritmo para o problema de investimentos de
dura cao xa no ano de 2002. Basicamente, o banco dispoe de M milhoes de euros (MEu-
ro), e pode aplicar essa quantia em N diferentes aplica coes nanceiras. Cada aplica cao
nanceira A
i
requer um investimento de um m ultiplo de I
i
MEuro, e assegura uma ren-
tabilidade de R
i
MEuro por cada I
i
MEuro investidos. Nesta situa cao, proponha um
algoritmo eciente para denir a poltica de investimento que maximiza a rentabilidade
dos M MEuro disponveis. Analise a complexidade do algoritmo proposto.
Solu cao: O raciocnio a utilizar e uma varia cao do utilizado para o problema dos trocos,
apresentado nos acetatos das aulas teoricas. A complexidade do algoritmo e O(N M).
III.3.5 Relativamente ao problema anterior, considere que a rentabilidade obtida para
cada aplica cao nanceira depende do valor investido, sendo denido um valor R
i
[j], j =
1, . . . , M para cada valor j de MEuro investido. Nesta situa cao, proponha um algoritmo
eciente para denir a poltica de investimento que maximiza a rentabilidade dos M
MEuro disponveis. Analise a complexidade do algoritmo proposto.
Solu cao: r[i, k]: rentabilidade total maxima com i produtos e k MEuro. Formula cao
de programa cao dinamica:
r[i, k] = 0 k = 0
r[i, k] = k < 0
r[i, k] = maxr[i 1, k], maxr[i, k j] +R
i
[j], j = 1, ..., k i, k > 1
A complexidade de um algoritmo, que utilize a formula cao anterior para calcular o
valor de r[N, M] atraves do preenchimento de uma tabela (N M), e O(NM
2
).
III.3.6 Considere o problema de coloca cao de parentesis na multiplica cao de cadeias de
matrizes. Admita que as matrizes apenas tem tres dimensoes possveis: (nn), (n2n)
e (2nn), em que a primeira e a ultima matrizes tem dimensao (nn). Considere que
o n umero total de matrizes e k, e que o n umero de matrizes com dimensao n n e i,
sendo o n umero das restantes matrizes dado por j = ki. Indique qual o menor n umero
de multiplica coes escalares que e possvel obter por adequada coloca cao de parentesis.
Solu cao: Dadas as restri coes, e preciso fazer desaparecer as linhas ou colunas com
dimensao 2n. A restante ordem e irrelevante. O custo de multiplicar duas matrizes
(n 2n) por (2n n) e n 2n n, pelo que o n umero de multiplica coes escalares e
j/22n
3
= j n
3
para as j matrizes. Posteriormente temos j/2+i matrizes nn, pelo
que o n umero de multiplica coes escalares necessario e (j/2 +i 1) n
3
. Finalmente o
total obtido e (3j/2 +i 1) n
3
multiplica coes escalares.
Parte IV.
Completude NP & Algoritmos de Aproximacao
Problemas do Tipo 1
IV.1.1 Identique uma atribui cao de valores 'x
1
, x
2
, x
3
, x
4
, x
5
, x
6
, x
7
` que satisfaz a
instancia seguinte do problema HornSAT:
= (x
1
) (x
1
x
2
) (x
2
x
3
)
(x
1
x
4
) (x
3
x
4
x
5
)
(x
1
x
7
) (x
5
x
7
)
a. '1, 0, 1, 0, 1, 0, 1`
b. '1, 1, 0, 1, 0, 0, 1`
c. '1, 1, 1, 1, 0, 0, 0`
d. '1, 0, 0, 0, 1, 1, 1`
e. '0, 0, 0, 0, 0, 0, 0`
f. A formula nao e satisfeita.
g. '0, 1, 0, 1, 0, 1, 0`
h. '1, 0, 0, 0, 1, 1, 1`
i. '1, 0, 0, 1, 1, 0, 0`
IV.1.2 Qual dos seguintes passos pertence ao metodo estudado para provar que um
determinado problema X NPC?
a. Escolher um outro problema para a redu cao de classe P.
b. Escolher um outro problema para a redu cao de classe NP.
c. Escolher um outro problema para a redu cao de qualquer classe.
d. Escolher um outro problema para a redu cao da classe P e NP.
e. Escolher um outro problema para a redu cao da classe P e NPC.
f. Vericar se X P.
g. Vericar se X / P.
h. Vericar se X / NP.
i. Vericar se X NP.
Problemas do Tipo 2
IV.2.1 Indique qual das frases seguintes esta incorrecta.
a. Existem problemas de decisao X, X NP, tal que existe um algoritmo polinomial
que resolve X.
b. Se existe Y NPC, com X NP e Y
P
X, entao X e NP-completo.
c. Se existe X NPC para o qual existe um algoritmo com complexidade as-
simptotica em O(n
k
), entao P = NP.
d. Se existe X NP nao resol uvel em tempo polinomial entao para todo o Y
NPC, Y nao e resol uvel em tempo polinomial.
e.

E possvel 4CNFSAT
P
3CNFSAT.
f.

E possvel 3CNFSAT
P
2CNFSAT.
g.

E possvel 3CNFSAT
P
4CNFSAT.
h.

E possvel 2CNFSAT
P
3CNFSAT.
i.

E possvel 3CNFSAT
P
CNFSAT.
IV.2.2 Considere as classes de problemas de decisao P, NP e NPC. Indique qual das
seguintes frases esta incorrecta.
a. Os problemas da classe P podem ser resolvidos em tempo polinomial.
b. Nao sao conhecidos problemas de decisao X tais que X coNP e X NPC.
c. Os problemas da classe NP podem ser vericados em tempo polinomial.
d. Sao conhecidos problemas de decisao X P e Y NPC tais que Y
P
X.
e. Verica-se que
YNPC
,
XP
, X
P
Y.
f. Os problemas da classe P podem ser vericados em tempo polinomial.
g. Seja X NP e Y NPC. Para provar que X NPC, basta provar que Y
P
X.
h. Verica-se que
YNPC
,
XNP
, X
P
Y.
i. A classe NP contem a classe P.
Solu cao: A resposta certa (i.e. a frase incorrecta) e a d.
IV.2.3 Qual das seguintes arma coes esta correcta.
a. Os problemas da classe NPC nao tem solu cao.
b. A classe de problemas NPC e disjunta da classe de problemas P.
c. Os problemas da classe NPC podem ser solucionados em tempo polinomial.
d. A classe de problemas NPC contem a classe de problemas NP.
e. A classe de problemas P contem a classe de problemas NP.
f. A classe de problemas NPC nao e disjunta da classe de problemas P.
g. As classes P, NPC e NP sao todas disjuntas.
h. As instancias dos problemas da classe NPC tem solu coes que podem ser vericadas
em tempo polinomial.
i. Os problemas da classe NP nao tem solu cao.
Solu cao: A resposta certa (i.e. a frase correcta) e a h.
IV.2.4 Considere a restri cao de formulas CNF a formulas CHorn. Uma clausula diz-se
CHorn se contiver nao mais do que um literal complementado. Uma formula diz-se
CHorn se todas as suas clausulas forem CHorn. O problema de decisao CHornSAT
consiste em decidir a satisfa cao de formulas CHorn. Nestas condi coes proponha um
algoritmo eciente para o problema CHornSAT ou prove que o problema CHornSAT e
NP-completo. (Descreva justicadamente a resolu cao apresentada.)
Solu cao: Algoritmo semelhante ao algoritmo para HornSAT (ver acetatos das aulas
teoricas), mas o valor atribudo e 0. A cada passo, as clausulas seleccionadas sao as que
tem apenas um literal negativo.
IV.2.5 O problema de decisao SAT-k consiste no problema de SAT para formulas CNF
em que se pretende satisfazer nao menos do que k clausulas. Prove que o problema SAT-
k e NP-completo. (Descreva justicadamente a resolu cao apresentada.)
Solu cao: O problema esta claramente em NP. A resolu cao e a seguinte: CNFSAT
P
SAT k.
Instancia de CNFSAT: formula .
Instancia de SATk: formula
, k = [[.
Problemas do Tipo 3
IV.3.1 O problema de isomorsmo de sub-grafo (ISOM) consiste em decidir se um
grafo G
1
e sub-grafo de outro grafo G
2
. Prove que o problema de ISOM e NP-completo.
Sugestao: Admita que os problemas CLIQUE e VC (cobertura de vertices) sao NP-
completos.
Solu cao:

E simples provar que ISOM esta em NP. Para provar que ISOM e NP-dcil
basta reduzir CLIQUE a ISOM. Considerar instancia 'G = (V, E), k` de CLIQUE e
construir a instancia 'G, (
k
)` de ISOM, em que (
k
representa um grafo completo com
k vertices.
IV.3.2 Considere o problema de provar a nao satisfa cao de formulas proposicionais
em forma normal conjuntiva (i.e. conjun cao de disjun coes de literais, em que cada
literal e uma variavel proposicional ou a sua nega cao). Indique justicadamente se este
problema de decisao e NP-completo.
Solu cao: O problema de decisao em causa esta em co-NP, dado o problema de satisfa cao
estar em NP. A nao ser que P = NP, o problema de decisao em causa nao esta em NP,
pelo que nao e NP-completo.
IV.3.3 Considere o problema de decisao Soma-de-Subconjunto (SS), denido da se-
guinte forma:
Seja X um conjunto de valores inteiros, e seja t um valor inteiro. Existe algum
subconjunto S X tal que t =
sS
s?
Admita que este problema de decisao e NP-completo e utilize esta informa cao para pro-
var que o problema da Partic~ao-de-Conjunto (SP) e NP-completo, em que o problema
de Partic~ao-de-Conjunto e denido da seguinte forma:
Seja C um conjunto de valores inteiros. Existe algum subconjunto D C tal que
cCD
c =
dD
d?
Solu cao: O Problem Partic~ao-de-Conjunto (SP) esta claramente em NP. A dicul-
dade e provar que e NP-difcil. Para tal podemos reduzir Soma-de-Subconjunto (SS)
a SP. Basta partir de uma instancia 'S, t` de SS e criar uma instancia de SP com um
conjunto D = S t + 1 1 t +
sS
s. A redu cao e polinomial.
IV.3.4 Considere o problema de decisao Cobertura-de-Vertices (VC), denido da
seguinte forma:
Seja G = (V, E) um grafo, e seja k um valor inteiro, com k V . Nestas condi coes
existe um conjunto V , com k vertices, tal que qualquer arco de G e incidente em
pelo menos um dos vertices de V ?
Admita que este problema de decisao e NP-completo e utilize esta informa cao para
provar que o problema da Cobertura-de-Conjuntos (SC) e NP-completo, em que o
problema de Cobertura-de-Conjuntos e denido da seguinte forma:
Seja X um conjunto e seja F um conjunto de sub-conjuntos de X, tal que
fF
f =
X, e seja k um valor inteiro. Nestas condi coes existe algum sub-conjunto S F,
com k elementos, tal que
sS
= X?
Solu cao: O problema Cobertura-de-Conjuntos (SC) esta claramente em NP. A di-
culdade e provar que SCe NP-difcil. Para tal podemos reduzir Cobertura-de-Vertices
(VC) a SC. Data uma instancia 'G = (V, E), k` de VC, criar uma instancia de SC em
que o conjunto X e denido por X = x
uv
[ (u, v) E, e o conjunto F de subconjuntos
de X e denido por F = F
v
[ v V , onde F
v
= x
vs
[ (v, s) E. A redu cao e
claramente polinomial.
IV.3.5 Considere o problema de decisao 2.5CNFSAT, que consiste em vericar a satis-
fa cao de formulas proposicionais em forma normal conjuntiva para formulas com um
n umero par de clausulas, e em que o n umero de clausulas binarias (i.e. com dois literais)
e igual ao n umero de clausulas ternarias (i.e. com tres literais). Indique se o proble-
ma de 2.5CNFSAT pertence a P ou a NPC. Caso considere que o problema pertence
a P, apresente um algoritmo de tempo polinomial (no n umero N de variaveis e M de
clausulas) para este problema. Caso considere que o problema pertence a NPC, prove
tal resultado.
Solu cao: O problema esta em NPC. Claramente esta em NP, dado ser simples veri-
car uma potencial solu cao em tempo polinomial no tamanho da instancia. Alem disso,
e simples reduzir 3CNFSAT a este problema: basta pegar numa instancia de 3CNF-
SAT com m clausulas ternarias e incluir m clausulas binarias, que sejam trivialmente
satisfeitas e denidas num conjunto diferente de variaveis.
IV.3.6 Considere o seguinte problema de decisao. Trata-se de uma restri cao de CNF-
SAT (com N variaveis e M clausulas) em que apenas podem existir clasulas binarias
e ternarias, e em que o n umero de variaveis que ocorrem em clasulas ternarias e nao
superior a K, com K constante. O problema e designado por 23FixKCNFSAT. Indi-
que se o problema de 23FixKCNFSAT pertence a P ou a NPC. Caso considere que o
problema pertence a P, apresente um algoritmo de tempo polinomial (em N e M) para
este problema. Caso considere que o problema perten ca a NPC, prove tal resultado.
Solu cao: O problema 23FixKCNFSAT esta em P. Um algoritmo (polinomial) possvel
consiste em enumerar as 2
K
atribui coes das K variaveis que ocorrem nas clausulas
ternarias (tempo constante em N). Como resultado de cada atribui cao de valores às
K variaveis, todas as clasulas ternarias (e algumas binarias) cam satisfeitas ou nao
satisfeitas. Caso alguma clausula (ternaria ou binaria) que nao satisfeita, considera-
se uma nova atribui cao. Caso todas as clausulas ternarias quem satisfeitas, falta
apenas considerar as clasulas binarias. O conjunto das clasulas binarias representa uma
instancia do problema de 2CNFSAT, o qual pode ser resolvido em tempo linear em
M + (N K).
IV.3.7 Considere o seguinte problema de decisao. Trata-se de uma restri cao de CNF-
SAT (com N variaveis e M clausulas) em que apenas podem existir clausulas binarias
(com 2 literais) e quaternarias (com 4 literais), e em que o n umero de clausulas binarias
e nao superior a K, com K constante. O problema e designado por 42BoundedKCNFSAT.
Indique se o problema de 42BoundedKCNFSAT pertence a P ou a NPC. Caso considere
que o problema pertence a P, apresente um algoritmo de tempo polinomial (em N e
M) para este problema. Caso considere que o problema pertence a NPC, prove tal
resultado.
Solu cao: O problema esta em NPC. Obviamente esta em NP. Convem tambem observar
que o n umero de clausulas binarias e irrelevante. Por exemplo, basta reduzir 3CNFSAT a
42BoundedKCNFSAT, expandindo cada clausula ternaria em duas quaternarias, e xando
a 0 o n umero de clausulas binarias.

Colectanea Probs

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Colectanea Probs

Загружено:

Авторское право:

Доступные форматы

Colectanea de Problemas

Analise e Sntese de Algoritmos

), indique qual o valor de [E

do grafo G, apos a execu cao de qualquer algoritmo de Preow-Push.

, com [P[ = k (m+1).

Sendo a resposta pretendida obtida para Existe(1, n, x).

c(i, j), min

A complexidade assimpotica associada a este modelo e O(N

Вам также может понравиться