Complexidade computacional explora classes de problemas, modelos de cálculo e noções de eficiência algorítmica.

O texto apresenta demonstrações e exemplos formais sobre limites de tempo e espaço para algoritmos.

Tratamentos de problemas NP, reduções e hierarquias de complexidade oferecem base para pesquisa e ensino em computação teórica.