Least You Need to Know: Invariants and Structural Induction
Ouvrir la leçon
Loop invariants explain why iterative algorithms stay correct after every update. Structural induction is the matching proof idea for recursive data structures such as lists and trees.