Here's what you'll learn:
MEX-based construction uses the minimum excludant to fill gaps.
Parity arguments exploit even/odd properties to prove existence.
Reverse simulation builds the answer backwards from the final state.
DSU construction tracks components while building.
Invariants identify quantities that must stay constant.