Boa tarde,
Estou a iniciar em Analise de Algoritmos de Ordenação e modelos matematicos para demostrar a sua complexidade, e para mim essa disciplina passou quase que disaparcebida na graduação em sistemas de informação , isto é, não deram muita ênfase e agora estou a precisar com intensidade.
A questão e a seguinte:
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.
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.
Alguem poderia dar uma luz.
big hugs