Maths Olympiad Prep

Library / /17 of 17

Combinatorics Difficulty 7.6 National olympiad, round 2 Prove it Mongolia

A country consists of nn islands. Some pairs of islands are connected by bridges. For any two islands that are connected via some sequence of bridges, the *distance* between them is defined as the minimum number of bridges that must be crossed to travel from one island to the other.
Assume that each island is directly connected by bridges to at least mm other islands. What is the maximum possible distance between two islands?

Solution

*Answer:* If m=1m = 1, then the maximum distance is n1n-1. If m2m \ge 2, then the maximum distance is
3nm+1ε(n),where ε(n)={3if n0(modm+1),2if n1(modm+1),1otherwise. 3 \left\lfloor \frac{n}{m+1} \right\rfloor - \varepsilon(n), \quad \text{where } \varepsilon(n) = \begin{cases} 3 & \text{if } n \equiv 0 \pmod{m+1}, \\ 2 & \text{if } n \equiv 1 \pmod{m+1}, \\ 1 & \text{otherwise.} \end{cases}
Proof: Model the situation as a connected graph GG with nn vertices, where each vertex has degree at least mm. Let dd be the maximum distance between any two vertices. Let P=v0,v1,,vdP = v_0, v_1, \dots, v_d be a path of length dd in a connected component GG' of GG.
For each 0id0 \le i \le d, define the set
Vi={uGthe distance from u to v0 is i}. V_i = \{u \in G' \mid \text{the distance from } u \text{ to } v_0 \text{ is } i\}.
Then G=i=0dViG' = \bigsqcup_{i=0}^d V_i (disjoint union). And let V1=Vn+1=V_{-1} = V_{n+1} = \emptyset. By the triangle inequality, any neighbor of a vertex in ViV_i lies in Vi1ViVi+1V_{i-1} \cup V_i \cup V_{i+1}. Since each vertex has at least mm neighbors, we obtain the inequality
Vi1ViVi+1m+1. |V_{i-1} \cup V_i \cup V_{i+1}| \ge m + 1.
Let h=nm+1h = \left\lfloor \frac{n}{m+1} \right\rfloor. We now show that d3hε(n)d \le 3h - \varepsilon(n).
This is done by considering the three residue cases of n(mod(m+1))n \pmod{(m+1)} and showing that any longer path would require more than nn vertices, leading to a contradiction in each case.

Case 1: n0(modm+1)n \equiv 0 \pmod{m+1}.
Let n=h(m+1)n = h(m+1). Assume that d3h2d \ge 3h-2. Then the number of vertices in the path satisfies:
nV0V1+V2+V3V4V5++V3h3V3h2(m+1)+1+(m+1)++(m+1)=1+h(m+1)=1+n, \begin{aligned} n &\ge |V_0 \cup V_1| + |V_2| + |V_3 \cup V_4 \cup V_5| + \dots + |V_{3h-3} \cup V_{3h-2}| \\ &\ge (m+1) + 1 + (m+1) + \dots + (m+1) \\ &= 1 + h(m+1) = 1 + n,\end{aligned}
a contradiction.

Case 2: n1(modm+1)n \equiv 1 \pmod{m+1}.
Let n=h(m+1)+1n = h(m + 1) + 1. Assume that d3h1d \ge 3h - 1. Then:
nV0V1+V2+V3+V4V5V6++V3h2V3h1(m+1)+1+1+(m+1)++(m+1)=2+h(m+1), \begin{aligned} n &\ge |V_0 \sqcup V_1| + |V_2| + |V_3| + |V_4 \sqcup V_5 \sqcup V_6| + \dots + |V_{3h-2} \sqcup V_{3h-1}| \\ &\ge (m+1) + 1 + 1 + (m+1) + \dots + (m+1) \\ &= 2 + h(m+1),\end{aligned}
again contradicting n=h(m+1)+1n = h(m + 1) + 1.

Case 3: n≢0,1(modm+1)n \not\equiv 0, 1 \pmod{m+1}.
Then n=h(m+1)+rn = h(m + 1) + r for some 2rm2 \le r \le m. Assume that d3hd \ge 3h. Then:
nV0V1+V2V3V4++V3h4V3h3V3h2+V3h1V3h(h+1)(m+1), \begin{aligned} n &\ge |V_0 \sqcup V_1| + |V_2 \sqcup V_3 \sqcup V_4| + \dots + |V_{3h-4} \sqcup V_{3h-3} \sqcup V_{3h-2}| + |V_{3h-1} \sqcup V_{3h}| \\ &\ge (h+1)(m+1),\end{aligned}
which implies n(h+1)(m+1)>h(m+1)+r=nn \ge (h+1)(m+1) > h(m+1) + r = n, again a contradiction.

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 and solution reproduced as published; topic and difficulty added by this site.