Quando um algoritmo é considerado correto?

A resposta correta é: “Quando ele termina e produz resultados que satisfazem todas as propriedades do problema para todas as instâncias da entrada.” Justificativa: Um algoritmo está correto quando ele produz uma saída que satisfaz todas as propriedades elencadas na definição do problema.