Errata para os "Apontamentos para a Cadeira de Análise e Desenho de Algoritmos"

página 26 (2001/6/15)
No código da função naive_search, a linha 4 deveria ser

   4      for (t = T; t <= T + N - M; ++t) {

página 34 (2001/6/15)
No primeiro caso do Teorema 2 (Parentesis.), deveria estar

Os intervalos [d(u), f(u)] e [d(v), f(v)] são disjuntos.

página 35 (2001/6/15)
No primeiro parágrafo, em vez de

... u aparece antes de v sse tivermos um arco (u, v) em E.

deveria estar

... u aparece antes de v se tivermos um arco (u, v) em E.

página 35 (2001/6/15)
A descrição do algoritmo para determinar os componentes fortemente conexos de um grafo deveria ser

   1  scc (grafo G) {
   2    dfs (G);
   3    calcular GT /* transposta */;
   4    dfs* (GT)   /* ciclo principal: v->f decrescente */;
   5    /* cada árvore de dfs* é um SCC */
   6  }