Um algoritmo cujo tempo de execução, f(n), cresce mais lentamente do que o tamanho do problema, n, mas só dá uma resposta aproximada ou provavelmente correta.