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 replacementWith 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 / StateModeFormulaCount
0 (Init)β€”β€”β€”
1ordered, with125
2ordered, without60
3unordered, without10
4unordered, with35

⚠️ 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