Self-Assessment Quiz: Permutations and Combinations
Twenty questions to check your understanding. Answer before opening the key. Aim for 16+. The skill being tested most is the §16.3 reflex: classify first (order? repetition?), then compute.
Question 1
"Pick 3 of 10 servers to be primaries" (the three are interchangeable) is counted by:
A) $P(10, 3)$ B) $\binom{10}{3}$ C) $10^3$ D) $3^{10}$
Question 2
"Assign 3 of 10 servers to the distinct roles A, B, and C" is counted by:
A) $P(10, 3)$ B) $\binom{10}{3}$ C) $10^3$ D) $3!$
Question 3
The two questions that determine which counting model to use are:
A) "Is $n$ large?" and "Is $r$ large?" B) "Does order matter?" and "Is repetition allowed?" C) "Is it a sum or a product?" and "Is the set finite?" D) "Is it a permutation?" and "Is it a combination?"
Question 4
$P(n, r)$ and $\binom{n}{r}$ differ by a factor of:
A) $n!$ B) $(n-r)!$ C) $r!$ D) $n - r$
Question 5
The number of distinguishable rearrangements of the letters of LEVEL is:
A) $5! = 120$ B) $\frac{5!}{2!} = 60$ C) $\frac{5!}{2!\,2!} = 30$ D) $\binom{5}{2} = 10$
Question 6
The coefficient of $x^{n-k}y^k$ in the expansion of $(x + y)^n$ is:
A) $P(n, k)$ B) $\binom{n}{k}$ C) $n^k$ D) $k!$
Question 7
$\sum_{k=0}^{n}\binom{n}{k}$ equals:
A) $n!$ B) $2^n$ C) $n^2$ D) $\binom{2n}{n}$
Question 8
Pascal's rule states that, for $1 \le k \le n$:
A) $\binom{n}{k} = \binom{n}{k-1} + \binom{n}{k+1}$ B) $\binom{n}{k} = \binom{n-1}{k-1} + \binom{n-1}{k}$ C) $\binom{n}{k} = \binom{n-1}{k} + \binom{n}{k-1}$ D) $\binom{n}{k} = k\binom{n-1}{k-1}$
Question 9
The number of distinct circular arrangements of $n$ distinct objects (rotations considered the same) is:
A) $n!$ B) $(n-1)!$ C) $\frac{n!}{2}$ D) $\binom{n}{2}$
Question 10
A brute-force algorithm that enumerates all subsets of $n$ items does work that grows like:
A) $n^2$ B) $n!$ C) $2^n$ D) $\binom{n}{2}$
Question 11
For fixed $k$, the number of $k$-subsets of an $n$-set, $\binom{n}{k}$, grows like:
A) a polynomial of degree $k$ in $n$ B) $2^n$ C) $n!$ D) a constant
Question 12
Why is $\binom{n}{r} = \frac{n!}{r!(n-r)!}$ always a whole number?
A) Because $n!$ is even B) Because it counts something (the $r$-subsets), and a count is a non-negative integer C) Because $r!$ always divides $n!$ by a theorem of Gauss only D) It is not always a whole number
Question 13 (True/False, justify)
True or false: "Pick a 4-doughnut box from 9 available kinds, repeats allowed" is counted by $\binom{9}{4}$. Justify in one sentence.
Question 14 (True/False, justify)
True or false: A combinatorial (double-counting) proof is less rigorous than an algebraic proof because it "tells a story." Justify in one sentence.
Question 15 (True/False, justify)
True or false: $\binom{52}{5}$ counts the number of ordered 5-card deals from a 52-card deck. Justify in one sentence.
Question 16 (True/False, justify)
True or false: Computing $P(10^6, 2)$ as math.factorial(10**6) // math.factorial(10**6 - 2) and as
the falling product $10^6 \times (10^6 - 1)$ give the same answer, so the two approaches are equally
good. Justify in one sentence.
Question 17
The committee–chair identity $k\binom{n}{k} = n\binom{n-1}{k-1}$ is proved by counting which set two ways?
A) All subsets of an $n$-set B) All (committee of $k$, designated chair) pairs from $n$ people C) All orderings of $n$ people D) All functions from a $k$-set to an $n$-set
Question 18 (Short answer)
State, in one sentence each, the four cells of the §16.3 decision table (the model for each combination of order matters / does not and repetition allowed / not).
Question 19 (Short answer)
Setting $x = 1, y = -1$ in the binomial theorem gives $\sum_{k=0}^{n}(-1)^k\binom{n}{k} = 0$ for $n \ge 1$. State, in one sentence, what this says about the even-sized vs. odd-sized subsets of a non-empty set.
Question 20 (Short answer)
You must enumerate all orderings of 20 items at $10^9$ checks per second. Estimate the count ($20! \approx 2.4 \times 10^{18}$) and state, in one sentence, whether brute force is feasible.
Answer Key
| Q | Ans | Note |
|---|---|---|
| 1 | B | Unordered selection of 3 → combination $\binom{10}{3} = 120$. |
| 2 | A | Ordered assignment to distinct roles → $P(10,3) = 720$. |
| 3 | B | Order? and repetition? are the two classifying questions. |
| 4 | C | $P(n,r) = r!\binom{n}{r}$, so they differ by $r!$. |
| 5 | C | Two Ls and two Es: $\frac{5!}{2!\,2!} = 30$. |
| 6 | B | "Choose which $k$ factors contribute a $y$" → $\binom{n}{k}$. |
| 7 | B | Total subsets of an $n$-set; set $x=y=1$ in the binomial theorem. |
| 8 | B | Split $k$-subsets on whether they contain a fixed element. |
| 9 | B | Cut the circle: $n!$ overcounts by $n$ rotations, so $\frac{n!}{n}=(n-1)!$. |
| 10 | C | Include/exclude each element → $2^n$ subsets. |
| 11 | A | $\binom{n}{k}=\frac{n(n-1)\cdots(n-k+1)}{k!}=\Theta(n^k)$ for fixed $k$. |
| 12 | B | A count of objects must be a non-negative integer. |
| 13 | False | Repetition allowed and unordered → multiset selection $\binom{9+4-1}{4}=\binom{12}{4}$, not $\binom{9}{4}$. |
| 14 | False | Both sides correctly count one finite set, which has exactly one size; that is a complete proof. |
| 15 | False | $\binom{52}{5}$ counts unordered hands; the ordered count is $P(52,5)=5!\binom{52}{5}$. |
| 16 | False | Same value, but the factorial route builds a number with millions of digits; the falling product uses one multiplication — they are not equally good (§16.1). |
| 17 | B | Committee-then-chair gives $k\binom{n}{k}$; chair-then-rest gives $n\binom{n-1}{k-1}$. |
| 18 | — | Order+no rep: $P(n,r)$; order+rep: $n^r$; no order+no rep: $\binom{n}{r}$; no order+rep: $\binom{n+r-1}{r}$. |
| 19 | — | In any non-empty set, the number of even-sized subsets equals the number of odd-sized subsets. |
| 20 | — | $\approx 2.4\times10^{18}$ checks at $10^9$/s is $\approx 2.4\times10^9$ s $\approx 76$ years — hopeless. |
Topics to review by question
| Questions | Topic |
|---|---|
| 1–3, 13, 18 | Choosing the model: order? repetition? (§16.3) |
| 4, 5 | Permutations, multiset permutations, the $r!$ factor (§16.1–16.2) |
| 6, 7, 19 | Binomial theorem and its special-case identities (§16.4) |
| 8, 9 | Pascal's rule; circular arrangements / divide-out-the-symmetry (§16.1, §16.4) |
| 10, 11, 20 | Search-space sizing and feasibility (§16.6) |
| 12, 14, 15, 17 | What counts as a count, and combinatorial proof (§16.2, §16.5) |
| 16 | "Compute, don't form factorials" — formula vs. algorithm (§16.1) |