ma l'invariante di cosa? complessità di cosa?
Credo che si possa ragione un po' sulla funzione cerca. L'invariante non lo so proprio, ma come complessità temporale è theta(n), assolutamente lineare.