2.7.10 · D5Statistics & Probability — Intermediate

Question bank — Permutations — nPr, arrangements with restrictions

2,122 words10 min readBack to topic

First — pin down the symbol

Everything on this page uses . Before you trap-test yourself, make sure you can read it two ways.

The block (glue) and gap methods used throughout are also visual. Keep these two pictures in mind:


True or false — justify

Every answer below is a full reason. A bare "true/false" means you have not understood the trap.

and count as two different permutations.
True. A permutation is an ordered arrangement, so swapping two items gives a genuinely new line-up — same letters, different order.
and count as two different combinations.
False. A combination is a set (order ignored); and are the same selection, so they count once — see Combinations — nCr.
always equals .
False. (choose the objects, then order them), so they are equal only when , i.e. or . Otherwise is larger because it also counts the orderings.
relies on .
True. , and this only gives because is defined as — see Factorials and 0!.
because you arrange nothing.
False. : there is exactly one way to arrange nothing (the empty arrangement), just as there is one empty photo line-up.
For the "together" restriction, gluing two objects gives the final answer directly.
False. After treating the pair as one block you must still multiply by the block's internal orders, because the two glued objects can swap inside the block (see the glue figure above).
The gaps method and the "total − together" method give different answers for "must be apart".
False. They must agree — they count the same set of arrangements two ways. If they differ, you miscounted (usually forgot the internal in "together").
Arranging objects in a row always creates exactly gaps to slot new items into.
False. It creates gaps: one between each adjacent pair plus one at each end, e.g. _C_D_E_ gives gaps for (see the gap figure above).
and are equal.
True. In the falling-product form, and ; the extra last factor is , which multiplies by and changes nothing. Both equal .
You can use when repetition of objects is allowed.
False. assumes distinct, no-repeat picks — that is exactly why the falling product shrinks . If repeats are allowed the pool stays at every step, giving instead — see Permutations with Repetition.

Spot the error

Each item states a plausible wrong solution. The reveal names the flaw and rebuilds the count step by step.

"3 people in a photo out of 5, order matters, so answer ."
Error: treated it as repetition. With distinct people the pool shrinks: slot 1 has , slot 2 has (one person now standing), slot 3 has , giving . would let one person appear in all three spots.
"Word must start with a vowel from , so answer ."
Error: ignored the constraint entirely. Fill the forced slot first ( vowels), then the pool for the remaining slots is the leftover letters arranged freely, : total .
" adjacent among 5 letters: glue them, , done."
Error: forgot the internal swap. The block plus is items → orders, but inside the block can be or ( ways), so .
" never together: arrange (), place in gaps, so ."
Error: placing then into gaps is ordered, so it is , not : has gaps to choose, then has remaining gaps, (not , because in swapped gaps is a different arrangement). Correct: .
"Even 3-digit numbers from : hundreds , tens , units = 60."
Error: filled free slots first, so the "even" units constraint may be impossible. Fix the units digit first — it must be even, , choices — then hundreds has of the pool left, tens has : .
"Choosing a 3-person committee from 8: order among positions doesn't matter, but I'll use ."
Error: a committee is a set, so order should be squeezed out. Each committee was counted times (once per internal ordering), so divide: .
"Seating 5 people around a round table ."
Error: in a circle, rotating everyone one seat gives the same arrangement, so each seating is counted times (once per rotation). Fix one person to kill rotations: — see Circular Permutations.

Why questions

Why do we multiply the choices at each position instead of adding them?
Because filling position 1 and then position 2 and then … is a chain of dependent decisions; "and-then" decisions multiply — this is the Fundamental Counting Principle. Picture a tree: each of the first-slot branches sprouts second-slot branches, so the leaves multiply. Adding counts "either/or" alternatives, not sequential steps.
Why fill the most restricted position first?
If you spend freedom on the easy slots first, the tight slot may end up with zero valid choices left. In the even-number example, choosing hundreds and tens first can leave only odd digits for units. Locking the constraint first (units = even) guarantees it can always be satisfied.
Why does the "together" method glue objects into one block?
Look at the glue figure: a block that must stay adjacent behaves like a single unit for the between-object ordering; gluing turns " objects with an adjacency rule" into " ordinary objects." We then correct for the two faces the block can show by multiplying by the internal .
Why does the "apart" case often use the complement (total − together)?
"Never together" is the exact opposite of "together." Every arrangement is either together or apart with nothing in between, so subtracting the together-count from the total leaves precisely the apart-count — usually easier than the direct gap-count, and the two must agree.
Why is written as rather than the falling product ?
They are the same number. Multiplying the falling product by completes it into the full factorial on top while the untouched tail sits on the bottom and cancels the part you never used. The ratio is just a compact name for the shrinking product you actually compute.
Why does an extra constraint usually reduce the count?
A restriction removes valid choices at some step (a smaller factor in the product), and multiplying by a smaller factor yields a smaller product. It can never increase the arrangement count — at best (a constraint that forbids nothing) it leaves it unchanged.
Why can permutations act as the denominator in a probability?
When every arrangement is equally likely, the total number of arrangements is the size of the sample space, which sits under the count of favourable arrangements — see Probability — Equally Likely Outcomes.

Edge cases

What is when ?
It is : the falling product eventually hits the factor (you run out of objects), so the whole product is zero — you cannot arrange more distinct objects than you have.
What is ?
Exactly — the falling product has a single factor ; arranging one object into one slot is just choosing which of the objects to place, with no order to worry about.
What is ?
, since — the single empty arrangement, consistent with .
If all objects are identical, how many distinct permutations are there?
Just : with no distinguishable objects, every "arrangement" looks the same. The distinctness assumption behind the falling product has collapsed — see Permutations with Repetition.
For a multiset — say the letters of (11 letters, with repeats) — is the right tool?
No. assumes all objects are distinct. With repeated objects you first pretend they are distinct () and then divide out the over-count for each repeated group: (for the four , four , two ). This is the general rule the "identical pair" case is just the smallest instance of — see Permutations with Repetition.
For "at least one vowel at an end," is direct counting or complement better?
Complement is usually cleaner: count total arrangements, subtract those with no vowel at either end, since "at least one" spans many overlapping cases that are easy to double-count directly.
If two required-together objects are identical, do you still multiply by inside the block?
No. Swapping identical objects produces no new arrangement, so the internal factor is ; multiplying by would over-count — the same multiset correction as , just with a group of size .

Flashcards

Two readings of ?
The falling product ( shrinking factors) and the ratio — the same number.
Why is ?
Build an ordered arrangement by choosing objects () then ordering them (); choose-and-then-order multiplies.
Is larger or smaller than (for )?
Larger, by a factor of , because permutations also count the orderings that combinations ignore.
What is when ?
— the falling product hits a zero factor; you cannot arrange more distinct objects than exist.
Gaps created by arranged objects?
(between each pair plus both ends).
Permutations of a multiset (repeated objects)?
— full factorial divided by the factorial of each repeated group's size.
Do you multiply by internal when the glued pair is identical?
No — identical objects give no new order, so the factor is .

Connections

  • Permutations — nPr, arrangements with restrictions — the parent topic these traps target.
  • Fundamental Counting Principle — why we multiply, not add.
  • Combinations — nCr — the "order ignored" contrast; source of the bridge.
  • Factorials and 0! — the edge cases.
  • Circular Permutations — the round-table trap.
  • Permutations with Repetition — multiset and identical-object traps.
  • Probability — Equally Likely Outcomes — where these counts become denominators.