2.1-3
Considere o problema de pesquisa :
Entrada: Uma sequência de n números A = (al, a2, ..., an) e um valor
v.
Saída: Um índice i tal que v = A[i] ou o valor especial NIL, se v não
aparecer em A.
Escreva o pseudocódigo para pesquisa linear, que faça a varredura da
sequência, procurando
por v. Usando um loop invariante, prove que seu algoritmo é correto.
Certifique-se de que seu
loop invariante satisfaz às três propriedades necessárias.
Algoritmo
i ← 1
v
saida ← 0
for i←1 to comprimento[A] do
if A[i] = v
then
saida ← A[i]
i ← i + 1
else
i ← i + 1
if saida = 0
then
saida ← null
Se o algoritmo estiver correto, como faço invariante de loop?
On 25 fev, 15:32, Thiago Macedo <
crystyan...@gmail.com> wrote:
> Eu já andei resolvendo as questões, no que puder auxiliar...
> -------------------------
> Att.
> Thiago Crystyan
>