Skip to main content

External Exercises

This module should be practiced locally first. Start with the concept drills, then use these exercise lanes to deepen speed, flexibility, and proof quality.

Local Book Exercise Lanes

Counting and Combinatorial Proofs

Recurrences and Generating Functions

Graph Structure and Trees

Self-Curated Proof Set

Build a custom problem set with these minimums:

  • 5 counting problems where you justify the setup before computing
  • 3 combinatorial identity proofs
  • 3 inclusion-exclusion or pigeonhole arguments
  • 3 recurrence-modeling problems
  • 5 graph proofs using degree sums, path arguments, contradiction, or induction
  • 2 planarity, coloring, or matching problems

Completion Checklist

  • Completed at least 10 local counting exercises with written setup justification
  • Completed at least 5 local graph exercises with proof-quality explanations
  • Solved at least 3 recurrence or generating-function exercises
  • Wrote at least 3 combinatorial proofs, not just numeric solutions
  • Logged mistakes and corrected setups for at least 5 missed problems

Progress Tracking

Exercise typeGoalDone
Counting setup and calculation10___
Constrained counting proofs6___
Recurrence and generating functions5___
Core graph structure proofs8___
Trees, coloring, or planarity5___
Total34___

Use Strategy

  • Do not do 20 problems of the same surface form in a row.
  • Mix one clean computation problem with one proof problem and one translation problem.
  • After every missed exercise, write one line naming the modeling error: ordered/unordered, double-counted overlap, wrong graph model, bad recurrence state, or used theorem without hypotheses.