Maths Olympiad Prep

Library / /43 of 48

, 1997

Combinatorics Difficulty 7.6 National Olympiad, round 2 Prove it Baltic Way

Problem:

In a forest each of nn animals (n3n \geqslant 3) lives in its own cave, and there is exactly one separate path between any two of these caves. Before the election for King of the Forest some of the animals make an election campaign. Each campaign-making animal visits each of the other caves exactly once, uses only the paths for moving from cave to cave, never turns from one path to another between the caves and returns to its own cave in the end of its campaign. It is also known that no path between two caves is used by more than one campaign-making animal.

a) Prove that for any prime nn, the maximum possible number of campaign-making animals is n12\frac{n-1}{2};

b) Find the maximum number of campaign-making animals for n=9n=9.

Solution

Solution:

a) As each campaign-making animal uses exactly nn paths and the total number of paths is n(n1)2\frac{n(n-1)}{2}, the number of campaign-making animals cannot exceed n12\frac{n-1}{2}. Labeling the caves by integers 0,1,2,,n10,1,2, \ldots, n-1, we can construct n12\frac{n-1}{2} non-intersecting campaign routes as follows:
0123n00246n100369n20+0n12n1n+120 \begin{aligned} & 0 \rightarrow 1 \rightarrow 2 \rightarrow 3 \rightarrow \ldots \rightarrow n \rightarrow 0 \\ & 0 \rightarrow 2 \rightarrow 4 \rightarrow 6 \rightarrow \ldots \rightarrow n-1 \rightarrow 0 \\ & 0 \rightarrow 3 \rightarrow 6 \rightarrow 9 \rightarrow \ldots \rightarrow n-2 \rightarrow 0 \\ & \ldots \ldots \ldots+\cdots \\ & 0 \rightarrow \frac{n-1}{2} \rightarrow n-1 \rightarrow \ldots \rightarrow \frac{n+1}{2} \rightarrow 0 \end{aligned}
(As each of these cyclic routes passes through any cave, the n12\frac{n-1}{2} campaign-making animals can be chosen arbitrarily).

b) As noted above, the number of campaign-making animals cannot exceed 912=4\frac{9-1}{2}=4. The 4 non-intersecting campaign routes can be constructed as follows:
0128374650023148576003425168700453627180 \begin{aligned} & 0 \rightarrow 1 \rightarrow 2 \rightarrow 8 \rightarrow 3 \rightarrow 7 \rightarrow 4 \rightarrow 6 \rightarrow 5 \rightarrow 0 \\ & 0 \rightarrow 2 \rightarrow 3 \rightarrow 1 \rightarrow 4 \rightarrow 8 \rightarrow 5 \rightarrow 7 \rightarrow 6 \rightarrow 0 \\ & 0 \rightarrow 3 \rightarrow 4 \rightarrow 2 \rightarrow 5 \rightarrow 1 \rightarrow 6 \rightarrow 8 \rightarrow 7 \rightarrow 0 \\ & 0 \rightarrow 4 \rightarrow 5 \rightarrow 3 \rightarrow 6 \rightarrow 2 \rightarrow 7 \rightarrow 1 \rightarrow 8 \rightarrow 0 \end{aligned}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.