Exercise Sequence

Complete 15 specified written problems across the three practice sets, then four executable labs. A written solution includes model/assumptions, derivation, result, and limitation. Use the separate solutions after an attempt.

1. Complexity practice: exact sums, recurrences, amortization, and encoded input size.
2. Correctness practice: invariants, induction, termination, and pruning domains.
3. Design practice: objective changes, weighted DP, coin-change memoization/tabulation, and oracle cost.
4. Code katas and labs: implementations with contracts and independently structured checks.
5. Measurement memo and independent assessment, followed by targeted repair and a delayed changed-case recheck.

Replace a failed answer with a corrected derivation while retaining the original error. Solve a changed input without the key before marking it independent evidence. The rubric defines completion; arbitrary notebook-page or problem-count targets from earlier versions are superseded by this sequence.