Por que alguns problemas parecem ser (computacionalmente) mais difíceis do que outros? Como podemos medir ou comprovar este diferente (e aparentemente intrínseco) grau de dificuldade? Quais problemas podem ser resolvidos por algoritmos eficientes? Quais não podem? Por quê? Em complexidade computacional estamos interessados em questões deste tipo.