Solution:
The problem is equivalent, in general, to finding the least number of edges required so that a graph on n 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 (2n−1)+1.
Here (2m) counts the number of all possible pairs in a group of m people, or equivalently, the number of edges in a graph with m vertices where every two vertices are connected with an edge. This latter graph is called a complete graph on m vertices.
To see that the minimum number of edges must be (2n−1)+1, we first observe that it cannot be less than this, since n−1 vertices can be connected to one another with (2n−1) edges, leaving the nth vertex isolated.
Next we will show that (2n−1)+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 k connected components, each containing v1,v2,…,vk vertices. Each component has at most (2vi) edges. We claim that
(2v1)+(2v2)+⋯+(2vk)≤(2n−1)
which establishes the contradiction.
Method 2: Since there are at most (2n) tunnels possible, there will be at most
(2n)−((2n−1)+1)=n−2
tunnels that are not drawn. Call these "antitunnels." Suppose to the contrary, that the graph is not connected. Then two settlements, A and B will not be connected. Thus, A and B are joined by an antitunnel. Furthermore, for each settlement X that is neither A nor B, there can be no path drawn from A to X and then from X to B. In other words, at least one of the connections AX or XB must be an antitunnel. However, this would require n−2 antitunnels, in addition to the antitunnel joining A and B. Thus n−1 antitunnels are needed, but at most n−2 are available; a contradiction.