PROGETTARE bk PER INVARIANTI

Progetto dell’algoritmo:

a ogni passo si deve trasformare l’invariante bk = t * vn in una delle due forme date

ciò si ottiene ponendo:
- se n è pari _ n’ = n/2, t’ = t, v’ = v2
- se n è dispari _ n’ = n-1, t’ = t*v, v’ = v

Interessante: b e k in realtà non si usano!