ALGORITMOS E IMPLEMENTAÇÕES ⇒ Loop invariante

[Deleted User 25040]

Considere o problema de pesquisa:
Entrada: uma sequencia de n números [tex3]A=\{a_1, a_2, a_3, ..., a_n\}[/tex3]

Código: Selecionar tudoSHIFT+Click na eq = ZOOM

[tex3]A=\{a_1, a_2, a_3, ..., a_n\}[/tex3]

e um valor v
Saída : Um índice i tal que v = A ou o valor especial null, se v n aparecer em A
escreva o pseudocódigo para pesquisa linear, que faça a varredura da sequencia procurando por v. Usando um loop invariante prove que seu algoritmo é correto. Certifique-se de que seu loop invariante satisfaz as três propriedades necessárias