Groups
Category
Think Backwards is a problem‑solving pattern where you reverse time or direction so hard deletions become easy insertions and the final state becomes the starting point.
An invariant is a property you promise to keep true throughout an algorithm, and it is the anchor of both design and correctness proofs.