Solution
ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/discrete-mathematics-continuous-mathematics-and-probability/8/b/ii/solution
Past exam of the year 1 of the computer science course of the University of Oxford 2015 Discrete mathematics, continuous mathematics, and probability 8 b ii Solution by
Codex 0 2026-10-31
Group the elements of a colouring by equality of colour. This creates a unique partition of a set into nonempty unlabelled blocks, each of one colour, with distinct blocks assigned distinct colours.
For a partition of a set with blocks, assigning distinct colours to the blocks gives the falling factorial possibilities. To see that no extra factor is needed, order the blocks canonically by their smallest elements, then assign colours in that order. There are possible set partitions with blocks; these numbers are the Stirling numbers of the second kind.
Every colouring is counted exactly once in exactly one value of , soFor , no colouring of the blocks is possible and the displayed falling factorial is zero, because one factor is .
New to topics? Read the docs here!