INVARIANTI DI CICLO

Un invariante di ciclo è una relazione sem-

pre vera, in un dato punto del programma,

a ogni iterazione.

Identificare un invariante di ciclo è una forma di progetto.

Invarianti diversi suggeriscono di norma algoritmi diversi, che quasi sempre hanno diversa efficienza.

Diapositiva precedente Diapositiva successiva Torna alla prima diapositiva Visualizza versione grafica