Grouping puzzles ask you to sort people or things into teams, committees or categories while obeying conditions. Unlike a seating row there is no order to exploit, so the only visible structure is which group each item joins. That makes them feel shapeless, and candidates who try to hold the conditions in their heads lose the most time here.
Selection puzzles are the same family with a twist: not every item is used, and the question may only ask which items can be chosen. A committee of four from seven people is a grouping puzzle whose second group is simply "not selected". Master the grid and both varieties collapse into one method.
Draw a grid: items down the side, groups across the top. Every condition becomes a mark or a cross, and the puzzle turns into a fill-in exercise.
The model omits the one thing experience supplies: which item to branch on first. The reliable rule of thumb is to branch on the item named in the most conditions.
| Condition in words | Mark on the grid |
|---|---|
| A must be on Red | Tick A-Red, cross A across the other teams |
| A and B are always together | One block that moves as a unit |
| A and B are never together | They cannot share any group |
| At least one of A, B is selected | Forbid the selection with neither |
| At most one of A, B is selected | Forbid the selection with both |
| If A is in, then B is in | Forbid A without B |
An implication and its contrapositive are the same statement. "If A is in, then B is in" is identical to "If B is out, then A is out". "If A is in, then B is out" is identical to "If B is in, then A is out". Spotted this way, such a condition says only one thing: these two can never both be in. Both may still be out, which is the trap.
Red Blue Green
A in - -
B - ? ?
C - ? ?
D - ? ?
E in - -
F - ? ?
size 2 2 2
Six students A, B, C, D, E and F are assigned to three teams - Red, Blue and Green - with exactly two students per team.
Fill the grid:
The placement is not unique: either Blue = B, C and Green = D, F, or the reverse. What is forced is the pairing structure - A with E, B with C, and D with F. That is the must-be-true answer the puzzle is really after.
In the worked puzzle, which statement must be true?
A condition reads "If D is selected, then F is not selected." Which statement is equivalent to it?
A committee is chosen from A, B, C, D, E with the rule "at most two of A, B, C". Which selection of four breaks the rule?
For a question asking which option "must be true", the correct method is to:
Without looking back: how do you draw a grouping puzzle, and what does "if A is in then B is out" really forbid?
The answer: a grid with items down the side and groups across the top; and the condition forbids only the case where A and B are both in.
In the grid, items run down the side and groups run across the . "If X is in then Y is out" is equivalent to "if Y is in then X is ". "At most two of A, B, C" forbids any selection containing of them. A "could be true" question is answered by testing each option and using .
Seven students A, B, C, D, E, F and G form a committee of exactly four. E must be on the committee. A and B cannot both be chosen. If C is chosen, D must be chosen. D and E cannot both be chosen. Who must be on the committee?
E is fixed on the committee. Since D and E cannot both be chosen, D is out. The rule "if C is chosen then D must be chosen" has contrapositive "if D is not chosen then C is not chosen", so C is out too.
That leaves seats to fill from A, B, F and G, with exactly three needed. A and B cannot both be chosen, so at most one of them can be used. To reach three from four items while taking at most one of A and B, the committee must take both F and G, plus exactly one of A or B.
So every valid committee contains E, F and G, contains exactly one of A or B, and never contains C or D. The must-be-true facts are E, F and G on the committee, and C and D off it - even though the exact identity of the fourth member is left open.
Grouping is the family of puzzles where items must be sorted. The next lesson keeps the shared-setup habit but changes the picture: a network of one-way circuits and two-way radios, where every question asks for a path and an intermediary count.