pojem invariantu
na příklad:
- Eukleidův algoritmus pro hledání největšího spol. dělitele je založen na tom, že
"pokud je a>b , pak dvojice čísel (a,b) a (a-b,b) mají stejnou množinu společných dělitelů"
- V urně je nějaký počet černých a bílých koulí. V každém tahu vybere dvě z nich a vrátíme tam jednu podle pravidel:
b+b -> b ; č+b -> b ; č+č -> b (abychom to mohli dělat musíme mít další bílé koule), v každé kroku se tak počet koulí v urně zmenší o jednu.
Otázka: Na čem závisí jakou barbu bude mít poslední koule, která v urně zbyla.
Udělali jsme - invariantem je parita počtu černých koulí,
tedy bude-li na počátku černých koulí liše, bude poslední lichá, bude-li jich sudě, bude poslední bílá.
hledání invariantu můžeme použít i při řešení většiny dnešních domácí úkolů