A análise de algoritmos é uma disciplina de engenharia, pois procura prever o comportamento de um algoritmo antes que ele seja efetivamente implementado e colocado “em produção”. A corretude é um dos aspectos importantes na análise de um algoritmo, sobre a qual é correto afirmar que