Maths Olympiad Prep

Library / /54 of 86

Combinatorics Difficulty 7.1 National Olympiad, round 2 Prove it United States

Problem:

NASA has proposed populating Mars with 2,0042,004 settlements. The only way to get from one settlement to another will be by a connecting tunnel. A bored bureaucrat draws on a map of Mars, randomly placing NN tunnels connecting the settlements in such a way that no two settlements have more than one tunnel connecting them. What is the smallest value of NN that guarantees that, no matter how the tunnels are drawn, it will be possible to travel between any two settlements?

Solution

Solution:

The problem is equivalent, in general, to finding the least number of edges required so that a graph on nn vertices will be connected, i.e., one can reach any vertex from any other vertex by following the edges of the graph. (We are letting settlements be vertices and tunnels be edges, of course.) This value is (n12)+1\binom{n-1}{2} + 1.

Here (m2)\binom{m}{2} counts the number of all possible pairs in a group of mm people, or equivalently, the number of edges in a graph with mm vertices where every two vertices are connected with an edge. This latter graph is called a complete graph on mm vertices.

To see that the minimum number of edges must be (n12)+1\binom{n-1}{2} + 1, we first observe that it cannot be less than this, since n1n-1 vertices can be connected to one another with (n12)\binom{n-1}{2} edges, leaving the nnth vertex isolated.

Next we will show that (n12)+1\binom{n-1}{2} + 1 edges will guarantee that the graph is connected.

Method 1: Suppose to the contrary, that the graph is not connected. Then it consists of kk connected components, each containing v1,v2,,vkv_{1}, v_{2}, \ldots, v_{k} vertices. Each component has at most (vi2)\binom{v_{i}}{2} edges. We claim that
(v12)+(v22)++(vk2)(n12) \binom{v_{1}}{2} + \binom{v_{2}}{2} + \cdots + \binom{v_{k}}{2} \leq \binom{n-1}{2}
which establishes the contradiction.

Method 2: Since there are at most (n2)\binom{n}{2} tunnels possible, there will be at most
(n2)((n12)+1)=n2 \binom{n}{2} - \left(\binom{n-1}{2} + 1\right) = n-2
tunnels that are not drawn. Call these "antitunnels." Suppose to the contrary, that the graph is not connected. Then two settlements, AA and BB will not be connected. Thus, AA and BB are joined by an antitunnel. Furthermore, for each settlement XX that is neither AA nor BB, there can be no path drawn from AA to XX and then from XX to BB. In other words, at least one of the connections AXA X or XBX B must be an antitunnel. However, this would require n2n-2 antitunnels, in addition to the antitunnel joining AA and BB. Thus n1n-1 antitunnels are needed, but at most n2n-2 are available; 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 reproduced verbatim; metadata (topic, difficulty) added by this project.