Maths Olympiad Prep

Track / Stage 6 / 67 of 400 #1067 of 1964

Problem 1067

National olympiad, first round
Combinatorics Difficulty 6.1 Prove it

(P4 IMO 2021)

Let n>1n>1 be an integer. There are n2n^2 stations on a mountainside, all at different altitudes. Each of the two cable car companies, AA and BB, operates kk cable cars; each cable car allows travel from one of the stations to a higher station (with no intermediate stops). The kk cable cars of AA have kk different starting points and kk different endpoints, and a cable car with a higher starting point also has a higher endpoint. The same conditions are satisfied for BB. We say that two stations are connected by a company if it is possible to travel from the lower station to the higher station using one or more cable cars of that company (no other movement between stations is allowed). Determine the smallest positive integer kk that guarantees that there exist two stations connected by each of the two companies.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

We start by showing that for all kn2nk \leqslant n^{2}-n, there might not be two stations connected by both companies. Obviously, it is sufficient to provide an example for k=n2nk=n^{2}-n. Suppose that AA connects stations ii and i+1i+1 for all 1in21 \leqslant i \leqslant n^{2} with nin \nmid i, and BB connects stations ii and i+ni+n for 1in2n1 \leqslant i \leqslant n^{2}-n. It is easy to verify that no pair of stations is connected by both companies.

Now, let's show that for k=n2n+1k=n^{2}-n+1, there must be a pair of stations that are connected by both companies. Suppose, for the sake of contradiction, that there exists a configuration where this is not the case.

Consider the different stations as graphs where two vertices are connected by a blue edge if company AA connects the two stations, and by a red edge if company BB connects them. By the conditions of the problem, the two resulting red and blue graphs are trees (in fact, they are even "chains"). Let kk be the number of connected components in the red graph. The graph then has n2kn^{2}-k edges, where k=n1k=n-1. The same applies to the blue graph. Moreover, by hypothesis, there are no two vertices in the same blue connected component that are in the same red connected component. Therefore, each blue connected component has at most n1n-1 vertices. Since the blue graph has n1n-1 connected components, this implies that there are at most (n1)(n1)<n2n+1(n-1) \cdot (n-1) < n^{2}-n+1 edges in total. We have the desired contradiction.

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