invariant

Výraz:
invariant
Význam:
invariant - je tvrzení, které platí před vykonáním i po vykonání každé iterace daného cyklu.

Stanovuje se zpravidla, když chceme dokazovat korektnost algoritmu, jehož součástí je cyklus. V takové situaci je potřeba určit invariant a dokázat jeho pravdivost, tím je dokázána konečnost výpočtu a efekt cyklu.

Například při řazení algoritmem insert sort (česky řazení vkládáním) může invariantem být tvrzení, že na začátku iterace for cyklu obsahuje seřazované pole stejné prvky jako na začátku výpočtu, ale část tohoto pole je seřazená od nejmenšího po největší prvek.


Pojem zařazen v kategorii Programování.

Okolní pojmy ze stejné kategorie (mohlo by vás také zajímat):

Reklama
Hledáme posily! Zajímavá brigáda!
Máte zájem se podílet na tvorbě tohoto projektu? Hledáme někoho, koho by bavilo slovník rozšiřovat a přidávat nové pojmy. Samozřejmě, že ne zadarmo. Kontaktujte nás!

Užitečné zkratky - víte, co znamenají?

Užitečné souborové formáty

Váš názor nás zajímá!

Dejte nám vědět, jak se vám tento web líbí. Napište nám!