Recherche de la dernière occurrence

def derniere_occurrence(v, t: list):
    pos = None
    for i in range(len(t)):
        # Invariant : pos est le plus grand indice j < i tel que t[j] == v,
        #             ou None si v n'apparaît pas dans t[0..i-1]
        if t[i] == v:
            pos = i
        # Fin de l'invariant pour l'étape i
    return pos

La complexité dans le cas le pire est $O(n)$ puisqu'on parcourt toujours l'intégralité du tableau. On ne peut pas interrompre la boucle prématurément (contrairement à la première occurrence) car une autre occurrence de $v$ peut toujours se situer plus loin.