Enunciado:
Com relação a definição de Loops Invariantes podemos afirmar que:

A) Qualquer algoritmo de ordenação sempre terá um Loop Invariante definido de forma exatamente igual ao Loop Invariante de qualquer outro algoritmo de ordenação.

B) É possível se definir um único Loop Invariante que pode ser utilizado na validação de dois ou mais algoritmos diferentes, responsáveis pela solução do mesmo problema.

C) Qualquer algoritmo de ordenação recursivo sempre terá um Loop Invariante definido de forma exatamente igual ao Loop Invariante de qualquer outro algoritmo de ordenação recursivo, contanto que ambos adotem a abordagem de "dividir e conquistar".

D) A propriedade de "Término" de um Loop Invariante pode ser verificada apenas em algoritmos não recursivos.

E) NDA

Autor(a): André Santanchè
RA: 022287