Ementa: Tempo de execução e análise assintótica. Corretude de algoritmos iterativos e recursivos. Recorrências e técnicas de solução de recorrências. Enumeração e backtracking. Divisão e conquista (sugestões de exemplos: Mergesort, multiplicação de inteiros, matrizes, par mais próximo, contagem de inversões). Aleatorização (sugestões de exemplos: Quicksort aleatorizado, problema da seleção). Tópicos opcionais: análise amortizada.