Um algoritmo, intuitivamente, é uma sequência finita de instruções ou operações básicas (operações definidas sem ambigüidade e executáveis em tempo finito dispondo-se apenas de lápis e papel) cuja execução, em tempo finito, resolve um problema computacional, qualquer que seja sua instância.