13.1 Orderings and arrangements
A large class of reasoning questions asks us to place a set of objects in order, by position in a row, by height, by seniority or by place in a race, from a list of partial statements. Each statement is a relation between two objects, and the relations “taller than”, “senior to” and “ahead of” are transitive: if \(X > Y\) and \(Y > Z\), then \(X > Z\). The working method is therefore to translate every statement into a short chain such as \(F > D > B\), to merge chains that share a member, and to see which positions remain undetermined. When two people are equal in the ordering, as batchmates are in seniority, they occupy a single place in the chain, and a strict statement about one of them applies equally to the other.
Words must be read exactly. “R is just ahead of T” makes R and T adjacent, whereas “R is ahead of T” does not; “K is the only one between T and V” fixes the block T K V or V K T; “C is four places to the left of F” means that F occupies the position four seats to the right of C, so that if the seats are numbered \(1,2,\dots,n\) from the left, \(p_F = p_C + 4\) and in particular \(p_F \geq 5\). A person “at the centre” of a row of \(2m+1\) seats has \(m\) people on each side. These numerical translations frequently settle a question without the whole arrangement being found.
When several arrangements satisfy the conditions, the question usually asks what is certain, what is possible or what is impossible. A statement is certain only if it holds in every admissible arrangement, and it is shown to be false by a single counter-example. It is therefore efficient to list all admissible arrangements, which are seldom more than four, and to test each option against the list. A row read from the other end is again an arrangement, so a configuration and its mirror image are admissible together unless a statement refers to a particular end.
Matching problems, in which each person is paired with exactly one object, are handled in the same spirit. A grid with people along one side and objects along the other is filled with ticks and crosses; a tick in a cell places crosses in the rest of its row and column, and a row or column with a single cell left must take a tick. Conditions of the type “exactly two initials match” are applied last, when only a few cells remain open.
Some arrangements are governed by parity. If boys and girls sit alternately in a row which begins and ends with a boy, the row reads \(BGBG\cdots GB\); it contains \(k+1\) boys and \(k\) girls, and so an odd number \(2k+1\) of seats. A sum of three odd numbers is odd, so a class seated in three such rows has an odd number of students.