Induction & loop invariants
Në shqip: Induksioni dhe invariantet e cikleve
ShpjegimiSQ
Si vërteton që një algoritëm është i saktë? Me induksion (punon për rastin bazë dhe, po punon për n, punon edhe për n+1) ose me një „invariant“ — një gjë që mbetet e vërtetë në çdo hap të ciklit.
EnglishEN
How do you prove an algorithm is correct? With induction (it works for the base case, and if it works for n it works for n+1) or a “loop invariant” — something that stays true at every step of the loop.
Si ta mendosh
Si domino: po rrëzohet e para dhe çdo njëra rrëzon tjetrën, rrëzohen të gjitha.
Lexoje në anglisht
Like dominoes: if the first falls and each knocks over the next, they all fall.