MO417 - Questão para a prova oral

Número: 016

Enunciado:
Qual das seguintes proposições está correta acerca do loop invariante?

1. Ele é usado como método para comparar a eficiência de algoritmos.
2. É uma técnica usada para auxiliar a medição do desempenho de algoritmos recursivos e inferir suas corretudes.
3. Se as etapas de inicialização e manutenção do loop invariante estão corretas, então toda iteração está correta. Consequentemente, o algoritmo pode ser considerado correto.
4. Um algoritmo está correto se ele termina fornecendo a saída esperada para uma dada entrada.
5. NDA

Autor(a): Gabriela Batista Leão