COURSE IV · WORLD FINALS · VERSION 2
Expert implementation and proof discipline
Measurable outcome: Turn a specialized technique into a tested contest artifact, state its invariants, and validate it against official archive problems.
Concept checklist
- Choose techniques from constraints—not recognition alone
- Write explicit invariants before implementation
- Stress-test against a brute-force oracle
- Record counterexamples and implementation traps
Implementation lab
- Select one expert topic from the committee map.
- Implement it in a clean-room file with a brute-force comparator.
- Run randomized and adversarial tests, then document failure modes.
Mapped problems
Exit criteria
- Explain the key invariant without notes.
- Reimplement the core technique in one sitting.
- Solve two mapped tasks without editorial help.
- Record one mistake and the test that exposes it.