Olympiad Maths Prep

Track / Stage 6 / 155 of 400 #1155 of 2000

Problem 1155

National olympiad, first round
Combinatorics Difficulty 6.2 Prove it

(C4 Shortlist BMO 2019)

In the isolated town of Sleepy Hollow, there are 2n2n roundabouts, each connecting exactly 3 roads. A series of bridges and tunnels ensures that the roads only intersect at the roundabouts. Each road is two-way, and the roundabouts are oriented clockwise (we are in England). Headless Horseman has just passed his driving test and roundabouts give him cold sweats. At each roundabout, he therefore takes the first exit he comes to. When leaving his house, he thus travels all the roads in the town, in both directions, before returning home. For which values of NN is this possible?

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

We distinguish based on the parity of nn and consider GG the graph whose vertices are the roundabouts (all of degree 3) and the edges are the roads. Already, for the statement to make sense, we need n2n \geqslant 2.

For nn odd: First, we note that n=3n=3 and n=5n=5 work (draw a picture). Next, we will show that if n1n_{1} and n2n_{2} are solutions, then n1+n2+1n_{1}+n_{2}+1 is also a solution. Let G1,G2G_{1}, G_{2} be two graphs with 2n12 n_{1} and 2n22 n_{2} vertices that satisfy the statement. Let u1,v1u_{1}, v_{1} be two connected vertices in G1G_{1} and u2,v2u_{2}, v_{2} be two connected vertices in G2G_{2}. Add two additional vertices u3u_{3} and v3v_{3}. We proceed as follows:

1. Erase the edges u1v1u_{1}-v_{1} and u2v2u_{2}-v_{2}.
2. Connect u1u_{1} and u2u_{2} to u3u_{3}.
3. Connect v1v_{1} and v2v_{2} to v3v_{3}.
4. Connect u3u_{3} to v3v_{3}.

We can verify that the graph GG obtained satisfies the conditions on the degree of the vertices, and that the paths traveled by Headless Horseman in each of the graphs can be joined to form a path that works. Thus, every n3n \geqslant 3 odd works.

For nn even: Let's show that there is no solution in this case. The graph is not necessarily planar, but it can be drawn on a surface of genus gg. According to Euler's formula,

SA+F=22g S-A+F=2-2 g

With S=2nS=2 n the number of vertices, A=3nA=3 n the number of edges, and F=1F=1 the number of faces. FF must therefore be even, but the existence of a path such as the one traveled by Headless Horseman means that the graph can be drawn with a single face.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.