Algoritmo Correto: Definição
Gabarito: letra C. Um algoritmo correto deve parar (terminar) com a saída correta para toda instância de entrada válida. Essa é a definição fundamental de correção, abordada nos livros clássicos como Cormen et al. (Introduction to Algorithms).
A questão cobra o conceito básico de correção algorítmica, distinguindo-o de eficiência, restrições de implementação e outros aspectos.
Alternativa A — ❌ Incorreta
Menciona "menor tempo possível", que é uma questão de eficiência, não de correção. Um algoritmo pode ser correto mesmo que não seja o mais rápido.
Alternativa B — ❌ Incorreta
Afirma que o algoritmo precisa funcionar apenas em "algumas instâncias específicas". A correção exige que funcione para todas as instâncias do domínio da entrada (ou pelo menos para um conjunto bem definido).
Alternativa C — ✅ Correta ⟵ GABARITO
É a definição canônica: “para toda instância de entrada, o algoritmo deve parar com a saída correta”. Isso cobre tanto a terminação quanto a correção do resultado.
Alternativa D — ❌ Incorreta
Diz que não pode ter restrições quanto ao número de itens ou arquitetura. Restrições de capacidade (memória, tamanho máximo de entrada) não invalidam a correção; fazem parte das especificações.
Alternativa E — ❌ Incorreta
Produzir uma saída, mesmo que incorreta, não é correção. O resultado precisa ser o esperado para a entrada dada.
Gabarito: letra C