Invariant (informatika)

Invariant cyklu je mezilehlá podmínka v algoritmu, která je v daném bodě výpočtu splněna v každém průchodu cyklem.

Invariant cyklu se používá abychom pochopili proč je algoritmus korektní.O invariantu cyklu musíme říct tři věci:

Inicializace : Platí před první iterací cyklu.
Průbeh : Pokud platí pred iterací cyklu, zůstane platit i před další iterací.
Zakončení: Když cyklus skončí, invariant nám dá užitečnou vlastnost k dokázání korektnosti algoritmu.

Pokud platí první dvě části, invariant cyklu platí během každé iterace cyklu. Třetí vlastnost je možná nejdůležitější, protože jí používáme k dokázání korektnosti algoritmu.