Counting and Combinatorial Proof Lab
Retrieval Prompts
- State the product, sum, and division rules from memory.
- Explain the difference between a permutation count and a combination count.
- Define a combinatorial proof in one precise sentence.
Compare and Distinguish
Separate these clearly:
- ordered selection versus unordered selection
- direct counting versus complement counting
- algebraic proof of an identity versus combinatorial proof of an identity
Common Mistake Check
Explain the error in each move:
- "At least one forbidden feature" was counted by adding separate cases with no overlap correction.
- "
n!counts all arrangements, so it works even when letters repeat." - "
C(n,k)andP(n,k)are basically interchangeable for largen."
Mini Application
Complete all three tasks for each problem:
- name the first counting move
- write the exact counted set
- compute only after the setup is justified
Problems:
- Count 5-bit strings with exactly three
1s. - Count committees of size
4chosen from9people with one designated chair. - Give a combinatorial proof of
sum_(k=0)^n C(n,k) = 2^n.
Evidence Check
This page is complete only if your written solutions explain why the setup is correct, not just what the final number is.
Integrated Counting Drill
Solve these without reaching for formulas first. For each problem, name the rule, define the counted objects, and write one sentence explaining why there is no overcount or undercount.
- A password has four lowercase letters followed by two digits. How many passwords are possible if repetition is allowed?
- How many length-6 bit strings contain at least one
1? - How many integers from
1to200are divisible by3or5? - Ten people sit in a row. How many ways can Alice and Bo sit next to each other?
- How many ways can you choose a 5-person review panel from 12 engineers if 2 specific engineers cannot both be selected?
- Prove with a story, not algebra alone, why
n * C(n - 1, k - 1) = k * C(n, k).
Remediation prompt: if you wrote only P, C, or a final number, redo the problem and identify whether order matters, repetition is allowed, and whether cases overlap.