Critérios de análise, correção e eficiência. Complexidade de pior caso e caso médio. Divisão e conquista; Algoritmos gulosos; Programação dinâmica. Modelagem em grafos. Teoria da complexidade: problemas de decisão, transformações polinomiais, classes P, NP, Co-NP e NP-completa.