Groups
Category
An invariant is a property you promise to keep true throughout an algorithm, and it is the anchor of both design and correctness proofs.
Amortized analysis measures the average cost per operation over a worst-case sequence, not over random inputs.