Programa

  1. Estruturas de Dados para pesquisa: Árvores AVL, hashing
  2. Introdução à Análise de Algoritmos: Invariantes de ciclo e análise de correcção; Análise assimptótica do tempo de execução; Recorrências; Análise Amortizada; Casos de estudo.
  3. Estudo de Algoritmos sobre Grafos: Fundamentos; Pesquisa em largura e em profundidade; Árvores geradoras mínimas; Caminhos mais curtos; Fecho transitivo.
  4. Problemas NP-completos: Problemas de decisão; Algoritmos não-determinísticos; Classes de problemas P e NP; Redução polinomial de problemas.