A country consists of n 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 m other islands. What is the maximum possible distance between two islands?
Solution
*Answer:* If m=1, then the maximum distance is n−1. If m≥2, then the maximum distance is 3⌊m+1n⌋−ε(n),where ε(n)=⎩⎨⎧321if n≡0(modm+1),if n≡1(modm+1),otherwise. Proof: Model the situation as a connected graph G with n vertices, where each vertex has degree at least m. Let d be the maximum distance between any two vertices. Let P=v0,v1,…,vd be a path of length d in a connected component G′ of G. For each 0≤i≤d, define the set Vi={u∈G′∣the distance from u to v0 is i}. Then G′=⨆i=0dVi (disjoint union). And let V−1=Vn+1=∅. By the triangle inequality, any neighbor of a vertex in Vi lies in Vi−1∪Vi∪Vi+1. Since each vertex has at least m neighbors, we obtain the inequality ∣Vi−1∪Vi∪Vi+1∣≥m+1. Let h=⌊m+1n⌋. We now show that d≤3h−ε(n). This is done by considering the three residue cases of n(mod(m+1)) and showing that any longer path would require more than n vertices, leading to a contradiction in each case.
Case 1:n≡0(modm+1). Let n=h(m+1). Assume that d≥3h−2. Then the number of vertices in the path satisfies: n≥∣V0∪V1∣+∣V2∣+∣V3∪V4∪V5∣+⋯+∣V3h−3∪V3h−2∣≥(m+1)+1+(m+1)+⋯+(m+1)=1+h(m+1)=1+n, a contradiction.
Case 2:n≡1(modm+1). Let n=h(m+1)+1. Assume that d≥3h−1. Then: n≥∣V0⊔V1∣+∣V2∣+∣V3∣+∣V4⊔V5⊔V6∣+⋯+∣V3h−2⊔V3h−1∣≥(m+1)+1+1+(m+1)+⋯+(m+1)=2+h(m+1), again contradicting n=h(m+1)+1.
Case 3:n≡0,1(modm+1). Then n=h(m+1)+r for some 2≤r≤m. Assume that d≥3h. Then: n≥∣V0⊔V1∣+∣V2⊔V3⊔V4∣+⋯+∣V3h−4⊔V3h−3⊔V3h−2∣+∣V3h−1⊔V3h∣≥(h+1)(m+1), which implies n≥(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.