Groups
Category
Systematic debugging beats guesswork: always re-read the statement, re-check constraints, and verify the output format before touching code.
An invariant is a property you promise to keep true throughout an algorithm, and it is the anchor of both design and correctness proofs.