Maths Olympiad Prep

Library / /54 of 63

Combinatorics Difficulty 8.8 Shortlist Prove it Turkey

Some cities of a country consisting of nn cities are connected by round trip flights so that there are at least kk flights from any city and any city is reachable from any city. Prove that for any such flight organization these flights can be distributed among nkn-k air companies so that one can reach any city from any city by using at most one flight of each air company.

Solution

The problem can be reformulated in terms of graph theory: Let GG be a connected graph with nn vertices. If the degree of each vertex is at least kk, then the edges of GG can be colored into nkn-k colors so that for any pair of vertices there is a path between them not containing identically colored edges. We will prove the following slightly stronger statement: Let GG be a connected graph with nn vertices and α(G)\alpha(G) be the minimal degree and KK be any clique of GG consisting of vertices with minimal degree. The edges of GG can be colored into nα(G)n-\alpha(G) colors so that the clique KK is colored into a single color and for any pair of vertices there is a path between them not containing identically colored edges. The statement will be proved at fixed α(G)\alpha(G) by induction over nn.

If α(G)=1\alpha(G) = 1, then we take any spanning tree of GG having n1n-1 edges and color it obviously by n1n-1 colors.

Induction base: Since n>α(G)n > \alpha(G) we start with n=α(G)+1n = \alpha(G)+1. Then GG is a complete graph and we can color all vertices in one color.

Now suppose that 1<α(G)<n11 < \alpha(G) < n-1. Let KK be a maximal clique consisting of only vertices having degree α(G)\alpha(G) and put l=Kl = |K|. Note that if l=α(G)+1l = \alpha(G)+1 then since GG is connected we get K=GK = G, so GG is complete and one color is sufficient. Suppose 1lα(G)1 \le l \le \alpha(G). Let G1,,GpG_1, \dots, G_p be connected components of GKG-K and KiK_i be the vertices directly connected to some vertex in GiG_i, i=1,,pi = 1, \dots, p. Without loss of generality suppose that K1Ki|K_1| \ge |K_i| for i=2,,pi = 2, \dots, p. Let f(G)f(G) be the minimal number of colors necessary for proper coloring of GG. By inductive hypothesis f(Gi)niα(Gi)f(G_i) \le n_i - \alpha(G_i), where ni=Gin_i = |G_i|.

Case 1. 1=K1=1<K1 = |K_1| = 1 < |K|. By contracting KK into single vertex, we get a graph GG'. Note that G=nl+1|G'| = n-l+1 and α(G)α(G)\alpha(G') \ge \alpha(G) (α(G)=α(G)\alpha(G') = \alpha(G) if there is a vertex in some GiG_i with degree α(G)\alpha(G) or each vertex in KK is connected to exactly one vertex in GKG-K). Therefore, by inductive hypothesis, f(G)nl+1α(G)f(G') \le n-l+1-\alpha(G). Now for proper coloring of GG we take a coloring of GG' and color all edges of KK by some new color, spending in total less or equal than nl+1α(G)+1nα(G)n-l+1-\alpha(G)+1 \le n-\alpha(G) colors, since in our case l=K>K1=1l = |K| > |K_1| = 1.

Case 2. 1<K1=l1<K1 < |K_1| = l_1 < |K|. By contracting K1K_1 into single vertex vv GG transfers into GG' and KK transfers into KK'. Note that G=nl1+1|G'| = n - l_1 + 1 and α(G)=α(G)l1+1\alpha(G') = \alpha(G) - l_1 + 1. By inductive hypothesis, there is a proper coloring of GG' by f(G)nα(G)f(G') \le n - \alpha(G) colors where all edges of KK' are colored by a single color cc. Now for proper coloring of GG we take a coloring of GG' and color all remaining edges with both vertices in KK in cc and with one edge in KK with the color of the edge from vv to other endpoint, spending in total less or equal than nα(G)n - \alpha(G) colors.

Case 3. K1=KK_1 = K. By inductive hypothesis, f(G)niα(Gi)f(G') \le n_i - \alpha(G_i). Since KK is maximal, α(Gi)α(G)l+1\alpha(G_i) \ge \alpha(G) - l + 1. We can color all edges of KK and all edges from KK to G1G_1 by some color and edges from KK to Gi,i=2,,pG_i, i = 2, \dots, p by new distinct colors. Then
f(G)t+0+i=1p(niα(Gi))t+i=1p(niα(G)+l1)=nα(G)+(p1)(lα(G))nα(G). f(G) \le t+0+\sum_{i=1}^{p}(n_i-\alpha(G_i)) \le t+\sum_{i=1}^{p}(n_i-\alpha(G)+l-1) = n-\alpha(G)+(p-1)(l-\alpha(G)) \le n-\alpha(G).

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.