Olympiad Maths Prep

Library / /27 of 28

Combinatorics Difficulty 7.3 National olympiad, round 2 Prove it Ukraine

A country has a road network with the following properties: along each road we can go in both directions; between two different towns may exist at most one road; there does not exist a road which connects some town with itself; the road network is a connected graph; there are at least mm roads out of any town (m=const3)(m = \text{const} \ge 3). The king of this country wants to go round all the towns, but it turned out that it is impossible. What is the minimum number of towns the country can have?

Solutions — 2

Solution 1

Consider a road network of this country as a graph. Denote the chain of maximum length by LL in this graph. Denote LL by sequence of connected vertices A1A2AnA_1 \to A_2 \to \dots \to A_n.

Figure 1
Fig.27

That is, all other chains have the same or less length as LL. Obviously, there is at least one outside vertex, for instance, some A0A_0, that is outside chain LL. Besides, as the graph is connected, we can obtain a chain which connects A0A_0 with one of the vertices of chain LL. Define the properties of the chain obtained. Call the vertex of chain LL an inside one, if there are no edges outside chain LL.

1) Vertices A1A_1 and AnA_n are not connected with each other, otherwise there will be a chain longer than chain LL. Really, if there is an edge A1AnA_1A_n in the graph, and the vertex A0A_0 is connected with some vertex AiA_i, i{1,,n}i \in \{1, \dots, n\}, then there exists the following chain A0AiAi+1AnA1Ai1A_0 \to A_i \to A_{i+1} \to \dots \to A_n \to A_1 \to \dots \to A_{i-1} which is longer than chain LL, a contradiction.

2) Vertices A1A_1 and AnA_n are inside ones, that is, vertex A1A_1 is connected with A2A_2 and with (m1)(m-1) other vertices Ak1,,AkmA_{k_1}, \dots, A_{k_m} where 2<k1<<km<n2 < k_1 < \dots < k_m < n. Then nm+2n \ge m+2.

3) Vertices with numbers (k11),,(km1)(k_1-1), \dots, (k_m-1) are also inside ones. Really, let there be an edge A1AiA_1A_i, if Ai1A_{i-1} isn't an inside vertex, then there is an edge Ai1A0A_{i-1}A_0' in the graph and vertex A0A_0' isn't inside. Then it is possible to build a chain which is longer than chain LL: A0Ai1Ai2A1AiAi+1AnA_0 \to A_{i-1} \to A_{i-2} \to \dots \to A_1 \to A_i \to A_{i+1} \to \dots \to A_n. Therefore, in this chain LL there are at least (m+1)(m+1) inside vertices.

4) As there is an outside vertex which is also connected with mm vertices, that are not included in inside vertices mentioned above, totally there must be at least (2m+2)(2m+2) vertices.

Show that there is a corresponding graph with such number of vertices. Consider two groups of vertices A1,,AmA_1, \dots, A_m and B1,,Bm+2B_1, \dots, B_{m+2}. The graph is built in such a way that each vertex BiB_i, i=1,,m+2i=1, \dots, m+2 is connected with each vertex AjA_j, j=1,,mj=1, \dots, m, that is, the degree of each vertex BiB_i equals mm, and the degree of each vertex AjA_j equals (m+2)(m+2). If there is a chain which includes all the vertices, then there must be a vertex BiB_i after each vertex AjA_j and vice versa, because vertices with the same letter are not connected with each other. But there are m+2m+2 vertices BiB_i, so we must have at least m+1m+1 vertices AjA_j, and there are less. The example given concludes our proof.

Solution 2

Show another proof of the existence of the chain which includes all towns if n2m+1n \le 2m+1. Let A1,A2,,AnA_1, A_2, \dots, A_n be the vertices of our graph. We add one more vertex BB to the graph and connect vertex BB with all vertices A1,A2,,AnA_1, A_2, \dots, A_n. The new graph satisfies the condition that it has vertices less than n+12m+2n+1 \le 2m+2 and the degree of each vertex more than m+1m+1. According to the theorem about a Hamiltonian circuit, in the new graph there exists a Hamiltonian circuit. Therefore, we can represent its circuit as the cycle BA1A2AnBB - A_1 - A_2 - \dots - A_n - B. Among vertices AiA_i, k=1,,nk=1, \dots, n, we have not added vertex BB. Then the chain A1A2AnA_1 - A_2 - \dots - A_n is a circuit which goes round all the towns.

The example we can take from the first solution.

Looking for a route rather than 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.