2
In che modo si ottiene l'invariante del ciclo in questo algoritmo di ricerca con limite di radice quadrata?
Originariamente su math.SE ma senza risposta lì. Considera il seguente algoritmo. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := x; end_if …