Selection (Counting Framework)
Context: FIT1058_MOC Β· choosing from objects Β· classified by order Γ replacement Β· unifies , falling factorial, , and stars-and-bars
Quick Revision
- π― Objective: count ways to pick from β by two yes/no questions: order? replacement?.
- π¦ Core Components: ordered/with β ordered/without β unordered/without β unordered/with .
- β‘ Key Constraint: identify the cell first; order divides ordered counts by .
π Core
1. Two Questions
- Order? β ordered vs unordered.
- Replacement? β with vs without reuse.
- Result β the gives four formulas.
2. The Four Cells
- Ordered, with β (strings/functions).
- Ordered, without β (queues/injections).
- Unordered, without β (committees/subsets).
- Unordered, with β (Stars and Bars, multisets).
3. The Falling Factorial
- β shrinking option count ( factors).
- Γ· β removes ordering βΉ (Binomial Coefficient).
Key identities:
βοΈ Core Decision Matrix
| Without replacement | With replacement | |
|---|---|---|
| Ordered | ||
| Unordered |
When It Flips: ordered counts exceed their unordered partners by exactly (the orderings of the chosen items), so . Each cell was met before: = functions/strings, = injections, = subsets.
π Exam Execution Trace
Manual Execution Trace
, , all four modes:
| Step / State | Mode | Formula | Count |
|---|---|---|---|
| 0 (Init) | β | β | β |
| 1 | ordered, with | 125 | |
| 2 | ordered, without | 60 | |
| 3 | unordered, without | 10 | |
| 4 | unordered, with | 35 |
β οΈ Common Mistakes
- π‘ Replacementβs βsimplerβ side flips β for ordered, with-replacement () is simpler; for unordered, without-replacement () is simpler and the with-replacement case needs the bijection trick.
π§ Active Recall
Give the four selection counts for choosing from .
- Hint: Order Γ replacement.
Answer
- Short answer: (ord/with), (ord/without), (unord/without), (unord/with).
- Why: Γ· β order divides the ordered counts down to unordered.
Why is , and which two questions decide the formula?
- Hint: Remove ordering.
Answer
- Short answer: Each unordered choice arises from ordered arrangements; divide to remove order.
- Why: Two questions β does order matter, is replacement allowed β select one of four cells.